Analyzing Data Cache Related Preemption Delay With Multiple Preemptions

Timing analysis of real-time tasks under preemptive scheduling must take cache-related preemption delay (CRPD) into account. Typically, a task may be preempted more than once during the execution in each period. To bound the total CRPD of <inline-formula> <tex-math notation="LaTeX">${k}$ </tex-math></inline-formula> preemptions, existing CRPD analysis techniques estimate the CRPD at each program point, and use the sum of the <inline-formula> <tex-math notation="LaTeX">${k}$ </tex-math></inline-formula>-largest CRPD among all program points as the total CRPD upper bound. In this paper, we disclose that the above-mentioned approach, although works well for instruction caches, leads to significant overestimation when dealing with data caches. This is because on data caches, the CRPD of preemptions at different program points may have correlations, and the total CRPD of multiple preemptions is in general smaller than the simple sum of the worst-case CRPD of each preemption. To address this problem, we propose a new technique to efficiently explore the correlation among the CRPD of different preemptions, and thus more precisely calculate the total CRPD. Experiments with benchmark programs show that the proposed technique leads to substantially tighter total CRPD estimation with multiple preemptions comparing with the state-of-the-art.