文章基本信息

标题：Impact of DM-LRU on WCET: A Static Analysis Approach
本地全文：下载
作者：Renato Mancuso ; Heechul Yun ; Isabelle Puaut 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：133
页码：1-25
DOI：10.4230/LIPIcs.ECRTS.2019.17
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Cache memories in modern embedded processors are known to improve average memory access performance. Unfortunately, they are also known to represent a major source of unpredictability for hard real-time workload. One of the main limitations of typical caches is that content selection and replacement is entirely performed in hardware. As such, it is hard to control the cache behavior in software to favor caching of blocks that are known to have an impact on an application's worst-case execution time (WCET). In this paper, we consider a cache replacement policy, namely DM-LRU, that allows system designers to prioritize caching of memory blocks that are known to have an important impact on an application's WCET. Considering a single-core, single-level cache hierarchy, we describe an abstract interpretation-based timing analysis for DM-LRU. We implement the proposed analysis in a self-contained toolkit and study its qualitative properties on a set of representative benchmarks. Apart from being useful to compute the WCET when DM-LRU or similar policies are used, the proposed analysis can allow designers to perform WCET impact-aware selection of content to be retained in cache.
关键词：real-time; static cache analysis; abstract interpretation; LRU; deterministic memory; static cache locking; dynamic cache locking; cache profiling; W