Analysis of typical faults in Linux operating system drivers

Mutilin, Vadim; Novikov, Evgeny; Хорошилов, А. В.

doi:10.15514/ispras-2012-22-19

Cited by 8 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Specifically, drivers have been found to be 3-7 times more error prone than other components. Mutilin, Novikov and Khoroshilov made an analysis of typical errors in the drivers of the Linux operating system [4]. Here the concept of a typical error is introduced.…”

Section: Related Workmentioning

confidence: 99%

Analyzing Hot Bugs in the Linux Kernel by Clustering Fixing Commit Messages

Starovoytov,

Golovnev,

Staroletov

2023

Proceedings of ISP RAS

View full text Add to dashboard Cite

In system software environments, a vast amount of information circulates, making it crucial to utilize this information in order to enhance the operation of such systems. One such system is the Linux kernel, which not only boasts a completely open-source nature, but also provides a comprehensive history through its git repository. Here, every logical code change is accompanied by a message written by the developer in natural language. Within this expansive repository, our focus lies on error correction messages from fixing commits, as analyzing their text can help identify the most common types of errors. Building upon our previous works, this paper proposes the utilization of data analysis methods for this purpose. To achieve our objective, we explore various techniques for processing repository messages and employing automated methods to pinpoint the prevalent bugs within them. By calculating distances between vectorizations of bug fixing messages and grouping them into clusters, we can effectively categorize and isolate the most frequently occurring errors. Our approach is applied to multiple prominent parts within the Linux kernel, allowing for comprehensive results and insights into what is going on with bugs in different subsystems. As a result, we show a summary of bug fixes in such parts of the Linux kernel as kernel, sched, mm, net, irq, x86 and arm64.

show abstract

Section: Related Workmentioning

confidence: 99%

Analyzing Hot Bugs in the Linux Kernel by Clustering Fixing Commit Messages

Starovoytov,

Golovnev,

Staroletov

2023

Proceedings of ISP RAS

View full text Add to dashboard Cite

show abstract

“…Since the code of 18 Khoroshilov A.V., Kuliamin V.V., Petrenko A.K.Verification of Operating System Components Linux drivers, which also works in kernel mode, is usually written by developers having good knowledge of hardware and not-so-good in rules of correct operation within Linux kernel, this naturally leads to the situation where more than a half of bugs detected in kernel is related with drivers code [22]. The similar relation is true for Windows OS [23].…”

Section: Static Analysismentioning

confidence: 99%

Verification of Operating System Components

Kuliamin¹,

Petrenko²,

Хорошилов³

2017

View full text Add to dashboard Cite

The paper concerns recent advances in reaching the goal of industrial operating system (OS) verification. By industrial OS we mean a system actively used in some industrial domain, elaborated and maintained for a significant time, not a proof-of-concept OS developed with mostly research intentions. We consider decomposition of this goal into tasks related with various functional components of OS and various properties under verification, and application of different verification methods to those tasks. This is a trial to explicate and summarize the experience of several projects on various OS components and different OS features verification conducted in ISP RAS.

show abstract

“…With the development of multicore and multiprocessor systems race condition related errors including the Linux Kernel, becomes even more important than before. For example in the study [1] it was concluded that the race conditions are the most frequent type of error in the Linux Kernel and make up about 17% of typical errors in the Linux Kernel (on the second and third place are specific objects leaks and null pointer dereference -9% both). The study was conducted by analyzing the comments to the changes in the Linux Kernel.…”

Section: Race Conditionsmentioning

confidence: 99%

On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules

Komarov¹

2013

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

View full text Add to dashboard Cite

An important class of problems in software are race conditions. Errors of this class are becoming more common and more dangerous with the development of multi-processor and multi-core systems, especially in such a fundamentally parallel environment as an operating system kernel. The paper overviews some of existing approaches to detect race conditions including DataCollider system based on concurrent memory access tracking. RaceHound, a race condition detection system for Linux drivers based on similar principles as DataCollider is presented.

show abstract

Analysis of typical faults in Linux operating system drivers

Cited by 8 publications

References 0 publications

Analyzing Hot Bugs in the Linux Kernel by Clustering Fixing Commit Messages

Analyzing Hot Bugs in the Linux Kernel by Clustering Fixing Commit Messages

Verification of Operating System Components

On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules

Contact Info

Product

Resources

About