Abstract
Schedulability analysis for tasks running on micro- processors with cache memory is incomplete without a treatment of Cache Related Preemption Delays (CRPD) and Cache Persistence Reload Overheads (CPRO). State-of-the-art analyses compute CRPD and CPRO independently, which might result in counting the same overhead more than once. In this paper, we analyze the pessimism associated with the independent calculation of CRPD and CPRO in comparison to an integrated approach. We answer two main questions: (1) Is it benecial to integrate the calculation of CRPD and CPRO? (2) When and to what extent can we gain in terms of schedulability by integrating the calculation of CRPD and CPRO? To achieve this, we (i) identify situations where considering CRPD and CPRO separately might result in overestimating the total memory overhead suffered by tasks, (ii) derive new analyses that integrate the calculation of CRPD and CPRO; and (iii) perform a thorough experimental evaluation using benchmarks to compare the performance of the integrated analysis against the separate calculation of CRPD and CPRO.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017 |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 188-198 |
| Number of pages | 11 |
| ISBN (Electronic) | 9781538614143 |
| DOIs | |
| Publication status | Published - 1 Feb 2018 |
| Externally published | Yes |
| Event | 38th IEEE Real-Time Systems Symposium, RTSS 2017 - Paris, France Duration: 5 Oct 2017 → 8 Oct 2017 Conference number: 38 |
Conference
| Conference | 38th IEEE Real-Time Systems Symposium, RTSS 2017 |
|---|---|
| Abbreviated title | RTSS 2017 |
| Country/Territory | France |
| City | Paris |
| Period | 5/10/17 → 8/10/17 |
Funding
Acknowledgments. This paper is supported by NWO Veni Project, “The time is now: Timing Verification for Safety-Critical Multi-Cores”and by the ESPRC grant, MCCps (EP/K011626/1), and also by the Inria International Chair program. EPSRC Research Data Management: No new primary data was created during this study. This work was partially supported by National Funds through FCT (Portuguese Foundation for Science and Technology) and co-financed by ERDF (European Regional Development Fund) under the Portugal2020 Program, within the CISTER Research Unit (CEC/04234); by FCT and the ESF (European Social Fund) through POPH (Portuguese Human Potential Operational Program), under PhD grant SFRH/BD/119150/2016.
Keywords
- Cache-Related-Overheads
- Real-time-Scheduling
- Timing-Analysis
- WCRT-Analysis
Fingerprint
Dive into the research topics of 'Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver