Deadline scheduling in the Linux kernel. (15th June 2015)

• Record Type: Journal Article
• Authors: Lelli, Juri; Scordino, Claudio; Abeni, Luca; Faggioli, Dario
• Is Part Of: Software, practice & experience. Volume 46:Number 6(2016)
• Page Start: 821
• Page End: 839
• Publication Date: 2015-06-15
• Subjects: real‐time -- resource‐reservation -- scheduling -- operating system -- Linux; Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2335
• Languages: English
• ISSNs: 0038-0644

Abstract

Summary: 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 © 2015 John Wiley & Sons, Ltd.