Kivati: Fast detection and prevention of atomicity violations

EuroSys'10 - Proceedings of the EuroSys 2010 Conference

Volumn , Issue , 2010, Pages 307-319

  Chew, Lee ^a   Lie, David ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

atomicity violation; kivati; watchpoint

Indexed keywords

COMMODITY PROCESSORS; CONCURRENT PROGRAM; KEY ATTRIBUTES; LOW OVERHEAD; PRODUCTION ENVIRONMENTS; REAL APPLICATIONS; RUNTIMES;

PROGRAM DEBUGGING; SOFTWARE PROTOTYPING;

CRIME;

EID: 77954593673     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1755913.1755945     Document Type: Conference Paper

References (26)

1. L. Ceze, J. Tuck, P. Montesinos, and J. Torrellas. BulkSC: bulk enforcement of sequential consistency. In Proceedings of the 34th International Symposium on Computer Architecture (ISCA), pages 278-289, June 2007.
2. J. Devietti, B. Lucia, L. Ceze, and M. Oskin. DMP: deterministic shared memory multiprocessing. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 85-96, Mar. 2009.
3. G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen. Execution replay of multiprocessor virtual machines. In Proceedings of the 4th International Conference on Virtual Execution Environments (VEE), pages 121-130, Mar. 2007.
4. 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), pages 237-252, Oct. 2003.
5. C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 256-267, Jan. 2004.
6. C. Flanagan and S. N. Freund. FastTrack: efficient and precise dynamic race detection. In Proceedings of the 2009 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pages 121-133, June 2009.
7. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In Proceedings of the 2003 ACMSIGPLAN conference on Programming Language Design and Implementation (PLDI), pages 338-349, June 2003.
8. C. Flanagan, S. N. Freund, and J.Yi. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pages 293-303, June 2008.
9. M. Herlihy and J. E. B. Moss. Transactional memory: architectural support for lock-free data structures. In Proceedings of the 20th International Symposium on Computer Architecture (ISCA), pages 289-300, May 1993.
10. H. Jula, D. M. Tralamazza, C. Zamfir, and G. Candea. Deadlock immunity: enabling systems to defend against deadlocks. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI), pages 295-308, Dec. 2008.
11. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
12. R. J. Lipton. Reduction: a new method of proving properties of systems of processes. In Proceedings of the 2nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 78-86, Jan. 1975.
13. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: detecting atomicity violations via access interleaving invariants. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 37-48, Oct. 2006.
14. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 329-339, Mar. 2008.
15. B. Lucia, J. Devietti, K. Strauss, and L. Ceze. Atom-Aid: Detecting and surviving atomicity violations. In Proceedings of the 35th International Symposium on Computer Architecture (ISCA), pages 277-288, June 2008.
16. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing Heisenbugs in concurrent programs. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI), pages 267-280, Dec. 2008.
17. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: intermediate language and tools for analysis and transformation of C programs. In CC'02: Proceedings of the 11th International Conference on Compiler Construction, pages 213-228. Springer-Verlag, 2002.
18. M. Olszewski, J. Ansel, and S. P. Amarasinghe. Kendo: efficient deterministic multithreading in software. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 97-108, Mar. 2009.
19. S. Park, S. Lu, and Y. Zhou. CTrigger: exposing atomicity violation bugs from their hiding places. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 25-36, Mar. 2009.
20. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: treating bugs as allergies - a safe method to survive software failure. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP), pages 235-248, Oct. 2005.
21. A. Sasturkar, R. Agarwal, L. Wang, and S. D. Stoller. Automated type-based analysis of data races and atomicity. In Proceedings of the 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), pages 83-94, June 2005.
22. K. Sen. Race directed random testing of concurrent programs. In Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pages 11-21, June 2008.
23. Y.Wang, T. Kelly,M. Kudlur, S. Lafortune, and S. A.Mahlke. Gadara: dynamic deadlock avoidance for multithreaded programs. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI), pages 281-294, Dec. 2008.
24. E. Witchel, J. Cates, and K. Asanović. Mondrian memory protection. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 304-316. ACM, 2002.
25. M. Xu, R. Bodík, and M. D. Hill. A serializability violation detector for shared-memory server programs. In Proceedings of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pages 1-14, June 2005.
26. J. Yu and S. Narayanasamy. A case for an interleaving constrained shared-memory multi-processor. In Proceedings of the 36th International Symposium on Computer Architecture (ISCA), pages 325-336, July 2009.