An empirical study of operating systems errors

Operating Systems Review (ACM)

Volumn 35, Issue 5, 2001, Pages 73-88

  Chou, Andy ^a   Yang, Junfeng ^a   Chelf, Benjamin ^a   Hallem, Seth ^a   Engler, Dawson ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CODING ERRORS; FILE ORGANIZATION; INTERFACES (COMPUTER); PROGRAM COMPILERS;

LINUX SPANNING; NULL POINTERS;

COMPUTER OPERATING SYSTEMS;

EID: 0036041421     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/502059.502042     Document Type: Article

References (26)

1. A. Aiken, M. Fahndrich, and Z. Su. Detecting Races in Relay Ladder Logic Programs. In Proceedings of the 1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 1998.
2. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins, and D. Powell. Fault Injection for Dependability Validation - A Methodology and Some Applications. IEEE Transactions on Software Engineering, 16(2), February 1990.
3. V. Basili and B. Perricone. Software Errors and Complexity: an Empirical Investigation. Communications of the Association for Computing Machinery, 27(1):42-52, 1984.
4. M. Bishop and M. Dilger. Checking for Race Conditions in File Accesses. Computing systems, pages 131-152, Spring 1996.
5. B. Chen, Y. Endo, K. Chan, D. Mazires, A. Dias, M. Smith, and M. Seltzer. The Measured Performance of Personal Computer Operating Systems. ACM Transactions on Computer Systems(TOCS), February 1996.
6. R. Chillarege and N. Bowen. Understanding Large System Failures - A Fault Injection Experiment. In The 19th International Symposium on Fault Tolerant Computing, June 1989.
7. D.R. Cox and D. Oakes. Analysis of Survival Data. Chapman and Hall, London, UK, 1984.
8. D.R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. In Proceedings of Operating Systems Design and Implementation (OSDI), September 2000.
9. N. E. Fenton and N. Ohlsson. Quantitative Analysis of Faults and Failures in a Complex Software System. IEEE Transactions on Software Engineering, 26(8):797-8 14, August 2000.
10. J. Gray. A Census of Tandem System Availability Between 1985 and 1990. IEEE Transactions on Software Engineering, 39(4), October 1990.
11. Intrinsa. A Technical Introduction to PREfix/Enterprise. Technical report, Intrinsa Corporation, 1998.
12. N.L. Johnson and S. Kotz. Discrete Distributions John Wiley & Sons, New York, NY, 1969.
13. Philip J. Koopman Jr., John Sung, Christopher P. Dingman, Daniel P. Siewiorek, and Ted Marz. Comparing Operating Systems Using Robustness Benchmarks. In Symposium on Reliable Distributed Systems, pages 72-79, 1997.
14. A. Kanawati, N. Kanawati, and J. Abraham. FERRARI: A Flexible Software-Based Fault and Error Injection System. IEEE Transactions on Software Engineering. 44(2), February 1995.
15. I. Lee, R. Iyer, and F. Symptoms. Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN Operating System. In International Symposium on Fault-Tolerant Computing (FTCS), 1993.
16. W.E. Leland, M.S. Taqq, W. Willinger, and D.V. Wilson. On the Self-Similar Nature of Ethernet Traffic. In ACM SIGCOMM, pages 183-193, San Francisco, California, 1993.
17. B.P. Miller, L. Fredriksen, and B. So. An Empirical Study of the Reliability of UNIX Utilities. Communications of the Association for Computing Machinery, 33(12):32-44, 1990.
18. B.P. Miller, D. Koski, C.P. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. Steidl. Fuzz Revisited: A Reexamination of the Reliability of UNIX Utilities and Services. Technical Report CS-TR-1995-1268, University of Wisconsin, 1995.
19. R. Motwani and P. Raghavan. Randomized Algorithms. Cambridge University Press, Cambridge, UK, 1995.
20. S.E. Perl and R.L. Sites. Studies of Windows NT Performance Using Dynamic Execution Traces. In Operating Systems Design and Implementation, pages 169-183, 1996.
21. M. Rosenblum, E. Bugnion, S.A. Herrod, E. Witchel, and A. Gupta. The Impact of Architectural Trends on Operating System Performance. In Symposium on Operating Systems Principles, pages 285-298, 1995.
22. S.D. Silvey. Statistical Inference. Chapman and Hall, London, UK, 1975.
23. M. Sullivan and R. Chillarege. Software Defects and Their Impact on System 118 Availability - A Study of Field Failures in Operating Systems. In 21st International Symposium on Fault Tolerant Computing, June 1991.
24. M. Sullivan and R. Chillarege. A Comparison of Software Defects in Database Management Systems and Operating Systems. In 22nd International Symposium on Fault-Tolerant Computing, July 1992.
25. D. Wagner, J. Foster, E. Brewer, and A. Aiken. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. In The 2000 Network and Distributed Systems Security Conference. San Diego, CA, February 2000.
26. Z. Xu, R. Kalbarczyk, and Iyer. Networked Windows NT System Filed Failure Data Analysis. In Proc. of Pacific Rim International Symposium on Dependable Computing, 1999.