Mostly accurate stack scanning

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The Java Virtual Machine (Jvm) needs, for the purpose of garbage collection (GC), to determine the data type stored in every memory location. Jvms that can do this reliably are said to be type-accurate (TA). Full typeaccuracy usually exacts a price in performance due to the need to scan stacks and registers accurately. The mostly accurate approach presented here can reduce the TA overhead significantly by sacrificing accuracy for the small minority of memory locations that add the most to the cost. Performance results show that mostly accurate stack scanning performs as well as conservative stack scanning and that relatively few objects are identified conservatively. In addition our implementation is designed to support and generate type maps for any verifiable bytecode stream (including combinations that are unlikely to be produced by a compiler) without requiring rewriting of the bytecode. We introduce a new compression technique for type maps that uses a program-friendly format for the maps; yet, achieves good compression and provides fast opening of compressed maps. We show how to apply systematic testing techniques and test coverage tools to an accurate stack scanner.

Original languageEnglish
Title of host publicationProceedings of the 1st Java Virtual Machine Research and Technology Symposium, JVM 2001
PublisherUSENIX Association
ISBN (Electronic)1880446111, 9781880446119
StatePublished - 2001
Externally publishedYes
Event1st Java Virtual Machine Research and Technology Symposium, JVM 2001 - Monterey, United States
Duration: 23 Apr 200124 Apr 2001

Publication series

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

Conference

Conference1st Java Virtual Machine Research and Technology Symposium, JVM 2001
Country/TerritoryUnited States
CityMonterey
Period23/04/0124/04/01

Keywords

  • Garbage collection
  • Jvm
  • Type accuracy

Fingerprint

Dive into the research topics of 'Mostly accurate stack scanning'. Together they form a unique fingerprint.

Cite this