Operating systems code is often developed according to principles like simplicity, low overhead, and low memory footprint. Schedulers are no exceptions. A scheduler is usually developed with flexibility in mind, and this restricts the ability to provide real-time guarantees. Moreover, even when schedulers can provide real-time guarantees, it is unlikely that these guarantees are properly quantified using theoretical analysis that carries on to the implementation. To be able to analyze the guarantees offered by operating systems’ schedulers, we developed a publicly available tool that analyzes timing properties extracted from the execution of a set of threads and computes the lower and upper bounds to the supply function offered by the execu...
International audienceThe thread scheduler of an operating system is a performance-critical service ...
CPU scheduling algorithms determine how programs run on a CPU in an operating system. These algorith...
In this work, an experimental comparison among the Rate Monotonic (RM) and Earliest Deadline First (...
Operating systems code is often developed according to principles like simplicity, low overhead, and...
In operating systems, resource managers are developed according to simplicity, low overhead, low mem...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
Real-time scheduling theory is designed to provide a priori verification that all real-time tasks m...
Design and analysis of real-time systems is heavily based on knowing worst-case execution times (WCE...
International audienceAs a central part of resource management, the OS thread scheduler must maintai...
By implementing efficient and smart schedulers in our software systems with multiple threads we can ...
In hard real-time systems, if computations do not execute before their explicit deadlines, catastrop...
Guaranteeing the temporal correctness of a real-time system is a very challenging problem since appl...
The multi-core era has led to a paradigm shift in the interaction between software and hardware. Mul...
Traditionally, scheduling algorithms have been implemented as open-loop control systems. This allows...
International audienceThe thread scheduler of an operating system is a performance-critical service ...
CPU scheduling algorithms determine how programs run on a CPU in an operating system. These algorith...
In this work, an experimental comparison among the Rate Monotonic (RM) and Earliest Deadline First (...
Operating systems code is often developed according to principles like simplicity, low overhead, and...
In operating systems, resource managers are developed according to simplicity, low overhead, low mem...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
Real-time scheduling theory is designed to provide a priori verification that all real-time tasks m...
Design and analysis of real-time systems is heavily based on knowing worst-case execution times (WCE...
International audienceAs a central part of resource management, the OS thread scheduler must maintai...
By implementing efficient and smart schedulers in our software systems with multiple threads we can ...
In hard real-time systems, if computations do not execute before their explicit deadlines, catastrop...
Guaranteeing the temporal correctness of a real-time system is a very challenging problem since appl...
The multi-core era has led to a paradigm shift in the interaction between software and hardware. Mul...
Traditionally, scheduling algorithms have been implemented as open-loop control systems. This allows...
International audienceThe thread scheduler of an operating system is a performance-critical service ...
CPU scheduling algorithms determine how programs run on a CPU in an operating system. These algorith...
In this work, an experimental comparison among the Rate Monotonic (RM) and Earliest Deadline First (...