Finding resource-release omission faults in Linux
Abstract
References
Index Terms
- Finding resource-release omission faults in Linux
Recommendations
Finding resource-release omission faults in Linux
PLOS '11: Proceedings of the 6th Workshop on Programming Languages and Operating SystemsThe management of the releasing of allocated resources is a continual problem in ensuring the robustness of systems code. Missing resource-releasing operations lead to memory leaks and deadlocks. A number of approaches have been proposed to detect such ...
Consensus in the Presence of Overlapping Faults and Total Omission
Theory of CryptographyAbstractUnderstanding the fault tolerance of Byzantine Agreement protocols is an important question in distributed computing. While the setting of Byzantine faults has been thoroughly explored in the literature, the (arguably more realistic) omission ...
Faults in linux: ten years later
ASPLOS XVI: Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systemsIn 2001, Chou et al. published a study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4.1. A major result of their work was that the drivers directory contained up to 7 times more of certain kinds of faults than other ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 130Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in