(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