Demystifying the Real-Time Linux Scheduling Latency (Artifact)

Authors Daniel Bristot de Oliveira , Daniel Casini , Rômulo Silva de Oliveira , Tommaso Cucinotta

Thumbnail PDF

Artifact Description

  • Filesize: 348 kB
  • 3 pages

Document Identifiers

Author Details

Daniel Bristot de Oliveira
  • Red Hat, Inc, Italy
Daniel Casini
  • Scuola Superiore Sant'Anna, Italy
Rômulo Silva de Oliveira
  • Universidade Federal de Santa Catarina, Brazil
Tommaso Cucinotta
  • Scuola Superiore Sant'Anna, Italy

Cite AsGet 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)



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
  • Real-time operating systems
  • Linux kernel
  • Scheduling latency


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. 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:
  2. 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. Google Scholar