Object equality profiling

ACM SIGPLAN Notices

Volumn 38, Issue 11, 2003, Pages 313-325

  Marinov, Darko ^a   O'Callahan, Robert ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Java language; Object equality; Object mergeability; Profile guided optimization; Profiling; Space savings

Indexed keywords

ALGORITHMS; DATA STORAGE EQUIPMENT; GRAPH THEORY; JAVA PROGRAMMING LANGUAGE; MERGING; OPTIMIZATION; PROGRAM PROCESSORS; SOFTWARE ENGINEERING; STORAGE ALLOCATION (COMPUTER);

OBJECT EQUALITY PROFILING; OBJECT MERGEABILITY; PROFILE-GUIDED OPTIMIZATION;

OBJECT ORIENTED PROGRAMMING;

EID: 1442288490     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/949343.949333     Document Type: Conference Paper

References (41)

1. U. A. Acar, G. E. Blelloch, and R. Harper. Selective memorization. In 30th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 14-25, New Orleans, LA, Jan. 2003.
2. O. Agesen, D. Detlefs, A. Garthwaite, R. Knippel, Y. S. Ramakrishna, and D. White. An efficient meta-lock for implementing ubiquitous synchronization. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 207-222. ACM Press, 1999.
3. O. Agesen, D. Detlefs, and J. E. Moss. Garbage collection and local variable type-precision and liveness in Java virtual machines. In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, pages 269-279, 1998.
4. A. Aho, J. Hopcroft, and J. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
5. J. R. Allen. Anatomy of LISP. McGraw-Hill, NY, 1978.
6. B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting equality of variables in programs. In 15th Annual ACM Symposium on the Principles of Programming Languages, pages 1-11, January 1988. San Diego, CA.
7. C. S. Ananian and M. C. Rinard. Data size optimizations for Java programs. In 2003 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), San Diego, CA, June 2003.
8. A. W. Appel and M. J. R. Goncalves. Hash-consing garbage collection. Technical Report TR-412-93, Princeton University, Computer Science Department, Feb. 1993.
9. D. F. Bacon, S. J. Fink, and D. Grove. Space- and time-efficient implementation of the Java object model. In B. Magnusson, editor, Proceedings of the Sixteenth European Conference on Object-Oriented Programming, volume 2374 of Lecture Notes in Computer Science, pages 111-132, Málaga, Spain, June 2002. Springer-Verlag.
10. D. F. Bacon, R. Konuru, C. Murthy, and M. Serrano. Thin locks: Featherweight synchronization for Java. In SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 258-268, June 1998.
11. R. Bellman. Dynamic Programming. Princeton University Press, 1957.
12. R. S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, pages 3-42. Springer, 1987.
13. B. Blanchet. Escape analysis for object oriented languages: Application to Java. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado, November 1999.
14. M. Budiu, M. Sakr, K. Walker, and S. C. Goldstein. BitValue inference: Detecting and exploiting narrow bitwidth computations. In Proceedings of the 2000 Europar Conference, volume 1900 of Lecture Notes in Computer Science. Springer Verlag, 2000.
15. 2|V|). Theoretical Computer Science, 19(1):85-98, 1982.
16. G. Chen, M. Kandemir, N. Vijaykrishnan, M. J. Irwin, B. Mathiske, and M. Wolczko. Heap compression for memory-constrained java environments. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2003.
17. J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado, Nov. 1999.
18. S. Dieckman and U. Hölzle. The allocation behaviour of the SPECjvm98 Java benchmarks. In R. Eigenman, editor, Performance Evaluation and Benchmarking with Realistic Applications, chapter 3, pages 77-108. MIT Press, 2001.
19. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
20. D. Gay and B. Steensgaard. Fast escape analysis and stack allocation for object-based programs. In International Conference on Compiler Construction (CC'2000), pages 82-93, 2000.
21. O. Gheorghioiu, A. Salcianu, and M. C. Rinard. Interprocedural compatibility analysis for static object preallocation. In Proc. of the 30th Annual ACM Symposium on the Principles of Programming Languages, pages 273-284, Jan. 2003.
22. E. Goto. Monocopy and associative algorithms in an extended Lisp. Technical Report 74-03, Information Science Laboratory, University of Tokyo, Tokyo, Japan, May 1974.
23. M. Hertz, S. M. Blackburn, J. E. B. Moss, K. S. McKinley, and D. Stefanovic. Error-free garbage collection traces: how to cheat and not get caught. ACM SIGMETRICS Performance Evaluation Review, 30(1):140-151, 2002.
24. J. E. Hopcroft. An n log n algorithm for minimizing the states in a finite automation. In The Theory of Machines and Computations, pages 1989-196. Academic Press, 1971.
25. B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(6):1811-1841, 1994.
26. D. Michie. "memo" functions and machine learning. Nature, 218, Apr. 1968.
27. T. Murphy, B. Harper, and K. Crary. The wizard of tilt: Efficient?, convenient and abstract type representations. Technical Report CMU-CS-02-120, School of Computer Science, Carnegie Mellon University, Mar. 2002. http://www-2.cs.cmu.edu/~tom7/papers/wizard.ps.gz
28. W. Pugh. An improved replacement strategy for function caching. In Proceedings of the 1988 ACM conference on LISP and functional programming, pages 269-276. ACM Press, 1988.
29. N. Rojemo and C. Runciman. Lag, drag, void and use-heap profiling and space-efficient compilation revisited. In Proceedings of the First ACM SIGPLAN International Conference on Functional Programming, 34-41, 1996.
30. R. Rugina and M. Rinard. Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 182-195. ACM Press, 2000.
31. R. Shaham, E. K. Kolodner, and M. Sagiv. On effectiveness of GC in Java. In Proceedings of the Second International Symposium on Memory Management, pages 12-17, 2000.
32. R. Shaham, E. K. Kolodner, and M. Sagiv. Heap profiling for space-efficient Java. In Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, pages 104-113, 2001.
33. Y. Shuf, M. Gupta, R. Bordawekar, and J. P. Singh. Exploiting prolific types for memory management and optimizations. In 29th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 295-306, 2002.
34. M. Stephenson, J. Babb, and S. Amarasinghe. Bidwidth analysis with application to silicon compilation. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 108-120. ACM Press, 2000.
35. P. Sweeney and F. Tip. A study of dead data members in C++ applications. In SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 324-332, June 1998. SIGPLAN Notices, 33(5).
36. The Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98/, 1998.
37. F. Tip and P.F. Sweeney. Class hierarchy specialization. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 271-285, 1997.
38. Package java.lang.ref. http://java.sun.com/j2se/1.4/docs/api/java/lang/ref/package-summary.html.
39. WebSphere application server development best practices for performance and scalability. White paper available from http://www-3.ibm.com/software/webservers/appserv/ws_bestpractices.pdf, Sept. 2000.
40. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado, Nov. 1999.
41. B.-S. Yang, J. Lee, J. Park, S.-M. Moon, K. Ebcioglu, and E. Altman. Lightweight monitor for Java VM. ACM SIGARCH Computer Architecture News, 27(1):35-38, 1999.