Mostly accurate stack scanning

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, JVM 2001

Volumn , Issue , 2001, Pages

  Barabash, Katherine ^a   Kolodner, Elliot K ^a   Shepherd, Janice ^a   Buchbinder, Niv ^a   Ossia, Yoav ^a   Sivan, Ron ^a   Domani, Tamar ^a   Pinter, Shlomit S ^a   Umansky, Victor ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

Garbage collection; Jvm; Type accuracy

Indexed keywords

ENGINEERING RESEARCH; NETWORK SECURITY; SCANNING; TESTING; VIRTUAL MACHINE;

COMPRESSION TECHNIQUES; DATA TYPE; GARBAGE COLLECTION; JAVA VIRTUAL MACHINES; MEMORY LOCATIONS; SYSTEMATIC TESTING; TEST COVERAGE TOOLS; TYPE MAPS;

JAVA PROGRAMMING LANGUAGE;

EID: 33646831075     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (40)

1. Ali-Reza Adl-Tabatai, Michal Cierniak, Guei-Yuan Leuh, Vihesh M. Parikh, and James M. Stichnoth. Fast effective code generation in a Just-In-Time Java compiler. In PLDI [34].
2. Ole Agesen. GC points in a threaded environment. Technical report, Sun Microsystems, Inc., 1999. TR-98-70.
3. Ole Agesen and David Detlefs. Finding references in Java stacks. In Peter Dickman and Paul R. Wilson, editors, OOPSLA '97 Workshop on Garbage Collection and Memory Management, October 1997.
4. Ole Agesen, David Detlefs, and J. Eliot B. Moss. Garbage collection and local variable type-precision and liveness in Java Virtual Machines. In PLDI [34], pages 269-279.
5. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeño virtual machine. IBM System Journal, 39(1):211-238, 2000.
6. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, A. Cocchi, S. F. Hummel, D. Lieber, T. Ngo, M. Mergen, J. C. Shepherd, and S. E. Smith. Implementing Jalapeño in Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA '99), volume 34, 1999.
7. ATAC: Automatic test analysis for C, 1998. Available at http://xsuds.argreenhouse.com.
8. Joel F. Bartlett. Compacting garbage collection with ambiguous roots. Technical Report 88/2, DEC Western Research Laboratory, Palo Alto, CA, February 1988. Also in Lisp Pointers 1, 6 (April-June 1988), 2-12.
9. Joel F. Bartlett. Mostly-Copying garbage collection picks up generations and C++. Technical note, DEC Western Research Laboratory, Palo Alto, CA, October 1989. Sources available in ftp://gatekeeper.dec.com/pub/DEC/CCgc.
10. Hans-Juergen Boehm and Mark Weiser. Garbage collection in an uncooperative environment. Software Practice and Experience, 18(9):807-820, 1988.
11. C. J. Cheney. A non-recursive list compacting algorithm. Communications of the ACM, 13(11):677-8, November 1970.
12. Java Virtual Machine by Sun Microsystems, Inc. Available at http://www.sun.com/software/sales.
13. Robert Dimpsey, Rajiv Arora, and Kean Kuiper. Java server performance: A case study of building efficient, scalable Jvms. IBM System Journal, 39(1):151-174, 2000.
14. Amer Diwan, J. Eliot B. Moss, and Richard L. Hudson. Compiler support for garbage collection in a statically typed language. In Proceedings of SIGPLAN'92 Conference on Programming Languages Design and Implementation, volume 27 of ACM SIGPLAN Notices, pages 273-282, San Francisco, CA, June 1992. ACM Press.
15. Damien Doligez and Georges Gonthier. Portable, unobtrusive garbage collection for multiprocessor systems. In Conference Record of the Twenty-first Annual ACM Symposium on Principles of Programming Languages, ACM SIGPLAN Notices. ACM Press, January 1994.
16. Tamar Domany, Elliot Kolodner, and Erez Petrank. A generational on-the-fly garbage collector for Java. In Proceedings of SIGPLAN 2000 Conference on Programming Languages Design and Implementation, ACM SIGPLAN Notices, Vancouver, June 2000. ACM Press.
17. EVM: an exact Java Virtual Machine by Sun Microsystems, Inc. Available (as part of J2SE) at http://www.sun.com/solaris/java.
18. S.W. Golomb. Run-length encodings. IEEE Transactions on Information Theory, 12(3):399-401, July 1966.
19. James Gosling. Java intermediate bytecodes. In Proceedings of the ACM SIGPLAN Workshop on Intermediate Representations, pages 111-118, January 1995.
20. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. The Java Series. Addison-Wesley, 1997.
21. Matt Greenwood and Sara Porat. TOAD - an environment for monitoring understanding and optimizing Java. In OOPSLA '99 Companion, 1999. Available at http://www.alphaworks.ibm.com/tech/toad.
22. Alan Hartman and Kenneth Nagin. TCBeans Software Test Toolkit. In Proceedings of the 12th International Software Quality Week, May 1999. Available at http://www.haifa.il.ibm.com/projects/gtcb.
23. Java HotSpot Technology by Sun Microsystems, Inc. Available at http://java.sun.com/products/hotspot.
24. Richard L. Hudson and J. Eliot B. Moss. Incremental garbage collection for mature objects. In Yves Bekkers and Jacques Cohen, editors, Proceedings of International Workshop on Memory Management, volume 637 of Lecture Notes in Computer Science, University of Massachusetts, USA, 16-18 September 1992. Springer-Verlag.
25. IBM 1.3 Java Developer Kit for Windows. Available at http://www.software.ibm.com/download.
26. Open runtime platform by Intel, Inc. Available at http://intel.com/research/mrl/orp.
27. Henry Lieberman and Carl E. Hewitt. A real-time garbage collector based on the lifetimes of objects. Communications of the ACM, 26(6):419-429, 1983. Also report TM-184, Laboratory for Computer Science, MIT, Cambridge, MA, July 1980 and AI Lab Memo 569, 1981.
28. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, 1st edition edition, 1997.
29. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, 2nd edition edition, 1999.
30. SUN Microsystems. Java Native Interface Specification. Technical report, Sun Microsystems, Inc., http://java.sun.com/j2se/1.3/docs/guide/jni/, 1997.
31. SUN Microsystems. JNI enhancements in JDK 1.2. Technical report, Sun Microsystems, Inc., http://java.sun.com/j2se/1.3/docs/guide/jni/jni- 12.html, 1998.
32. David A. Moon. Garbage collection in a large LISP system. In Guy L. Steele, editor, Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, pages 235-245, Austin, TX, August 1984. ACM Press.
33. Tamiya Onodera. A generational and conservative copying collector for hybrid object-oriented languages. Software Practice and Experience, 23(10):1077-1093, October 1993.
34. Proceedings of SIGPLAN'98 Conference on Programming Languages Design and Implementation, ACM SIGPLAN Notices, Montreal, June 1998. ACM Press.
35. Tony Printezis and David Detlefs. A generational mostly concurrent garbage collector. In Proceedings of the International Symposium on Memory Management (ISMM00), pages 143-154, Minneapolis, MN, October 2000.
36. Jacob Seligmann and Steffen Grarup. Incremental mature garbage collection using the train algorithm. In O. Nierstras, editor, Proceedings of 1995 European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, University of Aarhus, August 1995. Springer-Verlag.
37. SPECjbb2000 Java Business Benchmark. Standard Performance Evaluation Corporation (SPEC), Fairfax, VA, 1998. Available at http://www.spec.org/osg/jbb2000/.
38. SPECjvm98 Benchmarks. Standard Performance Evaluation Corporation (SPEC), Fairfax, VA, 1998. Available at http://www.spec.org/osg/jvm98/.
39. James M. Stichnoth, Guei-Yuan Lueh, and Michal Cierniak. Support for garbage collection at every instruction in a Java compiler. In Proceedings of SIGPLAN'99 Conference on Programming Languages Design and Implementation, ACM SIGPLAN Notices, pages 118-127, Atlanta, May 1999. ACM Press.
40. David M. Ungar. Generation scavenging: A non-disruptive high performance storage reclamation algorithm. ACM SIGPLAN Notices, 19(5):157-167, April 1984. Also published as ACM Software Engineering Notes 9, 3 (May 1984) - Proceedings of the ACM/SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 157-167, April 1984.