License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2019.4
URN: urn:nbn:de:0030-drops-107417
URL: http://drops.dagstuhl.de/opus/volltexte/2019/10741/
Go to the corresponding LIPIcs Volume Portal


Soliman, Muhammad R. ; Pellizzoni, Rodolfo

PREM-Based Optimal Task Segmentation Under Fixed Priority Scheduling

pdf-format:
LIPIcs-ECRTS-2019-4.pdf (0.8 MB)


Abstract

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.

BibTeX - Entry

@InProceedings{soliman_et_al:LIPIcs:2019:10741,
  author =	{Muhammad R. Soliman and Rodolfo Pellizzoni},
  title =	{{PREM-Based Optimal Task Segmentation Under Fixed Priority Scheduling}},
  booktitle =	{31st Euromicro Conference on Real-Time Systems (ECRTS 2019)},
  pages =	{4:1--4:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-110-8},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{133},
  editor =	{Sophie Quinton},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10741},
  URN =		{urn:nbn:de:0030-drops-107417},
  doi =		{10.4230/LIPIcs.ECRTS.2019.4},
  annote =	{Keywords: PREM, LLVM, scratchpad memory, scheduling, program segmentation}
}

Keywords: PREM, LLVM, scratchpad memory, scheduling, program segmentation
Seminar: 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Issue Date: 2019
Date of publication: 08.07.2019


DROPS-Home | Imprint | Privacy Published by LZI