See this document in CiteSeerX!

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



  Home/Search   Context   Related

 
View or download:
mit.edu/publication...MITLCSTR834.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/publications/pubs/ps/ (more)
(Enter author homepages)

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

Abstract: We present a set of static analyses for removing write barriers in programs that use generational garbage collection. To our knowledge, these are the first analyses for this purpose. Our Intraprocedural analysis uses a ow-sensitive pointer analysis to locate variables that must point to the most recently allocated object, then eliminates write barriers on stores to objects accessed via one of these variables. The Callee Type Extension incorporates information about the types of objects... (Update)

Cited by:   More
Barriers: Friend or Foe? - Stephen Blackburn Department   (Correct)
Connectivity-Based Garbage Collection - Hirzel (2004)   (Correct)
the Garbage Collection Bibliography - Richard Jones (2003)   (Correct)

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

Active bibliography (related documents):   More   All
0.3:   Interprocedural Compatibility Analysis for Static.. - Gheorghioiu.. (2003)   (Correct)
0.3:   Incremental, Generational Mostly-Copying Garbage Collection in.. - Yip (1991)   (Correct)
0.1:   Compiling Java to SUIF: Incorporating Support for.. - Mathew, Dahlman, Gupta (1997)   (Correct)

Similar documents based on text:   More   All
0.5:   Compositional Pointer and Escape Analysis for Java Programs - Whaley, Rinard (1999)   (Correct)
0.2:   Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000)   (Correct)
0.2:   Exploiting Prolific Types for Memory Management and.. - Shuf, Gupta.. (2002)   (Correct)

Related documents from co-citation:   More   All
3:   IEEE Press (context) - International, Computer - 1985
3:   Garbage Collection Algorithms for Automatic Dynamic Memory Management (context) - Jones, Lins - 1996
3:   Distributed garbage collection in a client-server - Maheshwari - 1993

BibTeX entry:   (Update)

Karen Zee and Martin Rinard. Write barrier removal by static analysis. ACM SIGPLAN Notices, 37(4), April 2002. http://citeseer.ist.psu.edu/article/zee02write.html   More

@misc{ zee02write,
  author = "K. Zee and M. Rinard",
  title = "Write barrier removal by static analysis",
  text = "Karen Zee and Martin Rinard. Write barrier removal by static analysis.
    ACM SIGPLAN Notices, 37(4), April 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/article/zee02write.html" }
Citations (may not include all citations):
341   Parallel programming in Split-C - Culler, Dusseau et al.
55   Software caching and computation migration in Olden - Carlisle, Rogers - 1995
23   Adaptive bitonic sorting: An optimal parallel algorithm for .. (context) - Bilardi, Nicolau - 1989
22   force calculation algorithm (context) - Barnes, Hut et al. - 1986
12   A parallel algorithm for constructing minimum spanning trees (context) - Bentley - 1980
6   an Optimizing Compiler for Object-Oriented Languages (context) - Chambers, Implementation et al. - 1992
3   Simple generational collection and fast allocation (context) - Appel - 1989
3   Data ow analysis for software prefetching linked data struct.. (context) - Cahoon, McKinley - 2001

Documents on the same site (http://www.lcs.mit.edu/publications/pubs/ps/):   More
Maps: A Compiler-Managed Memory System for Raw Machines - Barua, Lee, Amarasinghe.. (1998)   (Correct)
A Technique for Constructing Highly-Available Services - Ladin, Liskov, Shrira (1987)   (Correct)
Design and Verification of Speculative Processors - Shen, Arvind (1998)   (Correct)

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

CiteSeer.IST - Copyright Penn State and NEC