Static probabilistic timing analysis of random replacement caches using Lossy Compression

ACM International Conference Proceeding Series

Volumn 08-10-October-2014, Issue , 2014, Pages 289-298

  Griffin, David ^a   Lesage, Benjamin ^a   Burns, Alan ^a   Davis, Robert I ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

ASSOCIATIVITY; EXPERIMENTAL EVALUATION; LARGE VOLUMES; LOSSY COMPRESSIONS; PROBABILISTIC REAL-TIME SYSTEMS; RANDOM REPLACEMENTS; STATE-OF-THE-ART TECHNIQUES; TIMING ANALYSIS;

REAL TIME SYSTEMS;

EID: 84985914379     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2659787.2659809     Document Type: Conference Paper

References (16)

1. S. Edgar, "Estimation of worst-case execution time using statistical analysis," Ph.D. dissertation, University of York, 2002.
2. L. David and I. Puaut, "Static determination of probabilistic execution times," in Proceedings. 16th Euromicro Conference on Real-Time Systems (ECRTS), June 2004, pp. 223-230.
3. 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 real-time systems," Transactions on Embedded Computing Systems, 2012.
4. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzetti, E. Quiñones, and F. J. Cazorla, "Measurement-based probabilistic timing analysis for multi-path programs." in ECRTS, R. Davis, Ed. IEEE Computer Society, 2012, pp. 91-101.
5. R. I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, and L. Cucu-Grosjean, "Analysis of probabilistic cache related pre-emption delays," in 25th Euromicro Conference on Real-Time Systems (ECRTS). IEEE, 2013, pp. 168-179.
6. S. Altmeyer and R. I. Davis, "On the correctness, optimality and precision of static probabilistic timing analysis," in 17th Design, Automation and Test in Europe Conference (DATE). EDAA, 2014.
7. J. Watkinson, Compression in Video and Audio. Focal Press, 1995.
8. K. S. G. Brandenburg, "ISO/MPEG-1 audio: A generic standard for coding of high-quality digital audio," J. Audio Engineering Soc, vol. 42, no. 10, pp. 780-792, 1994.
9. D. Griffin, B. Lesage, A. Burns, and R. I. Davis, "Lossy compression for worst-case execution time analysis of PLRU caches," in RTNS '14: Proceedings of the 22nd International Conference on Real-Time and Network Systems. Versailles, France: ACM, New York, NY, USA, 2014.
10. P. Cousot and R. Cousot, "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints," in Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Los Angeles, California: ACM Press, New York, NY, 1977, pp. 238-252.
11. F. Mueller, "Timing analysis for instruction caches," Real-Time Systems, vol. 18, pp. 217-247, May 2000.
12. Y. Liang and T. Mitra, "Cache modeling in probabilistic execution time analysis," in Proceedings of the 45th Annual Design Automation Conference, ser. DAC '08. New York, NY, USA: ACM, 2008, pp. 319-324.
13. L. Cucu-Grosjean, "Independance - a misunderstood property of and for probabilistic real-time systems," in Alan Burns 60th Anniversary, N. Audsley and S. Baruah, Eds., Mar. 2013.
14. T. Lundqvist and P. Stenström, "Timing anomalies in dynamically scheduled microprocessors," in RTSS '99: Proceedings of the 20th IEEE Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 1999, pp. 12-21.
15. D. Grund and J. Reineke, "Toward precise PLRU cache analysis," in Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, B. Lisper, Ed. Austrian Computer Society, July 2010, pp. 28-39.
16. Contributors, "Maladärlen WCET benchmarks," http://www.mrtc.mdh.se/projects/wcet/, accessed on 1st September 2013.