See this document in CiteSeerX!

Removing Unnecessary Synchronization in Java (1999)  (Make Corrections)  (63 citations)
Jeff Bogda, Urs Hölzle
ACM SIG\-PLAN Notices



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
ovmj.org/kacheck/p35bogda.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ovmj.org/kacheck/papers.php3 (more)
(Enter author homepages)

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

Abstract: Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single thread, concurrent access is impossible and no synchronization is needed. We describe an interprocedural, flow- and context-insensitive dataflow analysis that finds such situations. A global optimizing transformation then eliminates synchronizations on these objects. For every program in our suite of ten Java... (Update)

Cited by:   More
Safe Futures for Java - Welc, Jagannathan, Hosking   (Correct)
Pointer and Escape Analysis for Multithreaded Programs - Martin Rinard Alexandru (2001)   (Correct)
SPREE: Object Prefetching for Mobile computers - Kvilekval, Singh (2004)   (Correct)

Similar documents (at the sentence level):
50.4%:   Removing Unnecessary Synchronization in Java - Bogda, Hölzle (1999)   (Correct)

Active bibliography (related documents):   More   All
0.5:   A Run-time System for SCOOP - Michael Compton Csiro (2002)   (Correct)
0.2:   Active Libraries and Universal Languages - Veldhuizen (2004)   (Correct)
0.2:   Experiments on the Effectiveness of an Automatic Insertion of.. - Lee, Yi (2004)   (Correct)

Similar documents based on text:   More   All
0.4:   Product Form Solution for Stochastic Automata Networks.. - Boujdaine, Fourneau..   (Correct)
0.4:   Static Analyses for Eliminating Unnecessary.. - Aldrich, Chambers.. (1999)   (Correct)
0.3:   Latency-constrained Resynchronization for.. - Shuvra.. (1996)   (Correct)

Related documents from co-citation:   More   All
55:   Escape Analysis for Java - Choi, Gupta et al. - 1999
45:   Compositional pointer and escape analysis for java programs - Whaley, Rinard - 1999
38:   Escape analysis for object oriented languages (context) - Blanchet - 1999

BibTeX entry:   (Update)

Bogda, J., and H olzle, U. Removing Unnecessary Synchronization in Java. In Conference on ObjectOriented Programming, Systems, Languages and Applications (OOPSLA'99) (Nov. 1999). http://citeseer.ist.psu.edu/bogda99removing.html   More

@article{ bogda99removing,
    author = "Jeff Bogda and Urs H{\"o}lzle",
    title = "Removing unnecessary synchronization in {Java}",
    journal = "ACM SIG{\-}PLAN Notices",
    volume = "34",
    number = "10",
    pages = "35--46",
    year = "1999",
    url = "citeseer.ist.psu.edu/bogda99removing.html" }
Citations (may not include all citations):
380   The Java Language Specification (context) - Gosling, Joy et al. - 1996
154   Escape Analysis for Java - Choi, Gupta et al.  ACM   DBLP
99   A Shape Analysis for Heap-Directed Pointers in C (context) - Ghiya, Hendren et al. - 1996
49   Thin Locks: Featherweight Synchronization for Java - Bacon, Konuru et al. - 1998
42   Static Analyses for Eliminating Unnecessary Synchronization .. - Aldrich, Chambers et al. - 1999  ACM   DBLP
30   Efficient Java VM Just-in-Time Compilation - Krall - 1998
29   Automatic Inline Allocation of Objects - Dolby - 1997  ACM   DBLP
21   An Efficient Meta-Lock for Implementing Ubiquitous Synchroni.. - Agesen, Detlefs et al. - 1999  ACM   DBLP
21   Lock Coarsening: Eliminating Lock Overhead in Automatically .. - Diniz, Rinard - 1998
20   Performance Limitations of the Java Core Libraries - Heydon, Najork - 1999  ACM   DBLP
17   An Evaluation of Automatic Object Inline Allocation Techniqu.. - Dolby, Chien - 1998  ACM   DBLP
12   Stack Allocating Objects In Java (context) - Gay, Steensgaard - 1998
5   Implementation and Experimental Results (context) - Blancher, Correctness - 1998
2   and Martin Rinard (context) - Duncan, Cocosel et al. - 1997
2   Monitors and Exceptions: How to implement Java efficiently (context) - Krail, Probst - 1998  DBLP
2   Fast and Efficient Optimization of Statically Typed Object-O.. (context) - Bacon - 1997
1   SUF Java compiler (context) - Kienle, SU et al. - 1997
1   Marmot: an Optimizing Cornpilerfor Java (context) - Fitzgerald, Knoblock et al. - 1998
1   Using Shape Analysis to Reduce FiniteS ae Models of Concurre.. (context) - Corbett - 1998
http://www.inf



The graph only includes citing articles where the year of publication is known.


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