Software Time Reliability in the Presence of Cache Memories
Visualitza/Obre
10.1007/978-3-319-60588-3_15
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/107007
Tipus de documentComunicació de congrés
Data publicació2017-05-30
EditorSpringer International Publishing
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
ProjecteCOMPUTACION DE ALTAS PRESTACIONES VII (MINECO-TIN2015-65316-P)
RYC-2013-14717 (MINECO-RYC-2013-14717)
RYC-2013-14717 (MINECO-RYC-2013-14717)
Abstract
The use of caches challenges measurement-based timing analysis (MBTA) in critical embedded systems. In the presence of caches, the worst-case timing behavior of a system heavily depends on how code and data are laid out in cache. Guaranteeing that test runs capture, and hence MBTA results are representative of, the worst-case conflictive cache layouts, is generally unaffordable for end users. The probabilistic variant of MBTA, MBPTA, exploits randomized caches and relieves the user from the burden of concocting layouts. In exchange, MBPTA requires the user to control the number of runs so that a solid probabilistic argument can be made about having captured the effect of worst-case cache conflicts during analysis. We present a computationally tractable Time-aware Address Conflict (TAC) mechanism that determines whether the impact of conflictive memory layouts is indeed captured in the MBPTA runs and prompts the user for more runs in case it is not.
CitacióMilutinovic, S. [et al.]. Software Time Reliability in the Presence of Cache Memories. A: "Reliable Software Technologies -- Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings". Springer International Publishing, 2017, p. 233-249.
ISBN978-3-319-60588-3
Versió de l'editorhttps://link.springer.com/chapter/10.1007/978-3-319-60588-3_15
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Software Time Reliability in the.pdf | 483,8Kb | Visualitza/Obre |