DARTS.6.1.2.pdf
- Filesize: 348 kB
- 3 pages
Document
Demystifying the Real-Time Linux Scheduling Latency (Artifact)
Authors
Daniel Bristot de Oliveira 
,
Daniel Casini ,
Rômulo Silva de Oliveira ,
Tommaso Cucinotta
-
Part of:
Issue:
Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
Volume: DARTS, Volume 6 (ECOOP 2020)
Conference: Euromicro Conference on Real-Time Systems (ECRTS)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-06-30
Artifact Description
Document Identifiers
Author Details
Cite As Get BibTex
Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, and Tommaso Cucinotta. Demystifying the Real-Time Linux Scheduling Latency (Artifact). In Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 1, pp. 2:1-2:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/DARTS.6.1.2
Artifact
DARTS-6-1-2-artifact-3454c0893db32779b83f01ab8c65bac4.tgz
(Filesize: 6.21 GB)
MD5 Sum:
3454c0893db32779b83f01ab8c65bac4
(Get MD5 Sum)
Abstract
The "Demystifying the Real-Time Linux Scheduling Latency" paper defines a safe bound for the real-time Linux scheduling latency. It also presents a tool kit that enables the measurements and analysis of the variables that compose the bond. The tool kit is used in the experimental section, performing the scheduling latency analyses on real platforms. This artifact provides the means to evaluate the tool kit and to reproduce the results of the experimental section.
Subject Classification
ACM Subject Classification
- Computer systems organization → Real-time operating systems
Keywords
- Real-time operating systems
- Linux kernel
- PREEMPT_RT
- Scheduling latency
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Daniel B. de Oliveira, Rômulo S. de Oliveira, and Tommaso Cucinotta. A thread synchronization model for the preempt_rt linux kernel. Journal of Systems Architecture, page 101729, 2020. URL: https://doi.org/10.1016/j.sysarc.2020.101729.
-
Daniel Bristot de Oliveira, Tommaso Cucinotta, and Rômulo Silva de Oliveira. Efficient formal verification for the linux kernel. In International Conference on Software Engineering and Formal Methods, pages 315-332. Springer, 2019.
