Finding concurrency errors in sequential code -OS-level, In-vivo model checking of process races

13th Workshop on Hot Topics in Operating Systems, HotOS 2011

Volumn , Issue , 2011, Pages

  Laadan, Oren ^a   Tsai, Chia Che ^a   Viennot, Nicolas ^a   Blinn, Chris ^a   Du, Peter Senyao ^a   Yang, Junfeng ^a   Nieh, Jason ^a  

^a Howard Hughes Medical Institute   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY ERRORS; DEPLOYED SYSTEMS; FIRST SYSTEMS; IN-VIVO; RESEARCH COMMUNITIES; SEQUENTIAL PROCESS; SHARED RESOURCES;

MODEL CHECKING;

EID: 85013280687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. All resource races studied. http://rcs.cs.columbia.edu/projects/racepro/.
2. The Debian Almquist Shell. http://gondor.apana.org.au/-herbert/dash/.
3. Launchpad software collaboration platform. https://launchpad.net/.
4. Upstart, an event-based replacement for System V init scripts. http://upstart.ubuntu.com/.
5. A. Aviram, S.-C. Weng, S. Hu, and B. Ford. Efficient system-enforced deterministic parallelism. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI'10), Oct. 2010.
6. J. Chow, T. Garfinkel, and P. M. Chen. Decoupling dynamic program analysis from execution in virtual environments. In Proceedings of the USENIX Annual Technical Conference (USENIX'08), June 2008.
7. M. Chu, C. Murphy, and G. Kaiser. Distributed in vivo testing of software applications. In First IEEE International Conference on Software Testing, Verification, and Validation, April 2008.
8. D. Engler and K. Ashcraft. Racerx: Effective, static detection of race conditions and deadlocks. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP'03), pages 237-252, Oct. 2003.
9. O. Laadan, N. Viennot, and J. Nieh. Transparent, lightweight application execution replay on commodity multiprocessor operating systems. In Proceedings of the ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (SIGMETRICS'10), June 2010.
10. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In Thirteenth International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'08), Mar. 2008.
11. K. Sen. Race directed random testing of concurrent programs. In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI'08), June 2008.
12. M. Yabandeh, N. Knezevic, D. Kostic, and V. Kuncak. CrystalBall: Predicting and preventing inconsistencies in deployed distributed systems. In Proceedings of the Sixth Symposium on Networked Systems Design and Implementation (NSDI'09), Apr. 2009.
13. Y. Yu, T. Rodeheffer, and W. Chen. RaceTrack: efficient detection of data race conditions via adaptive tracking. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05), Oct. 2005.