The Linux kernel 2.6.23 scheduler includes substantial changes that may entice researchers with no prior interest in Linux to attempt to understand or modify its behavior. Often, this is no easy task, particularly for someone new to Linux kernel development. Virtual machines and hardware simulators can help make the task easier; however, they introduce their own problems. Motivated by these observations, we present the LinSched tool to host a Linux scheduler at a high simulation speed in an isolated environment, within which its behavior can be observed on a variety of different platforms independently of other Linux subsystems. The tool runs as a user-space process, so bugs within the scheduling code crash a single process instead of the e...
International audienceThe complexity of computer architectures has risen since the early years of th...
International audienceThis paper analyzes the impact on application performance of the design and im...
In operating systems, resource managers are developed according to simplicity, low overhead, low mem...
The subject of this thesis is process scheduling in wide purpose operating systems. For many years k...
During the last decade, there has been a considerable interest in using Linux in real-time systems, ...
Abstract—Scheduling theory and algorithms have been well studied in the real-time systems literature...
Journal ArticleImplementing a new scheduling algorithm in an OS kernel is often an important step in...
International audienceAs a central part of resource management, the OS thread scheduler must maintai...
Operating systems code is often developed according to principles like simplicity, low overhead, and...
The ability to embed certain processes in virtual time is very useful to the Linux Kernel. Each proc...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
Linux has received considerable attention in the embed-ded real-time systems domain recently, given ...
Real-time schedulers are widely used in many safety-critical applications such as avionics, automoti...
The order according to which the different tasks are carried out within a Time Warp platform has a d...
Linux is equipped with multiple scheduling algorithms that are implemented as separate scheduling cl...
International audienceThe complexity of computer architectures has risen since the early years of th...
International audienceThis paper analyzes the impact on application performance of the design and im...
In operating systems, resource managers are developed according to simplicity, low overhead, low mem...
The subject of this thesis is process scheduling in wide purpose operating systems. For many years k...
During the last decade, there has been a considerable interest in using Linux in real-time systems, ...
Abstract—Scheduling theory and algorithms have been well studied in the real-time systems literature...
Journal ArticleImplementing a new scheduling algorithm in an OS kernel is often an important step in...
International audienceAs a central part of resource management, the OS thread scheduler must maintai...
Operating systems code is often developed according to principles like simplicity, low overhead, and...
The ability to embed certain processes in virtual time is very useful to the Linux Kernel. Each proc...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
Linux has received considerable attention in the embed-ded real-time systems domain recently, given ...
Real-time schedulers are widely used in many safety-critical applications such as avionics, automoti...
The order according to which the different tasks are carried out within a Time Warp platform has a d...
Linux is equipped with multiple scheduling algorithms that are implemented as separate scheduling cl...
International audienceThe complexity of computer architectures has risen since the early years of th...
International audienceThis paper analyzes the impact on application performance of the design and im...
In operating systems, resource managers are developed according to simplicity, low overhead, low mem...