The influence of processor architecture on the design and the results of WCET tools

被引:96
|
作者
Heckmann, R [1 ]
Langenbach, M
Thesing, S
Wilhelm, R
机构
[1] Amsint Angew Informat GmbH, D-66123 Saarbrucken, Germany
[2] Univ Saarland, Fachrichtung Informat, D-66123 Saarbrucken, Germany
关键词
predictability; processor model; real-time; static analysis; worst case execution time;
D O I
10.1109/JPROC.2003.814618
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
The architecture of tools,for the determination of worst case execution times (WCETs) as well as the precision of the results of WCET analyses strongly depend on the architecture of the employed processor The cache replacement strategy influences the results of cache behavior prediction; out-of-order execution and control speculation introduce interferences between processor components, e.g., caches, pipelines, and branch prediction units. These interferences forbid modular designs of WCET tools, which would execute the subtasks of WCET analysis consecutively. Instead, complex integrated designs arc needed, resulting in high demand for memory space and analysis time. We have implemented WCET tools,for a series of increasingly complex processors: SuperSPARC, Motorola ColdFire 5307, and Motorola PowerPC 755. In this paper, we describe the designs of these tools, report our results and the lessons learned, and give some advice as to the predictability of processor architectures.
引用
收藏
页码:1038 / 1054
页数:17
相关论文
共 50 条
  • [21] SOME TOOLS FOR DESIGN IN SOLAR ARCHITECTURE
    CHAULIAGUET, C
    ARCHITECTURE D AUJOURD HUI, 1980, 209 (JUN): : 17 - 18
  • [22] WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction
    Mangean, Armel
    Bechennec, Jean-Luc
    Briday, Mikael
    Faucou, Sebastien
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2017, 2017, 10466 : 64 - 78
  • [23] Temporal Multithreading Architecture Design for a Java']Java Processor
    Su, Hung-Cheng
    Wu, Tsung-Han
    Tsai, Chun-Jen
    2014 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2014, : 2201 - 2204
  • [24] A design of EPIC type processor based on MIPS architecture
    Hayashi, Takahito
    Kanasugi, Akinori
    ARTIFICIAL LIFE AND ROBOTICS, 2020, 25 (01) : 59 - 63
  • [25] The design of a non-blocking load processor architecture
    Stenstrom, P
    Balldin, M
    Skeppstedt, J
    MICROPROCESSORS AND MICROSYSTEMS, 1996, 20 (02) : 111 - 123
  • [26] Towards Efficient Superconducting Quantum Processor Architecture Design
    Li, Gushu
    Ding, Yufei
    Xie, Yuan
    TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV), 2020, : 1031 - 1045
  • [27] A design of EPIC type processor based on MIPS architecture
    Takahito Hayashi
    Akinori Kanasugi
    Artificial Life and Robotics, 2020, 25 : 59 - 63
  • [28] Architecture and design of a talisman-compatible multimedia processor
    Dutta, S
    Mehra, V
    Zhu, WW
    Singh, D
    Janssens, M
    Vengalasetti, R
    Ben-Nun, B
    Pothana, P
    Adusumilli, V
    King, N
    Huang, JYH
    Ling, L
    Nelson, C
    Bannur, J
    Wu, S
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 1999, 9 (04) : 565 - 579
  • [29] Design of a configurable embedded processor architecture for DSP functions
    Yue, H
    Lai, MC
    Dai, K
    Wang, ZY
    11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS WORKSHOPS, VOL II, PROCEEDINGS,, 2005, : 27 - 31
  • [30] Architecture and instruction set design of an ATM network processor
    Jones, G
    Stipidis, E
    MICROPROCESSORS AND MICROSYSTEMS, 2003, 27 (08) : 367 - 379