Write Barrier Removal by Static Analysis  (Make Corrections)  
Karen Zee, Martin Rinard

  Home/Search   Context   Related
 
View or download:
mit.edu/~rinard/pa....writeBarriers.pdf
Cached:  PS.gz  PS  PDF  DjVu  Image  Update  Help

From:  mit.edu/~rinard/paper/ (more)
Homepages:  M.Rinard  HPSearch  (Update Links)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis for this purpose. Our algorithm uses a pointer analysis to locate assignments that always create a reference from a younger object to an older object, then transforms the program to remove the write barriers normally associated with such assignments. We have implemented two transformations that reorder object... (Update)

Similar documents (at the sentence level):
14.0%:   Write Barrier Removal by Static Analysis - Zee, Rinard   (Correct)

Active bibliography (related documents):   More   All
0.3:   Interprocedural Compatibility Analysis for Static.. - Gheorghioiu.. (2003)   (Correct)
0.3:   Software Caching and Computation Migration in Olden - Carlisle, Rogers (1995)   (Correct)
0.3:   Uniprocessor Garbage Collection Techniques - Wilson (1992)   (Correct)

Similar documents based on text:   More   All
0.4:   Region-based Memory Management for Real-time Java - Higuera, Issarny, Banatre.. (2001)   (Correct)
0.4:   Generational garbage collection for Haskell - Sansom, Jones (1993)   (Correct)
0.4:   A Generational On-the-fly Garbage Collector for Java - Domani, Kolodner, Petrank (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ zee-write,
  author = "Karen Zee and Martin Rinard",
  title = "Write Barrier Removal by Static Analysis",
  url = "citeseer.nj.nec.com/532299.html" }
Citations (may not include all citations):
310   Parallel programming in Split-C - Culler, Dusseau et al. - 1993
224   force-calculation algorithm (context) - Barnes, Hut et al. - 1986
219   Primitives for the manipulation of general subdivisions and .. (context) - Guibas, Stol - 1985
116   Region-based memory management - Tofte, Talpin - 1997
95   Garbage Collection Algorithms for Automatic Dynamic Memory M.. (context) - Jones, Lins - 1996
91   Simple generational garbage collection and fast allocation - Appel - 1989
86   Escape analysis for Java - Choi, Gupta et al. - 1999
79   Hints for computer system design - Lampson - 1983
62   Compositional pointer and escape analysis for Java programs - Whaley, Rinard - 1999
51   A comparative performance evaluation of write barrier implem.. - Hosking, Eliot et al. - 1992
50   Comparative Performance Evaluation of Garbage Collection Alg.. (context) - Zorn - 1989
40   Software caching and computation migration in Olden - Carlisle, Rogers - 1995
40   Probabilistic analysis of partitioning algorithms for the tr.. (context) - Karp - 1977
25   Virtual memory primitives for user programs - Appel, Li - 1991
22   Adaptive bitonic sorting: An optimal parallel algorithm for .. (context) - Bilardi, Nicolau - 1989
21   Improving garbage collector performance in virtual memory (context) - Shaw - 1987
18   Incremental collection of mature objects - Hudson, Eliot et al. - 1992
16   Barrier methods for garbage collection - Zorn - 1990
16   ective synchronization removal for Java (context) - Ruf - 2000
13   Decentralized optimal power pricing: The developmentofa para.. - Lumetta, Murphy et al. - 1993
12   A parallel algorithm for constructing minimum spanning trees (context) - Bentley - 1980
10   An automatic object inlining optimization and its evaluation - Dolby, Chien - 2000
10   Escape analysis for object-oriented languages: Application t.. - Blanchet - 1999
10   Remembered sets can also play cards - Hosking, Hudson - 1993
9   Removing unnecessary synchronization in Java (context) - Bogda, olzle - 1999
9   Computing perimeters of regions in images represented by qua.. (context) - Samet - 1981
9   Optimizing the read and write barriers for orthogonal persis.. (context) - Hosking, Nystrom et al. - 1998
8   A performance study of Time Warp (context) - Lomow, Cleary et al. - 1988
8   A parameterized type system for race-free Java programs (context) - Boyapati, Rinard - 2001
8   Generational scavenging: A non-disruptive high performance s.. (context) - Ungar - 1984
6   garbage collector for Java (context) - Domani, Kolodner et al. - 2000
6   an Optimizing Compiler for Object-Oriented Languages (context) - Chambers, Implementation et al. - 1992
5   A fast write barrier for generational garbage collectors - olzle - 1993
4   Four garbage collectors for Oberon (context) - Cook - 1989
3   Data ow analysis for software prefetching linked data struct.. (context) - Cahoon, McKinley - 2001
1   types for memory management and optimizations (context) - Shuf, Gupta et al. - 2002

Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/):   More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson   (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996)   (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996)   (Correct)

Online articles have much greater impact   More about CiteSeer   Add search form to your site   Submit documents   Feedback  

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute