Views: Object-inspired concurrency control

Proceedings - International Conference on Software Engineering

Volumn 1, Issue , 2010, Pages 395-404

  Demsky, Brian ^a   Lam, Patrick ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

concurrency; language design; static verification

Indexed keywords

BENCHMARK APPLICATIONS; BITTORRENT; DATA RACES; LANGUAGE DESIGN; LOCKING SCHEMES; NEW APPROACHES; RACE CONDITION; STATIC VERIFICATION;

BENCHMARKING; COMPUTER SOFTWARE; COMPUTER SYSTEM FIREWALLS; LINGUISTICS;

CONCURRENCY CONTROL;

EID: 77954708873     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806799.1806858     Document Type: Conference Paper

References (18)

1. M. Abadi, C. Flanagan, and S. N. Freund. Types for safe locking: Static race detection for Java. ACM Transactions on Programming Languages and Systems (TOPLAS), 28(2):207-255, March 2006.
2. D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2000.
3. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2002.
4. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2001.
5. J. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM Conference on Programming Language Design and Implementation, 2002.
6. M. Emmi, J. S. Fischery, R. Jhala, and R. Majumdar. Lock allocation. In Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007.
7. D. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, 2003.
8. R. L. Halpert, C. J. Pickett, and C. Verbrugge. Component-based lock allocation. In Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques, 2007.
9. M. Hicks, J. S. Foster, and P. Pratikakis. Lock inference for atomic sections. In TRANSACT, 2006.
10. R. Karp. Reducibility among combinatorial problems. In Proceedings of a Symposium on the Complexity of Computer Computations, 1972.
11. J. A. Korty. Sema: A lint-like tool for analyzing semaphore usage in a multithreaded UNIX kernel. In Proceedings of the USENIX Winter Technical Conference, 1989.
12. Y. Lev, V. Luchangco, and M. Olszewski. Scalable reader-writer locks. In Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, pages 101-110, New York, NY, USA, 2009. ACM.
13. D. Marino, M. Musuvathi, and S. Narayanasamy. LiteRace: Effective sampling for lightweight data-race detection. In Proceedings of the 2009 ACM SIGPLAN conference on Programming Language Design and Implementation, 2009.
14. N. Nystrom, M. R. Clarkson, and A. C. Myers. Polyglot: An extensible compiler framework for Java. In Proceedings of the 12th International Conference on Compiler Construction, 2003.
15. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. In Proceedings of the Symposium on Operating Systems Principles, 1997.
16. N. Sterling. Warlock: A static data race analysis tool. In Proceedings of the USENIX Winter Technical Conference, 1993.
17. C. von Praun and T. Gross. Object-race detection. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2001.
18. Y. Zhang, V. C. Sreedhar, W. Zhu, V. Sarkar, and G. R. Gao. Minimum lock assignment: A method for exploiting concurrency among critical sections. In Proceedings of the International Workshop on Languages and Compilers for Parallel Computing, 2007.