Powered by OpenAIRE graph
Found an issue? Give us feedback
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

Extending Object-Oriented Optimizations for Concurrent Programs

Authors: David Tarditi; Michael D. Smith; K. Heffner;

Extending Object-Oriented Optimizations for Concurrent Programs

Abstract

Object-oriented programming encourages extensive use of fields in objects. Most object-oriented programs are also concurrent, due to a finalizer or user interface thread. The combination of concurrency and frequent use of fields presents an optimization challenge: it is difficult for an optimizer to establish invariants between fields at different points in the program and recognize redundancy introduced by synchronization primitives. In this paper, we describe techniques to optimize code for field access in concurrent object-oriented programs. We leverage the fact that for correctness, programmers must use some form of concurrency control. We adapt several techniques for analyzing the synchronization properties of fields, including identifying fields associated with objects that are always locked before their use and identifying fields that are accessed from only one thread, to locate optimization opportunities that remain sound, even for concurrent programs. We extend existing optimizations, including redundant-load elimination, array-bounds check elimination, and null check elimination, to use these analyses. We show that extending these optimizations with a combination of analysis techniques is straightforward and relatively inexpensive, using analyses that already exist in mature object-oriented compilers. We also find that concurrency in our benchmarks does not substantially reduce the benefits of the original optimizations.

Related Organizations
  • BIP!
    Impact byBIP!
    citations
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    2
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
citations
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
2
Average
Average
Average
Upload OA version
Are you the author? Do you have the OA version of this publication?