Linux is not a real-time operating system, however it has been often recently used to implement soft real-time systems such as home multimedia centers. A quantitative study of the Linux kernel responsiveness to hardware interrupts has shown a huge variance in experimental results, however, we argue that a careful selection of the modules inserted in the kernel can greatly reduce this variance and produce a much more predictable system. In this paper, we focus on one of the major sources of unresponsiveness in the kernel, namely the presence of nonpreemptible code sections, and we quantify its effects with a series of micro-benchmarks. Our extensive set of experiments allowed us to identify which Linux kernel\u2019s modules can cause erratic...
Device drivers are becoming the most significant part of operating system kernels. Several studies h...
In this paper we describe a new, low-overhead technique for manipulating processor interrupt state i...
Abstract. This document describes a novel instrumentation tool for the Linux Kernel and Intel x86 ar...
This paper presents a methodology to model and check the behavior of a part of the Linux kernel by a...
In an operating system kernel, critical sections of code must be protected from interruption. This i...
Linux kernel's modular structure allows a developer to easily develop and implement drivers to the c...
As modern network infrastructure moves from hardware-based to software-based using Network Function ...
The phenomenon of operating system (OS) Jitter has been investigated and considered a critical facto...
As a result of technology trends towards multi-gigahertz processors, the I/O system is becoming a cr...
We present a study of operating system errors found by automatic, static, compiler analysis applied ...
An interrupt is an event that alters the sequence of instructions executed by a processor and requir...
Assessing operating system dependability remains a challenging problem, particularly in monolithic s...
Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To support these...
In this paper we analyze the traditional model of interrupt management and its incapacity to incorpo...
Embedded and Computer-based systems are subject to transient errors originated from several sources,...
Device drivers are becoming the most significant part of operating system kernels. Several studies h...
In this paper we describe a new, low-overhead technique for manipulating processor interrupt state i...
Abstract. This document describes a novel instrumentation tool for the Linux Kernel and Intel x86 ar...
This paper presents a methodology to model and check the behavior of a part of the Linux kernel by a...
In an operating system kernel, critical sections of code must be protected from interruption. This i...
Linux kernel's modular structure allows a developer to easily develop and implement drivers to the c...
As modern network infrastructure moves from hardware-based to software-based using Network Function ...
The phenomenon of operating system (OS) Jitter has been investigated and considered a critical facto...
As a result of technology trends towards multi-gigahertz processors, the I/O system is becoming a cr...
We present a study of operating system errors found by automatic, static, compiler analysis applied ...
An interrupt is an event that alters the sequence of instructions executed by a processor and requir...
Assessing operating system dependability remains a challenging problem, particularly in monolithic s...
Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To support these...
In this paper we analyze the traditional model of interrupt management and its incapacity to incorpo...
Embedded and Computer-based systems are subject to transient errors originated from several sources,...
Device drivers are becoming the most significant part of operating system kernels. Several studies h...
In this paper we describe a new, low-overhead technique for manipulating processor interrupt state i...
Abstract. This document describes a novel instrumentation tool for the Linux Kernel and Intel x86 ar...