An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis

Authors Mohamed Abdel Maksoud, Jan Reineke



PDF
Thumbnail PDF

File

OASIcs.WCET.2012.13.pdf
  • Filesize: 401 kB
  • 12 pages

Document Identifiers

Author Details

Mohamed Abdel Maksoud
Jan Reineke

Cite AsGet BibTex

Mohamed Abdel Maksoud and Jan Reineke. An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 13-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/OASIcs.WCET.2012.13

Abstract

Due to the complexity of today’s micro-architectures, the micro-architectural analysis usually constitutes the most time-consuming step in worst-case execution time (WCET) analysis. In this paper, we investigate the influence of the design of the load-store unit (LSU) in the PowerPC 7448 on WCET analysis. To this end, we introduce a simplified variant of the existing design of the LSU by reducing its queue sizes. Using AbsInt's aiT WCET analysis toolchain we determine the resulting WCET bounds and analysis times. For the modified version of the LSU with reduced queue sizes, analysis time is reduced by more than 50% on a set of benchmarks from the Mälardalen suite, while there is little change in the WCET bound.
Keywords
  • Empirical evaluation
  • architecture complexity effect
  • WCET analysis precision
  • WCET analysis performance
  • PowerPC 7448
  • Load-Store Unit

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail