Abstract Interpretation of an Object Calculus for Synchronization Optimizations

• Autorzy: Barbuti, R. , Cataudella, S.
• Języki publikacji: EN

Abstrakty

EN

In this paper we present a use of abstract interpretation techniques for reducing synchronization overhead in an object calculus. First we present the new raconcV 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.

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 67, nr 1-3
• Strony: 1--12
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Barbuti, R.

• Dipartimento di Informatica, Universit`a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, Italy,

autor

Cataudella, S.

• Dipartimento di Informatica, Universit`a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, Italy,

Bibliografia

• [1] Abadi, M., Cardelli, L.: A Theory of Objects, Monographs in Computer Science, Springer-Verlag, 1996.
• [2] Aldrich, J., Chambers, C., Sirer, E. G., Eggers, S. J.: Static Analyses for Eliminating Unnecessary Synchronization from Java Programs, SAS ’99: Proceedings of the 6th International Symposium on Static Analysis, Springer-Verlag, 1999, ISBN 3-540-66459-9.
• [3] Barbuti, R., Cataudella, S.: Abstract Interpretation against Races, Fundamenta Informaticae, LX, April 2004, 67–79.
• [4] Bicarregui, J., Lano, K., Maibaum, T. S. E.: Formalizing Object-Oriented Models in the Object Calculus, ECOOP ’97: Proceedings of the Workshops on Object-Oriented Technology, Springer-Verlag, 1998, ISBN 3-540-64039-8.
• [5] Cousot, P.: Abstract interpretation, ACM Comput. Surv., 28(2), 1996, 324–328, ISSN 0360-0300.
• [6] Cousot, P., Cousot, R.: Abstract Interpretation Frameworks., J. Log. Comput., 2(4), 1992, 511–547.
• [7] Fisher, K., Honsell, F., Mitchell, J. C.: A lambda calculus of objects and method specialization, Nordic Journal of Computing, 1(1), Spring 1994, 3–37.
• [8] Flanagan, C., Abadi, M.: Object Types against Races, CONCUR ’99: Proceedings of the 10th International Conference on Concurrency Theory, Springer-Verlag, 1999, ISBN 3-540-66425-4.
• [9] Gordon, A. D., Hankin, P. D.: A Concurrent Object Calculus: Reduction and Typing, Proceedings HLCL’98, Elsevier ENTCS, 1998.
• [10] Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication, Lecture Notes in Computer Science, 512, 1991, 133–147.
• [11] Loucopoulos, P., Zicari, R., Eds.: Describing and Structuring Objects for Conceptual Schema Development, JohnWiley & Sons, Chichester, UK, 1991.