Search Results

Documents authored by Aromolo, Federico


Document
Replication-Based Scheduling of Parallel Real-Time Tasks

Authors: Federico Aromolo, Geoffrey Nelissen, and Alessandro Biondi

Published in: LIPIcs, Volume 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)


Abstract
Multiprocessors have become the standard computing platform for real-time embedded systems. To efficiently leverage the computational power of such platforms, software tasks are often characterized by an internal structure where concurrent subtasks can execute in parallel on different processors. Existing strategies for the scheduling of parallel real-time tasks on multiprocessor platforms, such as partitioned, global, and federated scheduling, were inspired by earlier techniques that were not conceived to explicitly support parallel tasks, thus carrying advantages but also well-known limitations. This paper introduces replication-based scheduling, a specialized scheduling paradigm for parallel real-time DAG tasks. Replication-based scheduling leverages the internal structure of the parallel tasks to assign replicas of the subtasks to different processors, while ensuring that exactly one replica of each subtask will be executed at runtime for every task instance. This approach aims at preserving the advantages of partitioned scheduling while simplifying the timing analysis. The replication-based scheduling framework is first defined, together with a strategy for implementing replication-based scheduling in real-time operating systems. Then, offline allocation strategies for subtask replicas and a response-time analysis are presented. In the provided experiments, the schedulability achieved with replication-based scheduling is compared with that of existing techniques for the scheduling of parallel real-time tasks on multiprocessors.

Cite as

Federico Aromolo, Geoffrey Nelissen, and Alessandro Biondi. Replication-Based Scheduling of Parallel Real-Time Tasks. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 18:1-18:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@InProceedings{aromolo_et_al:LIPIcs.ECRTS.2023.18,
  author =	{Aromolo, Federico and Nelissen, Geoffrey and Biondi, Alessandro},
  title =	{{Replication-Based Scheduling of Parallel Real-Time Tasks}},
  booktitle =	{35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
  pages =	{18:1--18:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-280-8},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{262},
  editor =	{Papadopoulos, Alessandro V.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.18},
  URN =		{urn:nbn:de:0030-drops-180477},
  doi =		{10.4230/LIPIcs.ECRTS.2023.18},
  annote =	{Keywords: Real-Time Systems, Scheduling Algorithms, Schedulability Analysis, Parallel Tasks}
}
Document
Artifact
Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact)

Authors: Federico Aromolo, Alessandro Biondi, and Geoffrey Nelissen

Published in: DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)


Abstract
This artifact provides the means to validate and reproduce the experimental results presented in the related paper "Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling". The paper introduces a response-time analysis for constrained-deadline self-suspending tasks scheduled under EDF on a uniprocessor system, based on a model transformation from self-suspending sporadic tasks to sporadic tasks with jitter. In the experimental evaluation presented in the paper, the performance of the proposed analysis approach for self-suspending tasks is compared with that of existing suspension-oblivious and suspension-aware analysis techniques.

Cite as

Federico Aromolo, Alessandro Biondi, and Geoffrey Nelissen. Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact). In Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 1, pp. 5:1-5:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{aromolo_et_al:DARTS.8.1.5,
  author =	{Aromolo, Federico and Biondi, Alessandro and Nelissen, Geoffrey},
  title =	{{Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact)}},
  pages =	{5:1--5:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2022},
  volume =	{8},
  number =	{1},
  editor =	{Aromolo, Federico and Biondi, Alessandro and Nelissen, Geoffrey},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.5},
  URN =		{urn:nbn:de:0030-drops-165012},
  doi =		{10.4230/DARTS.8.1.5},
  annote =	{Keywords: Real-Time Systems, Schedulability Analysis, Self-Suspending Tasks, EDF Scheduling}
}
Document
Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling

Authors: Federico Aromolo, Alessandro Biondi, and Geoffrey Nelissen

Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)


Abstract
The self-suspending task model proved to be particularly effective in capturing the timing behavior of real-time systems characterized by complex execution patterns, such as computation offloading to hardware accelerators, inter-core synchronization by means of multiprocessor locking protocols, and highly parallel computation. Most of the existing results for the timing analysis of self-suspending tasks do not support the widely adopted Earliest Deadline First (EDF) scheduling algorithm, being instead primarily focused on fixed-priority scheduling. This paper presents a response-time analysis for constrained-deadline self-suspending tasks scheduled under EDF on a uniprocessor system. The proposed analysis is based on a model transformation from self-suspending sporadic tasks to sporadic tasks with jitter, which can then be analyzed using a state-of-the-art analysis method for EDF scheduling. Experimental results are presented to compare the performance of the proposed technique in terms of schedulability ratio with that of the pessimistic suspension-oblivious approach and with a less general technique for task sets with implicit deadlines.

Cite as

Federico Aromolo, Alessandro Biondi, and Geoffrey Nelissen. Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 13:1-13:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@InProceedings{aromolo_et_al:LIPIcs.ECRTS.2022.13,
  author =	{Aromolo, Federico and Biondi, Alessandro and Nelissen, Geoffrey},
  title =	{{Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling}},
  booktitle =	{34th Euromicro Conference on Real-Time Systems (ECRTS 2022)},
  pages =	{13:1--13:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-239-6},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{231},
  editor =	{Maggio, Martina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.13},
  URN =		{urn:nbn:de:0030-drops-163306},
  doi =		{10.4230/LIPIcs.ECRTS.2022.13},
  annote =	{Keywords: Real-Time Systems, Schedulability Analysis, Self-Suspending Tasks, EDF Scheduling}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail