Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
Component-wise instruction-cache behavior prediction
Rakib, Abdur; Parshin, Oleg; Thesing, Stephan; Wilhelm, Reinhard
Authors
Oleg Parshin
Stephan Thesing
Reinhard Wilhelm
Contributors
Farn Wang
Editor
Abstract
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. © Springer-Verlag 2004.
Presentation Conference Type | Conference Paper (Published) |
---|---|
Conference Name | International Symposium on Automated Technology for Verification and Analysis |
Publication Date | Oct 31, 2004 |
Deposit Date | Jun 16, 2017 |
Volume | 3299 |
Pages | 211-229 |
Series Title | Lecture Notes in Computer Science |
Series ISSN | 0302-9743 |
ISBN | 9783540236108 |
DOI | https://doi.org/10.1007/978-3-540-30476-0_20 |
Keywords | WECT, cache analysis, LRU strategy |
Public URL | https://uwe-repository.worktribe.com/output/1057459 |
Publisher URL | http://dx.doi.org/10.1007/978-3-540-30476-0_20 |
Related Public URLs | https://link.springer.com/chapter/10.1007%2F978-3-540-30476-0_20 |
You might also like
A logic for context-aware non-monotonic reasoning agents
(2014)
Presentation / Conference Contribution
Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment
(2014)
Presentation / Conference Contribution
MyGeo-Explorer: A semantic search tool for querying geospatial information
(2015)
Journal Article
Modeling and verifying context-aware non-monotonic reasoning agents
(2015)
Presentation / Conference Contribution
A temporal description logic for resource-bounded rule-based context-aware agents
(2014)
Presentation / Conference Contribution
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search