A case for an interleaving constrained shared-memory multi-processor

Proceedings - International Symposium on Computer Architecture

Volumn , Issue , 2009, Pages 325-336

  Yu, Jie ^a   Narayanasamy, Satish ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Concurrency bugs; Multiprocessors; Parallel programming; Software reliability

Indexed keywords

CONCURRENCY BUGS; DATA RACES; INTERLEAVINGS; MOZILLA; MULTI-THREADED PROGRAMS; MULTIPROCESSORS; MULTITHREADED; OPEN SOURCE APPLICATION; PERFORMANCE COSTS; PRODUCTION SYSTEM; ROOT CAUSE; RUNTIMES; SHARED MEMORIES; SHARED MEMORY MULTIPROCESSOR; SINGLE-THREADED;

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTERS; MULTIPROCESSING SYSTEMS; PARALLEL PROGRAMMING; PROGRAM DEBUGGING; QUALITY ASSURANCE;

SOFTWARE RELIABILITY;

EID: 70450285526     PISSN: 10636897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1555754.1555796     Document Type: Conference Paper

References (25)

1. The open source database benchmark. http://osdb.sourceforge.net/.
2. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The parsec benchmark suite: Characterization and architectural implications. In Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, October 2008.
3. M. Corliss, E. Lewis, and A. Roth. Dise: A programmable macro engine for customizing applications. In 30th Annual International Symposium on Computer Architecture, San Diego, CA, June 2003.
4. J. Devietti, B. Lucia, L. Ceze, and M. Oskin. Dmp: deterministic shared memory multiprocessing. In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems, pages 85-96, New York, NY, USA, 2009. ACM.
5. C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 256-267, 2004.
6. L. Hammond, B. D. Carlstrom, V. Wong, B. Hertzberg, M. Chen, C. Kozyrakis, and K. Olukotun. Programming with transactional coherence and consistency (tcc). In ASPLOS-XI: Proceedings of the 11th international conference on Architectural support for programming languages and operating systems, pages 1-13, New York, NY, USA, 2004. ACM Press.
7. M. Herlihy, V. Luchangco, M. Moir, and W.N. Scherer. Software transactional memory for dynamic-sized data structures. In Twenty-Second ACM SIGACT-SIGOPS Symposium on Princicples of Distributed Computing, 2003.
8. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
9. S. Lu, S. Park, C. Hu, X. Ma, W. Jiang, Z. Li, R. A. Popa, and Y. Zhou. Muvi: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), 2007.
10. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In 13th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS'08), 2008.
11. S. Lu, J. Tucek, F. Qin, and Y. Zhou. Avio: detecting atomicity violations via access interleaving invariants. In ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, pages 37-48, 2006.
12. B. Lucia, J. Devietti, K. Strauss, and L. Ceze. Atom-aid: Detecting and surviving atomicity violations. In ISCA '08: Proceedings of the 35th International Symposium on Computer Architecture, pages 277-288, Washington, DC, USA, 2008. IEEE Computer Society.
13. C. K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: Building customized program analysis tools with dynamic instrumentation. In Programming Language Design and Implementation, Chicago, IL, June 2005.
14. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. Automatically classifying benign and harmful data races using replay analysis. In ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI), June 2007.
15. R. H. B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs. In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, pages 1-11, 1993.
16. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: efficient deterministic multithreading in software. In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems, pages 97-108, New York, NY, USA, 2009. ACM.
17. M. Prvulovic and J. Torrelas. Reenact: Using thread-level speculation mechanisms to debug data races in multithreaded codes. In 30th Annual International Symposium on Computer Architecture, San Diego, CA, June 2003.
18. M. Prvulovic, Z. Zhang, and J. Torrellas. Revive: Cost effective architectural support for rollback recovery in shared-memory multiprocessors. In Proceedings of the 29th Annual International Symposium on Computer architecture, pages 111-122. IEEE Computer Society, 2002.
19. S. Qadeer. Taming concurrency: A program verification perspective. In Invited Lecture. International Conference on Concurrency Theory (CONCUR), Aug 2008.
20. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: treating bugs as allergies - a safe method to survive software failures. In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, pages 235-248, New York, NY, USA, 2005. ACM.
21. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
22. D. J. Sorin, M. M. K. Martin, M. D. Hill, and D. A. Wood. Safetynet: Improving the availability of shared-memory multiprocessors with global checkpoint/recovery. In Proceedings of the 29th Annual International Symposium on Computer Architecture, pages 123-134, 2002.
23. Y. Wang, T. Kelly, M. Kudlur, S. Lafortune, and S. A. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In OSDI '08: Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, December 2008.
24. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The splash-2 programs: Characterization and methodological considerations. In 22nd Annual International Symposium on Computer Architecture, pages 24-36, 1995.
25. M. Xu, R. Bodik, and M. D. Hill. A serializability violation detector for shared-memory server programs. In ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.