Title
Deadline scheduling in the Linux kernel
Abstract
During the last decade, there has been a considerable interest in using Linux in real-time systems, especially for industrial control. The simple and elegant design of Linux guarantees reliability and very good performance, while its open-source license allows to modify and change the source code according to the user needs. However, Linux has been designed to be a general-purpose operating system. Therefore, it presents some issues like unpredictable latencies and limited support for real-time scheduling. In this paper, we present our experience in the design and implementation of the real-time scheduler that has been recently included in the Linux kernel. The scheduler is based on the Resource Reservation paradigm, which allows to enforce temporal isolation between the running tasks. We describe the genesis of the project, the challenges we have encountered, the implementation details and the API offered to the programmers. Then, we show the experimental results measured on a real hardware. Copyright © 2015John Wiley & Sons, Ltd.
Year
DOI
Venue
2016
10.1002/spe.2335
Software—Practice & Experience
Keywords
Field
DocType
real time,linux,scheduling,operating system
Linux Unified Key Setup,Reservation,Source code,Computer science,Scheduling (computing),OpenZFS,Supercomputer operating systems,Operating system,Linux kernel,License
Journal
Volume
Issue
ISSN
46
6
0038-0644
Citations 
PageRank 
References 
14
0.69
29
Authors
4
Name
Order
Citations
PageRank
Juri Lelli1363.23
Claudio Scordino218212.97
Luca Abeni391968.15
Dario Faggioli41177.39