ColorSafe: Architectural support for debugging and dynamically avoiding multi-variable atomicity violations

Proceedings - International Symposium on Computer Architecture

Volumn , Issue , 2010, Pages 222-233

  Lucia, Brandon ^a   Ceze, Luis ^a   Strauss, Karin ^b  

^a UNIVERSITY OF WASHINGTON   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Atomicity violations; Bug avoidance; Concurrency errors; Data coloring; Debugging; Multi variable

Indexed keywords

ACCESS HISTORY; ARCHITECTURAL SUPPORT; ATOMICITY VIOLATIONS; COLOR INFORMATION; COLOR SPACE; CONCURRENCY ERRORS; FALSE POSITIVE; INTERLEAVINGS; MODES OF OPERATION; MULTI VARIABLES;

COLOR; COMPUTERS; CRIME; ERRORS;

COMPUTER ARCHITECTURE;

EID: 77954976030     PISSN: 10636897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1815961.1815988     Document Type: Conference Paper

References (33)

1. Advanced Synchronization Facility: Proposed Architectural Specification. http://developer.amd.com/assets/45432-ASF-Spec-2.1.pdf, March 2009.
2. L. Ceze, J. Tuck, C. Cascaval, and J. Torrellas. Bulk Disambiguation of Speculative Threads in Multiprocessors. In International Symposium on Computer Architecture, 2006.
3. L. Ceze, J. Tuck, P. Montesinos, and J. Torrellas. BulkSC: Bulk Enforcement of Sequential Consistency. In International Symposium on Computer Architecture, 2007.
4. L. Ceze, P. Montesinos, C. von Praun, and J. Torrellas. Colorama: Architectural Support for Data-Centric Synchronization. In International Symposium on High-Performance Computer Architecture, 2007.
5. A. Chang and M. Mergen. 801 Storage: Architecture and Programming. ACM Transactions Computer Systems, February 1988.
6. M. Dalton, H. Kannan, and C. Kozyrakis. Raksha: A Flexible Information Flow Architecture for Software Security. In International Symposium on Computer Architecture, 2007.
7. C. Flanagan and S. Qadeer. A Type and Effect System for Atomicity. In Conference on Programming Language Design and Implementation, 2003.
8. C. Hammer, J. Dolby, M. Vaziri, and F. Tip. Dynamic Detection of Atomic-Set-Serializability Violations. In International Conference on Software Engineering, 2008.
9. L. Hammond, V. Wong, M. Chen, B. Carlstrom, J. Davis, B. Hertzberg, M. Prabhu, H. Wijaya, C. Kozyrakis, and K. Olukotun. Transactional Memory Coherence and Consistency. In International Symposium on Computer Architecture, 2004.
10. C. Hoare. Monitors-An Operating System Structuring Concept. Communications of the ACM, 1974.
11. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In International Conference on Architectural Support for Programming Languages and Operating Systems, 2006.
12. S. Lu, S. Park, C. Hu, X. Ma, W. Jiang, Z. Li, R. Popa, and Y. Zhou. MUVI: Automatically Inferring Multi-variable Access Correlations and Detecting Related Semantic and Concurrency Bugs. In Symposium on Operating System Principles, 2007.
13. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from Mistakes-A Comprehensive Study on Real World Concurrency Bug Characteristics. In International Conference on Architectural Support for Programming Languages and Operating Systems, 2008.
14. B. Lucia, J. Devietti, K. Strauss, and L. Ceze. Atom-Aid: Detecting and Surviving Atomicity Violations. In International Symposium on Computer Architecture, 2008.
15. B. Lucia and L. Ceze. Finding Concurrency Bugs With Context-Aware Communication Graphs. In International Symposium on Microarchitecture, 2009.
16. C. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. Reddi, and K. Hazelwood. PIN: Building Customized Program Analysis Tools with Dynamic Instrumentation. In Conference on Programming Language Design and Implementation, 2005.
17. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: Synchronization Inference for Atomic Sections. In Symposium on Principles of Programming Languages, 2006.
18. M. Musuvathi and S. Qadeer. CHESS: Systematic Stress Testing of Concurrent Software. In International Symposium on Logic-based Program Synthesis and Transformation, 2006.
19. M. Prvulovic and J. Torrellas. ReEnact: Using Thread-Level Speculation Mechanisms to Debug Data Races in Multithreaded Codes. In International Symposium on Computer Architecture, 2003.
20. S. Rajamani, G. Ramalingam, V. Ranganath, and K. Vaswani. ISOLATOR: Dynamically Ensuring Isolation in Concurrent Programs. In International Conference on Architectural Support for Programming Languages and Operating Systems, 2009.
21. P. Ratanaworabhan, M. Burtscher, D. Kirovski, B. Zorn, R. Nagpal, and K. Pattabiraman. Detecting and Tolerating Asymmetric Races. In Annual Symposium on Principles and Practice of Parallel Programming, 2009.
22. M. Ronsee and K. De Bosschere. RecPlay: A Fully Integrated Practical Record/Replay System. Transactions on Computer Systems, 1999.
23. D. Sanchez, L. Yen, M. Hill, and K. Sankaralingam. Implementing Signatures for Transactional Memory. In International Symposium on Microarchitecture, 2007.
24. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. Transactions on Computer Systems, 1997.
25. E. Vallejo, M. Galluzzi, A. Cristal, F. Vallejo, R. Beivide, P. Stenstrom, J. Smith, and M. Valero. Implementing Kilo-Instruction Multiprocessors. In International Conference on Pervasive Services, 2005.
26. M. Vaziri, F. Tip, and J. Dolby. Associating Synchronization Constraints with Data in an Object-Oriented Language. In Symposium on Principles of Programming Languages, 2006.
27. C. von Praun and T. Gross. Object Race Detection. In Conference on Object-Oriented Programming Systems, Languages and Applications, 2001.
28. T. Wenisch, A. Ailamaki, B. Falsafi, and A. Moshovos. Mechanisms for Store-wait-free Multiprocessors. In International Symposium on Computer Architecture, 2007.
29. E. Witchel, J. Cates, and K. Asanovic. Mondrian Memory Protection. In International Conference on Architectural Support for Programming Languages and Operating Systems, 2002.
30. M. Xu, R. Bodik, and M. Hill. A Serializability Violation Detector for Shared-Memory Server Programs. In Conference on Programming Language Design and Implementation, 2005.
31. J. Yu and S. Narayanasamy. A Case for an Interleaving Constrained Shared-Memory Multi-Processor. In International Symposium on Computer Architecture, 2009.
32. N. Zeldovich, H. Kannan, M. Dalton, and C. Kozyrakis. Hardware Enforcement of Application Security Policies Using Tagged Memory. In Symposium on Operating Systems Design and Implementation, 2008.
33. P. Zhou, R. Teodorescu, and Y. Zhou. HARD: Hardware-Assisted Lockset-based Race Detection. In International Symposium on High-Performance Computer Architecture, 2007.