(Created page with " == Abstract == Submitted on behalf of EDAA (http://www.edaa.com/); International audience; The wider and wider use of high-performance processors as part of real-time system...") |
m (Scipediacontent moved page Draft Content 790844804 to Burguiere Rochange 2005a) |
(No difference)
| |
Latest revision as of 20:07, 28 January 2021
Abstract
Submitted on behalf of EDAA (http://www.edaa.com/); International audience; The wider and wider use of high-performance processors as part of real-time systems makes it more and more difficult to guarantee that programs will respect their strict deadlines. While the computation of Worst-Case Execution Times relies on static analysis of the code, the challenge is to model with enough safety and accuracy the behaviour of intrisically dynamic components. In this paper, we focus on the dynamic branch predictor. Several models to bound the number of branch mispredictions have been previously published. Some of them exhibit a high complexity while other ones have shown that taking into account semantic information from the source code makes things more tractable. We extend this work to more general nested loop structures. We also give some simulation results that show that the way branch mispredictions are usually taken into account cannot be both safe and accurate in the case of high-performance pipelines. We propose a more realistic approach to be used as part of WCET computation.
Original document
The different versions of the original document can be found in:
- https://ieeexplore.ieee.org/document/1395636,
- http://ieeexplore.ieee.org/document/1395636,
- https://hal.archives-ouvertes.fr/hal-00181659,
- http://www.cecs.uci.edu/~papers/date05/papers/2005/date05/pdffiles/05e_3.pdf,
- https://dl.acm.org/citation.cfm?id=1049180,
- https://doi.org/10.1109/DATE.2005.7,
- https://hal.archives-ouvertes.fr/hal-00181659/document,
- https://academic.microsoft.com/#/detail/2150903557
Document information
Published on 01/01/2005
Volume 2005, 2005
DOI: 10.1109/date.2005.7
Licence: CC BY-NC-SA license
Share this document
Keywords
claim authorship
Are you one of the authors of this document?