文章基本信息

标题：PREM-Based Optimal Task Segmentation Under Fixed Priority Scheduling
本地全文：下载
作者：Muhammad R. Soliman ; Rodolfo Pellizzoni
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：133
页码：1-23
DOI：10.4230/LIPIcs.ECRTS.2019.4
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Recently, a large number of works have discussed scheduling tasks consisting of a sequence of memory phases, where code and data are moved between main memory and local memory, and computation phases, where the task executes based on the content of local memory only; the key idea is to prevent main memory contention by scheduling the memory phase of one task in parallel with computation phases of tasks running on other cores. This paper provides two main contributions: (1) we present a compiler-level tool, based on the LLVM intermediate representation, that automatically converts a program into a conditional sequence of segments comprising memory and computation phases; (2) we propose an algorithm to find optimal segmentation decisions for a task set scheduled according to a fixed-priority partitioned scheme. Our evaluation shows that the proposed framework can be feasibly applied to realistic programs, and vastly overperforms a baseline greedy approach.
关键词：PREM; LLVM; scratchpad memory; scheduling; program segmentation