Dynamic optimization for efficient strong atomicity

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 181-193

  Schneider, Florian T ^a   Menon, Vijay ^b   Shpeisman, Tatiana ^c   Adl Tabatabai, Ali Reza ^c  

^a ETH ZURICH   (Switzerland)

^b GOOGLE INC   (United States)

^c INTEL CORPORATION   (United States)

Author keywords

Algorithms; Design; Experimentation; Languages; Measurement; Performance

Indexed keywords

DYNAMIC LANGUAGES; DYNAMIC OPTIMIZATIONS; EXPERIMENTATION; JAVA SYSTEMS; JAVA WORKLOADS; LANGUAGES; MEMORY ACCESS; MEMORY MODELS; PERFORMANCE; RECOVERY MECHANISMS; SAFE CODES; SCALABLE SOLUTIONS; SPECIALIZED HARDWARES; TRANSACTIONAL MEMORIES; TYPE SYSTEMS; WHOLE-PROGRAM ANALYSIS;

CODES (SYMBOLS); COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; CONCURRENCY CONTROL; INSTRUMENTS; LINGUISTICS; MEASUREMENTS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; REAL TIME SYSTEMS; SEMANTICS; STORAGE ALLOCATION (COMPUTER);

JAVA PROGRAMMING LANGUAGE;

EID: 63549088655     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449779     Document Type: Conference Paper

References (37)

1. ABADI, M., BIRRELL, A., HARRIS, T., AND ISARD, M. Semantics of transactional memory and automatic mutual exclusion. In POPL 2008.
2. ADL-TABATABAI, A.-R., LEWIS, B. T., MENON, V. S., MURPHY, B. R., SAHA, B., AND SHPEISMAN, T. Compiler and runtime support for efficient software transactional memory. In PLDI 2006.
3. BLUNDELL, C., LEWIS, E. C., AND MARTIN, M. Subtleties of transactional memory atomicity semantics. Computer Architecture Letters 5, 2 (Nov. 2006).
4. BORISOV, N., JOHNSON, R., SASTRY, N., AND WAGNER, D. Fixing races for fun and profit: how to abuse atime. In SSYM 2005 (Berkeley, CA, USA, 2005), USENIX Association, pp. 20-20.
5. BOYAPATI, C., LEE, R., AND RINARD, M. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA 2002.
6. BOYAPATI, C., SALCIANU, A., WILLIAM BEEBEE, J., AND RINARD, M. Ownership types for safe region-based memory management in real-time Java. In PLDI 2003 (2003).
7. CHOI, J.-D., GUPTA, M., SERRANO, M. J., SREEDHAR, V. C., AND MIDKIFF, S. P. Stack allocation and synchronization optimizations for Java using escape analysis. ACM Trans. Program. Lang. Syst. 25, 6 (2003).
8. CHOI, J.-D., LEE, K., LOGINOV, A., O'CALLAHAN, R., SARKAR, V., AND SRIDHARAN, M. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI 2002.
9. CLARKE, D., RICHMOND, M., AND NOBLE, J. Saving the world from bad beans: deployment-time confinement checking. In OOPSLA 2003.
10. CLARKE, D. G., POTTER, J. M., AND NOBLE, J. Ownership types for flexible alias protection. In OOPSLA 1998.
11. DEAN, J., GROVE, D., AND CHAMBERS, C. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP 1995.
12. DOLBY, J., AND CHIEN, A. An automatic object inlining optimization and its evaluation. In PLDI 2000.
13. GROSSMAN, D., MANSON, J., AND PUGH, W. What do high-level memory models mean for transactions? In MSPC 2006.
14. HARRIS, T., AND FRASER, K. Language support for lightweight transactions. In OOPSLA 2003.
15. HARRIS, T., MARLOW, S., JONES, S. P., AND HERLIHY, M. Composable memory transactions. In PPoPP 2005.
16. HARRIS, T., PLESKO, M., SHINNAR, A., AND TARDITI, D. Optimizing memory transactions. In PLDI 2006.
17. HEINE, D. L., AND LAM, M. S. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In PLDI 2003.
18. HERLIHY, M., AND MOSS, J. E. B. Transactional memory: architectural support for lock-free data structures. In ISCA 1993.
19. HINDMAN, B., AND GROSSMAN, D. Atomicity via sourceto-source translation. In MSPC 2006.
20. HINDMAN, B., AND GROSSMAN, D. Strong atomicity for Java without virtual-machine support. Tech. Rep. UW-CSE- 06-05-01, May 2006.
21. INTEL CORPORATION. Intel 64 and IA-32 Architectures Software Developer's Manual Volume 3A: System Programming Guide.
22. ISHIZAKI, K., KAWAHITO, M., YASUE, T., KOMATSU, H., AND NAKATANI, T. A study of devirtualization techniques for a Java just-in-time compiler. In OOPSLA 2000.
23. KOTZMANN, T., AND MÖSSENBÖCK, H. Escape analysis in the context of dynamic compilation and deoptimization. In VEE 2005.
24. LHOT́K, O., AND HENDREN, L. Run-time evaluation of opportunities for object inlining in Java. In JGI '02: Proc. of the conf. on Java Grande.
25. MENON, V., BALENSIEFER, S., SHPEISMAN, T., ADL- TABATABAI, A.-R., HUDSON, R. L., SAHA, B., ANDx WELC, A. Practical weak-atomicity semantics for Java STM. In SPAA 2008.
26. MOORE, K. F., AND GROSSMAN, D. High-level small-step operational semantics for transactions. In POPL 2008.
27. NAIK, M., AIKEN, A., AND WHALEY, J. Effective static race detection for Java. In PLDI 2006.
28. PECHTCHANSKI, I., AND SARKAR, V. Dynamic optimistic interprocedural analysis: a framework and an application. In OOPSLA 2001.
29. SAVAGE, S., BURROWS, M., NELSON, G., SOBALVARRO, P., AND ANDERSON, T. Eraser: a dynamic data race detector for multi-threaded programs. In SOSP 1997.
30. SHPEISMAN, T., MENON, V., ADL-T ABATABAI, A.-R., BALENSIEFER, S., GROSSMAN, D., HUDSON, R. L., MOORE, K. F., AND SAHA, B. Enforcing isolation and ordering in STM. In PLDI 2007.
31. STANDARD PERFORMANCE EVALUATION CORPORATION. SPEC JVM98, 1998. See http://www.spec.org/jvm98.
32. STANDARD PERFORMANCE EVALUATION CORPORATION. SPEC JBB2000, 2000. See http://www.spec.org/jbb2000.
33. VITEK, J., AND BOKOWSKI, B. Confined types. In OOPSLA 1999.
34. VIVIEN, F., AND RINARD, M. Incrementalized pointer and escape analysis. In PLDI 2001 (2001).
35. VON PRAUN, C., AND GROSS, T. R. Object race detection. In OOPSLA 2001.
36. VON PRAUN, C., AND GROSS, T. R. Static conflict analysis for multi-threaded object-oriented programs. In PLDI 2003.
37. WIMMER, C., AND MÖSSENBÖCK, H. Automatic feedbackdirected object inlining in the Java Hotspot virtual machine. In VEE 2007.