Analysis of probabilistic cache related pre-emption delays

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2013, Pages 168-179

  Davis, Robert I ^a   Santinelli, Luca ^b   Altmeyer, Sebastian ^c   Maiza, Claire ^d   Cucu Grosjean, Liliana ^e  

^a UNIVERSITY OF YORK   (United Kingdom)

^b ONERA   (France)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

^d VERIMAG   (France)

^e INRIA   (France)

Author keywords

preemption; probabilistic analysis; randomized cache

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS;

BENCHMARK PROGRAMS; CACHE REPLACEMENT POLICY; HARD REAL-TIME SYSTEMS; PREEMPTION; PROBABILISTIC ANALYSIS; RANDOMIZED CACHE; SCHEDULABILITY ANALYSIS; WORST-CASE EXECUTION TIME;

REAL TIME SYSTEMS;

EID: 84885208579     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2013.27     Document Type: Conference Paper

References (18)

1. S. Altmeyer and C. Burguiere. A new notion of useful cache block to improve the bounds of cache-related preemption delay. In Proceedings of the Euromicro Conference on Real-Time Systems, (ECRTS), 2009.
2. S. Altmeyer, R. I. Davis, and C. Maiza. Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. In Proceedings of the Real-Time Systems Symposium, (RTSS), 2011.
3. S. Altmeyer, R. I. Davis, and C. Maiza. Improved cache related preemption delay aware response time analysis for fixed priority preemptive systems. Real-Time Systems, 48(5), 2012.
4. J. V. Busquets-Mataix, J. J. Serrano, R. Ors, P. Gil, and A. Wellings. Adding instruction cache effect to schedulability analysis of preemptive real-time systems. In Proceedings of the Real-Time Technology and Applications Symposium (RTAS), 1996.
5. F. Cazorla, E. Quiñones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, and D. Maxim. PROARTIS: Probabilistically analysable realtime systems. ACM Transactions on Embedded Computing Systems (to appear), 2013.
6. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, and F. J. Cazorla. Measurement-based probabilistic timing analysis for multi-path programs. In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), 2012.
7. R. I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, and L. Cucu-Grosjean. Analysis of probabilistic cache related pre-emption delays. In University of York, Department of Computer Science, Technical Report YCS-2012-477, 2012. Available from http://www-users.cs.york.ac.uk/ robdavis/.
8. L. Díaz, D.F. García, K. Kim, C.-G. Lee, L. Lo Bello, J.M. López, S.L. Min, and O. Mirabella. Stochastic Analysis of Periodic Real-Time Systems, Proceedings - Real-Time Systems Symposium, 2002, 289-300.
9. M. Gardner and J. Lui. Analyzing stochastic fixed-priority real-time systems. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 44-58, 1999.
10. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper. The Mälardalen WCET benchmarks-past, present and future. In B. Lisper, editor, WCET 2010, pages 137-147, Brussels, Belgium, July 2010. OCG.
11. C.-G. Lee, J. Hahn, Y.-M. Seo, S. L. Min, R. Ha, S. Hong, C. Y. Park, M. Lee, and C. S. Kim. Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. IEEE Trans. Comput., 47(6):700-713, June 1998.
12. J. Lehoczky. Real-time queueing theory. In Proceedings of the 10th IEEE Real-Time Systems Symposium (RTSS96), pages 186-195, 1996.
13. J. Lopez, J. L. Daz, J. E., and D. Garca. Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-time Systems, 40(2), 2008.
14. D. Maxim, M. Houston, L. Santinelli, L. Cucu-Grosjean, and R. Davis. Re-Sampling for Statistical Timing Analysis of Real-Time Systems. In Proceedings of the International Conference on Real-Time and Network Systems (RTNS), 2012.
15. E. Quinones, E. Berger, G. Bernat, and F. Cazorla. Using Randomized Caches in Probabilistic Real-Time Systems. In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), pages 129-138, 2009.
16. T. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L. Wu, and J. Liu. Probabilistic performance guarantee for real-time tasks with varying computation times. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium (RTAS), 1995.
17. S. Zhou. An efficient simulation algorithm for cache of random replacement policy. In Proceedings of the International Conference on Network and Parallel Computing (NPC2010), pages 144-154, 2010.
18. H. Zhu, J. Hansen, J. Lehoczky, and R. Rajkumar. Optimal partitioning for quantized EDF scheduling. In Proceedings of the Real-time Systems Symposium (RTSS02), pages 202-213, 2002.