Fitting Linux Device Drivers into an Analyzable Scheduling Framework
نویسندگان
چکیده
API extensions and performance improvements to the Linux operating system now enable it to serve as a platform for a range of embedded real-time applications, using fixed-priority preemptive scheduling. Powerful techniques exist for analytical verification of application timing constraints under this scheduling model. However, when the application is layered over an operating system the operating system must be included in the analysis. In particular, the computational workloads due to device drivers and other internal components of the operating system, and the ways they are scheduled, need to match abstract workload models and scheduling polices that are amenable to analysis. This paper assesses the degree to which the effects of device drivers in Linux can now be modeled adequately to admit fixed-priority preemptive schedulability analysis, and what remains to be done to reach that goal.
منابع مشابه
Generic User-Level PCI Drivers
Linux has become a popular foundation for systems with real-time requirements such as industrial control applications. In order to run such workloads on Linux, the kernel needs to provide certain properties, such as low interrupt latencies. For this purpose, the kernel has been thoroughly examined, tuned, and verified. This examination includes all aspects of the kernel, including the device dr...
متن کاملImplementation Of Led Driver For Commercial Applications Based On Arm 9
In Real time development 32-bit CPU’s which are widely used satisfies high speed processing, but they need a platform which makes it to run systems steadily and speedily. Stability and security plays an important role in embedded field. Based on the price, architecture and security Linux is one platform which plays an important role in embedded applications .The new version kernel has more bene...
متن کاملGuardrail: High Fidelity Correctness Checking of Device Drivers for Safeguarding I/O Operations
Device drivers are an Achilles’ heel of modern commodity operating systems, accounting for far too many system failures. Previous work on driver reliability has focused on protecting the kernel from unsafe driver side-effects by interposing an invariant-checking layer at the driver interface, but otherwise treating the driver as a black box. In this paper, we propose and evaluate Guardrail, whi...
متن کاملThe design and implementation of real-time schedulers in RED-linux
Researchers in the real-time system community have designed and studied many advanced scheduling algorithms. However, most of these algorithms have not been implemented since it is very difficult to support new scheduling algorithms on most operating systems. To address this problem, we enhance the scheduling mechanism in Linux to provide a flexible scheduling framework. In the real-time and em...
متن کاملImproving Device Driver Reliability through Decoupled Dynamic Binary Analyses
Device drivers are Operating Systems (OS) extensions that enable the use of I/O devices in computing systems. However, studies have identified drivers as an Achilles’ heel of system reliability, their high fault rate accounting for a significant portion of system failures. Consequently, significant effort has been directed towards improving system robustness by protecting system components (e.g...
متن کامل