Goldilocks: A race-aware Java runtime

Communications of the ACM

Volumn 53, Issue 11, 2010, Pages 85-92

  Elmas, Tayfun ^a   Qadeer, Shaz ^b   Tasiran, Serdar ^a  

^a KOÇ UNIVERSITY   (Turkey)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL OVERHEADS; DATA RACES; DEBUGGING TOOLS; JAVA MEMORY MODEL; MULTI-THREADED JAVA PROGRAMS; PROGRAM EXECUTION; RACE CONDITION; RACE DETECTION; RUNTIMES; SAFETY FEATURES; SYNCHRONIZATION PATTERNS;

COMPUTER SOFTWARE; ERRORS; PROGRAM DEBUGGING;

JAVA PROGRAMMING LANGUAGE;

EID: 78149249092     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1839676.1839698     Document Type: Article

References (20)

1. A badi, M, Flanagan, C., Freund, S.N. Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. (2006).
2. Boehm, H.-J., Adve, S.V. Foundations of the C++ concurrency memory model. In Proceedings of the 2008 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI 2008)
3. Cheng, G.-I., Feng, M., Leiserson, C.E., Randall, K.H., Stark, A.F. Detecting data races in Cilk programs that use locks. In ACM Symposium on Parallel Algorithms and Architectures (SPAA 1998).
4. Christiaens, M. De Bosschere, K. TRaDe: Data race detection for Java. Proc. Intl. Conference on Computational Science. V. Alexandrov, J. Dongarra, B. Juliano, R. Renner, and C. Tan, eds. (ICCS 2001).
5. Elmas, T., Qadeer, S., Tasiran, S. Goldilocks: Efficiently computing the happens-before relation using locksets. Technical Report MSRTR-2006-2163, Microsoft Research (2006).
6. Elmas, T., Qadeer, S., Tasiran, S. Goldilocks: A race and transactionaware java runtime. In Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2007).
7. Flanagan, C., Freund, S.N. FastTrack: Efficient and precise dynamic race detection. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009).
8. Flanagan, C., Freund, S.N. The RoadRunner dynamic analysis framework for concurrent programs, In ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE 2010).
9. Lucia, B., Ceze, L., Strauss, K., Qadeer, S., Boehm H.-J. Conflict exceptions: Simplifying concurrent language semantics with precise hardware exceptions for data-races. In Proceedings of the 37th International Symposium on Computer Architecture (ISCA 2010).
10. Manson, J., Pugh, W., Adve, S.V. The Java memory model. In Proceedings of the 32nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POP L 2005).
11. Marino, D., Singh, A., Millstein, T., Musuvathi, M., Narayanasamy, S. DRFx: A simple and efficient memory model for concurrent programming languages. In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2010).
12. Mattern, F. Virtual time and global states of distributed systems. In Proceedings of the International Workshop on Parallel and Distributed Algorithms (1988).
13. Naik, M., Aiken, A., Whaley, J. Effective static race detection for Java. In Proceedings 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2006).
14. Pozniansky, E., Schuster, A. Multirace: Efficient on-the-fly data race detection in multithreaded C++ programs: Research articles. Concurr. Comput. Pract. Exp. (2007).
15. Ronsse, M., Bosschere, K.D. RecPlay: A fully integrated practical record/replay system. ACM Trans. Comput. Syst. (1999).
16. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T. Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. (1997).
17. Schonberg, E. On-the-fly detection of access anomalies. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1989).
18. Shavit, N., Touitou, D. Software transactional memory. In Symposium on Principles of Distributed Computing (1995).
19. Wilkinson, T. Kaffe: A JIT and interpreting virtual machine to run Java code. http://www.transvirtual. com (1998).
20. Yu, Y., Rodeheffer, T., Chen, W. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP 2005).