Título:
|
Software Time Reliability in the Presence of Cache Memories
|
Autor/a:
|
Milutinovic, Suzana; Abella, Jaume; Agirre, Irune; Azkarate-Askasua, Mikel; Mezzetti, Enrico; Vardanega, Tullio; Cazorla, Francisco J.
|
Otros autores:
|
Barcelona Supercomputing Center |
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. |
Abstract:
|
The research leading to these results has received funding from the European
Community's FP7 [FP7/2007-2013] under the PROXIMA Project (www.proximaproject.
eu), grant agreement no 611085. This work has also been partially supported
by the Spanish Ministry of Science and Innovation under grant TIN2015-
65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially
supported by the Ministry of Economy and Competitiveness under Ramon y
Cajal postdoctoral fellowship number RYC-2013-14717. |
Abstract:
|
Peer Reviewed |
Materia(s):
|
-Àrees temàtiques de la UPC::Enginyeria elèctrica -Software -Cache memory -Probabilistic Timing Analysis -WCET -Representativeness -Cache memories -Ordinadors--Dispositius de memòria -Programari |
Derechos:
|
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipo de documento:
|
Artículo - Versión presentada Objeto de conferencia |
Editor:
|
Springer International Publishing
|
Compartir:
|
|