Tuesday, 1 July 2008

Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis

Conference paper: Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis by Jack Whitham and Neil Audsley, in Proc. WCET, pages 123-130, 2008.
@inproceedings{fff8,
 abstract = {
WCET analysis models for superscalar out-of-order CPUs 
generally need to be pessimistic in order to account for
a wide range of possible dynamic behavior. CPU hardware modifications 
could be used to constrain operations to known execution paths
called traces, permitting exploitation of instruction 
level parallelism with guaranteed
timing. Previous implementations of traces have used
microcode to constrain operations, but other possibilities
exist. A new implementation strategy (virtual 
traces) is introduced here.

In this paper the benefits and costs of traces are discussed.
Advantages of traces include a reduction in pessimism in WCET analysis,
with the need to accurately model CPU internals removed. Disadvantages
of traces include a reduction of peak throughput of the CPU, a need
for deterministic memory and a potential increase in the complexity
of WCET models.},
 author = {Jack Whitham and Neil Audsley},
 booktitle = {Proc. WCET},
 date = {20080701},
 pages = {123--130},
 title = {{Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis}},
 year = {2008},
}