Loci: Simple thread-locality for java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5653 LNCS, Issue , 2009, Pages 445-469

  Wrigstad, Tobias ^a   Pizlo, Filip ^a   Meawad, Fadi ^a   Zhao, Lei ^a   Vitek, Jan ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPILE TIME; JAVA PROGRAM; LEGACY CODE; LOCAL DATA; PLUG-INS; SIMPLE TYPES;

COMPUTER SOFTWARE; METADATA; OBJECT ORIENTED PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 69949148856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03013-0_21     Document Type: Conference Paper

References (35)

1. Java theory and practice: Synchronization optimizations in mustang, http://www-128.ibm.com/developerworks/java/library/j-jtp10185/
2. Aldrich, J., Chambers, C., Sirer, E.G., Eggers, S.J.: Static analyses for eliminating unnecessary synchronization from Java programs. In: SAS, pp. 19-38 (1999)
3. Bacon, D.F., Konuru, R., Murthy, C., Serrano, M.: Thin locks: Featherweight synchronization for Java. In: PLDI, pp. 258-268 (1998)
4. Bacon, D.F., Strom, R.E., Tarafdar, A.: Guava: a dialect of Java without data races. In: OOPSLA, pp. 382-400 (2000)
5. Blackburn, S.M., et al.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA, pp. 169-190 (2006)
6. Blanchet, B.: Escape analysis for object-oriented languages: application to Java. In: OOPSLA, pp. 20-34 (1999)
7. Bogda, J., Hölzle, U.: Removing unnecessary synchronization in Java. In: OOPSLA, pp. 35-46 (1999)
8. Borman, S.: Sensible sanitation - understanding the IBM Java garbage. IBM DeveloperWorks (August 2002)
9. Boyapati, C., Lee, R., Rinard, M.: Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In: OOPSLA, pp. 211-230 (2002)
10. Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. In: OOPSLA, pp. 1-19 (1999)
11. Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Stack allocation and synchronization optimizations for Java using escape analysis. ACM Trans. Program. Lang. Syst. 25(6), 876-910 (2003)
12. Clarke, D.: Object Ownership and Containment. PhD thesis, University of New South Wales, Australia (2001)
13. Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 176-200. Springer, Heidelberg (2003)
14. Clarke, D., Wrigstad, T., Östlund, J., Johnsen, E.B.: Minimal Ownership for Active Objects. Technical Report SEN-R0803, CWI (2008)
15. Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA, pp. 48-64 (1998)
16. Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP 2007, September 2007, pp. 20-51 (2007)
17. Domani, T., Goldshtein, G., Kolodner, E.K., Lewis, E., Petrank, E., Sheinwald, D.: Thread-local heaps for Java. In: ISMM, pp. 76-87 (2002)
18. Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: Static checking and inference for Java. ACM TOPLAS 30(4), 1-53 (2008)
19. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI, pp. 338-349 (2003)
20. Goetz, B.: Java theory and practice: Urban performance legends, revisited. IBM DeveloperWorks (September 2005)
21. Jikes RVM homepage, http://jikesrvm.org/
22. Joisha, P.G.: Compiler optimizations for nondeferred reference: counting garbage collection. In: ISMM, pp. 150-161 (2006)
23. Müller, P.: Modular Specification and Verification of Object-Oriented Programs. Springer, Heidelberg (2002)
24. Noble, J., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 158-185. Springer, Heidelberg (1998)
25. OpenJDK, http://openjdk.java.net/
26. ÖOstlund, J., Wrigstad, T., Clarke, D., Åkerblom, B.: Ownership, uniqueness and immutability. In: TOOLS (2007)
27. Pizlo, F., Hosking, A.L., Vitek, J.: Hierarchical real-time garbage collection. In: LCTES, pp. 123-133 (2007)
28. Potanin, A.: Generic Ownership - A Practical Approach to Ownership and Confinement in OO Programming Languages. PhD thesis, Victoria University of Wellington (2007)
29. Russell, K., Detlefs, D.: Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. In: OOPSLA, pp. 263-272 (2006)
30. Spring, J.H., Privat, J., Guerraoui, R., Vitek, J.: StreamFlex: High-throughput Stream Programming in Java. In: OOPSLA, pp. 211-228 (2007)
31. Srinivasan, S., Mycroft, A.: Kilim: Isolation-typed actors for java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 104-128. Springer, Heidelberg (2008)
32. Steensgaard, B.: Thread-specific heaps for multi-threaded programs. In: ISMM, pp. 18-24 (2000)
33. Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput. 115(1), 38-94 (1994)
34. Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Kista, Stockholm (2006)
35. Wrigstad, T., Clarke, D.: Existential owners for ownership types. Journal of Object Technology 4(6), 141-159 (2007)