See this document in CiteSeerX!

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (1999)  (Make Corrections)  (42 citations)
Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan Eggers
Static Analysis Symposium



  Home/Search   Context   Related

 
View or download:
washington.edu/homes/jonal/p...sas99.ps
washington.edu/homes/egs/pap...sas99.ps
cmu.edu/~aldrich//papers/sas99.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  washington.edu/homes/jonal/pap... (more)
(Enter author homepages)

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

Abstract: . This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant overhead, accounting for 5-10% of total execution time in our benchmark applications. To reduce this overhead, programmers often try to eliminate unnecessary lock operations by hand. Such manual optimizations are tedious, error-prone, and often result in poorly structured and less reusable programs. Our approach... (Update)

Cited by:   More
Safe Futures for Java - Welc, Jagannathan, Hosking   (Correct)
Pointer and Escape Analysis for Multithreaded Programs - Martin Rinard Alexandru (2001)   (Correct)
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Program Transformation via Contextual Assertions - Mason, Talcott (1994)   (Correct)
0.3:   Symbolic Analysis: A Basis for Parallelization.. - Mohammad Haghighat (1993)   (Correct)
0.3:   Comprehensive Synchronization Elimination for Java - Aldrich, Sirer, Chambers..   (Correct)

Similar documents based on text:   More   All
0.4:   Removing Unnecessary Synchronization in Java - Bogda, Hölzle (1999)   (Correct)

Related documents from co-citation:   More   All
35:   Escape Analysis for Java - Choi, Gupta et al. - 1999
26:   Escape analysis for object oriented languages (context) - Blanchet - 1999
24:   Removing Unnecessary Synchronization in Java - Bogda, olzle - 1999

BibTeX entry:   (Update)

Aldrich, J., Chambers, C., Sirer, E. G., and Eggers, S. Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. In Static Analysis Symposium (SAS'99) (Sept. 1999). http://citeseer.ist.psu.edu/aldrich99static.html   More

@inproceedings{ aldrich99static,
    author = "Jonathan Aldrich and Craig Chambers and Emin Gun Sirer and Susan J. Eggers",
    title = "Static Analyses for Eliminating Unnecessary Synchronization from Java Programs",
    booktitle = "Static Analysis Symposium",
    pages = "19-38",
    year = "1999",
    url = "citeseer.ist.psu.edu/aldrich99static.html" }
Citations (may not include all citations):
862   The Java Language Specification - Gosling, Joy et al. - 1996
167   Garbage Collection in an Uncooperative Environment (context) - Boehm, Weiser - 1988
127   Control-Flow Analysis in Scheme (context) - Shivers - 1988
120   The Performance Implications of Thread Management Alternativ.. (context) - Anderson, Lazowska et al. - 1989
100   Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
90   Vortex: An Optimizing Compiler for Object-Oriented Languages - Dean, DeFouw et al. - 1996
88   Experience with Processes and Monitors in Mesa - Lampson, Redell - 1980
71   Tools and Techniques for Building Fast Portable Thread Packa.. - Keppel - 1993
68   Flexible Alias Protection - Noble, Vitek et al. - 1998
67   Call Graph Construction in Object-Oriented Languages - Grove, DeFouw et al. - 1997
49   Thin Locks: Featherweight Synchronization for Java - Bacon, Konuru et al. - 1998
49   Towards Alias-Free Pointers - Minsky - 1996
44   Obtaining Sequential Efficiency for Concurrent Object-Orient.. - Plevyak, Zhang et al. - 1995
29   Automatic Inline Allocation of Objects - Dolby - 1997
21   Lock Coarsening: Eliminating Lock Overhead in Automatically .. - Diniz, Rinard - 1998
21   Monitors and Exceptions: How to implement Java efficiently - Krall, Probst - 1998
21   Using Shape Analysis to Reduce Finite-State Models of Concur.. - Corbett - 1998
13   Distributed Virtual Machines: A System Architecture for Netw.. - Sirer, Gregory et al. - 1998
10   Compaq SRC Research Report (context) - Detlefs, Rustan et al. - 1998
4   Building HighPerformance Applications and Services in Java: .. (context) - Singhal, Nguyen et al. - 1997
3   Communications of the Association for Computing Machinery (context) - Geschke, Morris et al. - 1977



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


Documents on the same site (http://www.cs.washington.edu/homes/jonal/papers/):   More
Providing Easier Access to Remote Objects in.. - Aldrich, Dooley.. (1998)   (Correct)
Providing Easier Access to Remote Objects in.. - Aldrich, Dooley.. (1998)   (Correct)
Incremental Type Inference for Software Engineering - Aldrich   (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