文章基本信息

标题：WCET-Driven Dynamic Data Scratchpad Management With Compiler-Directed Prefetching
本地全文：下载
作者：Muhammad Refaat Soliman ; Rodolfo Pellizzoni
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：76
页码：24:1-24:23
DOI：10.4230/LIPIcs.ECRTS.2017.24
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：In recent years, the real-time community has produced a variety of approaches targeted at managing on-chip memory (scratchpads and caches) in a predictable way. However, to obtain safe WCET bounds, such techniques generally assume that the processor is stalled while waiting to reload the content of the on-chip memory; hence, they are less effective at hiding main memory latency compared to speculation-based techniques, such as hardware prefetching, that are largely used in general-purpose systems. In this work, we introduce a novel compiler-directed prefetching scheme for scratchpad memory that effectively hides the latency of main memory accesses by overlapping data transfers with the program execution. We implement and test an automated program compilation and optimization flow within the LLVM framework, and we show how to obtain improved WCET bounds through static analysis.
关键词：scratchpad; LLVM; prefetching; real-time; genetic algorithm