Abstract Interpretation of an Object Calculus for Synchronization Optimizations

Authors:
Roberto Barbuti;Stefano Cataudella
Affiliations:
Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Italy. E-mail: barbuti,cataudel@di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Italy. E-mail: barbuti,cataudel@di.unipi.it
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Year:
2005

Citing 8
Cited 0

Abstract interpretation

ACM Computing Surveys (CSUR)
A Theory of Objects

A Theory of Objects
A lambda calculus of objects and method specialization

Nordic Journal of Computing
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Object Types against Races

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Formalizing Object-Oriented Models in the Object Calculus

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Abstract Interpretation Against Races

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a use of abstract interpretation techniques for reducing synchronization overhead in an object calculus. First we present the new raconcς calculus, an extension of an already existing calculus for supporting reentrant locks. Then we use an abstract form of this calculus to check when synchronization operations may be safely eliminated from statements. Thus our approach may be used to improve performance in object oriented languages by eliminating locks, without the risks caused by "manual" optimizations performed by programmers.