Worst-case execution time analysis for dynamic branch predictors

被引：15

作者：

Bate, I ^{[1
]}

Reutemann, R ^{[1
]}

机构：

[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England

来源：

16TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/EMRTS.2004.1311023

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Branch prediction mechanisms are becoming commonplace within modern microprocessors. For developers of real-time control systems, the mechanisms present predictability problems. The reasons are they increase the difficulty in analysing software for its Worst-Case Execution Time without introducing unmanageable pessimism and they increase the variability of the softwares execution times. In this paper we improve upon existing branch prediction analysis by taking into account the semantic context of the branches in the source code in order to classify them as either being easy-to-predict or hard-to-predict. Based on this classification we provide a static analysis approach for bimodal and global-history branch prediction schemes. The analysis is applied to a previously published example with the benefit that a more detailed explanation of its results is obtained.

引用

页码：215 / 222

页数：8

共 12 条

[1]

[Anonymous], P 8 ANN S COMP ARCH

[2] SimpleScalar: An infrastructure for computer system modeling [J].

Austin, T ;

Larson, E ;

Ernst, D .

COMPUTER, 2002, 35 (02) :59-+

[3]

CHAPMAN R, 1994, P WORKSH LANG COMP T, P135

[4] Worst case execution time analysis for a processor with branch prediction [J].

Colin, A ;

Puaut, I .

REAL-TIME SYSTEMS, 2000, 18 (2-3) :249-274

[5]

ENGBLOM J, 2002, 2002013 UPPS U DEP C

[6] Bounding loop iterations for timing analysis [J].

Healy, C ;

Sjodin, M ;

Rustagi, V ;

Whalley, D .

FOURTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM - PROCEEDINGS, 1998, :12-21

[7]

Hennessy John L., 2017, Computer Architecture-A Quantitative Approach

[8]

LUNDQVIST T, 1999, 994 CHALM U TECHN

[9]

MITRA T, 2002, P 15 INT S SYST SYNT

[10]

MULLER F, 1994, P ACM SIGPLAN WORKSH

← 1 2 →