Name
Abstract | ||
|---|---|---|
A program mode is a regular trajectory of the execution of a program that is determined by the values of its input variables. By exploiting program modes, we may make worst-case execution time (WCET) analysis more precise. This paper presents a novel method to automatically find program modes and calculate the WCET estimates of programs. First, the modes of a program will be identified automatically by mode-relevant program slicing, and the precondition will be calculated for each mode using a path-wise test data generation method. Then, for each feasible mode, we show how to calculate its WCET estimate for modern reduced instruction set computer (RISC) processors with caches and pipelines and for traditional complex instruction set computer (CISC) processors. We also present a method to obtain the symbolic expression for each mode for CISC processors. The experimental results show the effectiveness of the method. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1093/comjnl/bxm058 | Comput. J. |
Keywords | Field | DocType |
worst case execution time | Program slicing,Pipeline transport,Worst-case execution time,Computer science,Instruction set,Parallel computing,Precondition,Complex instruction set computing,Trajectory,Test data generation | Journal |
Volume | Issue | ISSN |
52 | 5 | 0010-4620 |
Citations | PageRank | References |
3 | 0.40 | 4 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mengluo Ji | 1 | 8 | 1.53 |
| Ji Wang | 2 | 140 | 12.56 |
| Shuhao Li | 3 | 107 | 15.55 |
| ZhiChang Qi | 4 | 159 | 19.62 |