Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation最新文献

筛选

英文中文

Garbage collection and local variable type-precision and liveness in Java virtual machines Java虚拟机中的垃圾收集和局部变量类型精度和活动性

Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation Pub Date : 1998-05-01 DOI: 10.1145/277650.277738

Ole Agesen, David Detlefs, J. Moss

{"title":"Garbage collection and local variable type-precision and liveness in Java virtual machines","authors":"Ole Agesen, David Detlefs, J. Moss","doi":"10.1145/277650.277738","DOIUrl":"https://doi.org/10.1145/277650.277738","url":null,"abstract":"Full precision in garbage collection implies retaining only those heap allocated objects that will actually be used in the future. Since full precision is not computable in general, garbage collectors use safe (i.e., conservative) approximations such as reachability from a set of root references. Ambiguous roots collectors (commonly called \"conservative\") can be overly conservative because they overestimate the root set, and thereby retain unexpectedly large amounts of garbage. We consider two more precise collection schemes for Java virtual machines (JVMs). One uses a type analysis to obtain a type-precise root set (only those variables that contain references); the other adds a live variable analysis to reduce the root set to only the live reference variables. Even with the Java programming language's strong typing, it turns out that the JVM specification has a feature that makes type-precise root sets difficult to compute. We explain the problem and ways in which it can be solved.Our experimental results include measurements of the costs of the type and liveness analyses at load time, of the incremental benefits at run time of the liveness analysis over the type analysis alone, and of various map sizes and counts. We find that the liveness analysis often produces little or no improvement in heap size, sometimes modest improvements, and occasionally the improvement is dramatic. While further study is in order, we conclude that the main benefit of the liveness analysis is preventing bad surprises.","PeriodicalId":365404,"journal":{"name":"Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation","volume":"59 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115170748","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 104

Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation ACM SIGPLAN 1998年编程语言设计与实现会议论文集

Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation Pub Date : 1990-06-01 DOI: 10.1145/93542

C. Fischer

引用次数: 23

首页上一页