Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'02) Writing Temporally Predictable Code San Diego, California January 07-January 09 ISBN: 0-7695-1576-2
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code for modern processors is a highly complex task. First, it involves path analysis, to identify and describe the possible execution paths through the code. Second, it models the worst-case timing of possible paths on the target hardware, where the characterization of the timing of sophisticated hardware features (e.g., instruction pipelines, caches, parallel execution units) and their interferences are non-trivial.This paper presents a programming paradigm that takes the complexity from WCET analysis. Program code written according to this paradigm only has a single execution path. Writing single-path code makes path analysis and thus WCET analysis trivial. The WCET of the single path is obtained by executing the code (necessarily on that single path) and logging the duration of this execution. To demonstrate that the single-path approach provides a universal solution to the WCET-analysis problem, the paper shows how every WCET-analyzable piece of code can be translated into single-path code.
Index Terms:
Real-Time Systems, Worst-Case Execution-Time Analysis, Predictability, Programming Paradigms, Computer Architectures
Citation:
Peter Puschner, Alan Burns, "Writing Temporally Predictable Code," words, pp.0085, Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'02), 2002 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||