Mind the Gap - Between Real-Time Linux and Real-Time Theory

Explore the gap between real-time Linux and real-time theory in this 48-minute conference talk from the Linux Plumbers Conference. Delve into the challenges of applying theoretical real-time concepts to practical Linux implementations. Learn about efforts to establish a task model for PREEMPT RT Linux, including descriptions of operations influencing task timing behavior and their relationships. Discover new metrics for PREEMPT RT and a model validator for the kernel. Examine topics such as logical correctness, fixed priority schedulers, preemptive scheduling, discrete event systems, and the complexity of Linux. Gain insights into bridging the divide between academic research and real-world Linux applications in real-time systems.

Syllabus

Introduction
Logical correctness
Realtime systems
Fixed priority scheduler
Scheduling formula
Scheduling in theory
Reality is not reality
Preemptive scheduling
Math side
Mind the gap
Abstract the code
Trace and States
Discrete Event Systems
Graph format
Drawing automatons
Modeling approach
Example of models
Complexity of Linux
Sufficient Conditions
Model
In practice
What can we do
Julia time
Prime Clarity Model
Drivers
Tasks