TY - GEN
T1 - Scope-aware useful cache block analysis for data cache related preemption delay
AU - Zhang, Wei
AU - Gong, Fan
AU - Ju, Lei
AU - Guan, Nan
AU - Jia, Zhiping
PY - 2017/6/5
Y1 - 2017/6/5
N2 - Static timing analysis is crucial for design of realtime systems. While the worst-case execution time of a task is typically computed or measured in a single task environment, the presence of caches imposes additional cache related preemption delay (CRPD) cost to the lower priority tasks in a preemptive multi-tasking system. In this work, we show that existing instruction CRPD analysis techniques cannot be straightforwardly extended for safe and precise data CRPD analysis. In order to capture the dynamic behavior of the data memory references, we introduce the notion of temporal scopes into the abstract cache state (ACS) to capture the data memory blocks that must or may reside in the cache during certain time intervals of program execution. Based on the improved ACS representation, we present a temporal scope aware useful cache block (UCB) calculation for safe and tight estimation of the data CRPD cost. Experimental results show that the proposed technique leads to substantially tighter CRPD estimation, and is applicable to programs with complex data reference patterns.
AB - Static timing analysis is crucial for design of realtime systems. While the worst-case execution time of a task is typically computed or measured in a single task environment, the presence of caches imposes additional cache related preemption delay (CRPD) cost to the lower priority tasks in a preemptive multi-tasking system. In this work, we show that existing instruction CRPD analysis techniques cannot be straightforwardly extended for safe and precise data CRPD analysis. In order to capture the dynamic behavior of the data memory references, we introduce the notion of temporal scopes into the abstract cache state (ACS) to capture the data memory blocks that must or may reside in the cache during certain time intervals of program execution. Based on the improved ACS representation, we present a temporal scope aware useful cache block (UCB) calculation for safe and tight estimation of the data CRPD cost. Experimental results show that the proposed technique leads to substantially tighter CRPD estimation, and is applicable to programs with complex data reference patterns.
UR - http://www.scopus.com/inward/record.url?scp=85021800380&partnerID=8YFLogxK
U2 - 10.1109/RTAS.2017.35
DO - 10.1109/RTAS.2017.35
M3 - Conference article published in proceeding or book
AN - SCOPUS:85021800380
T3 - Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS
SP - 63
EP - 73
BT - Proceedings - 2017 IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, RTAS 2017
A2 - Parmer, Gabriel
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 23rd IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2017
Y2 - 18 April 2017 through 20 April 2017
ER -