Component-Wise Instruction-Cache Behavior Prediction

Autor:	Oleg Parshin, Stephan Thesing, Reinhard Wilhelm, Abdur Rakib
Rok vydání:	2004
Předmět:	Set (abstract data type) Correctness Program analysis Computer science CPU cache Component (UML) Cache Executable computer.file_format Parallel computing computer Cache algorithms
Zdroj:	Automated Technology for Verification and Analysis ISBN: 9783540236108 ATVA
DOI:	10.1007/978-3-540-30476-0_20
Popis:	The precise determination of worst-case execution times (WCETs) for programs is mostly being performed on fully linked executables, since all needed information is available and all machine parameters influencing cache performance are available to the analysis. This paper describes how to perform a component-wise prediction of the instruction cache behavior guaranteeing conservative results compared to an analysis of a fully linked executable. This proves the correctness of the method based on a previous proof of correctness of the analysis of fully linked executables. The analysis is described for a general A-way set associative cache. The only assumption is that the replacement strategy is LRU.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a9a3596d8eb6eb75eaad83afd2f65670 https://doi.org/10.1007/978-3-540-30476-0_20 Zobrazit plný text záznamu