Synchronization abstraction in the BETA programming language

Authors:
Kasper ØSterbye;Wolfgang Kreutzer
Affiliations:
Department of Computer Science, Aarhus University, Aabogade 34, 8200 Aarhus N, Denmark;Department of Computer Science, University of Canterbury, Private Bag 4800, Christchurch, New Zealand
Venue:
Computer Languages
Year:
1999

Citing 3
Cited 1

Encapsulators: a new software paradigm in Smalltalk-80

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Virtual classes: a powerful mechanism in object-oriented programming

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Synchronisation, concurrent object-oriented programming and the inheritance anomaly

Computer Languages

The when, why and why not of the BETA programming language

Proceedings of the third ACM SIGPLAN conference on History of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper argues that synchronization of processes need not be part of the core of a programming language, but that they can just as well be built from existing abstractions - provided these are sufficiently flexible and general. BETA's notion of patterns meets these requirements and we demonstrate the validity of our claims within this context. While discussing the use of patterns of synchronization and their implementation in BETA, we focus on a number of examples taken from BetaSIM, a high-level framework for discrete event simulation. The paper concludes with a discussion on how these ideas can be applied to other modern object-based programming languages, such as Java or Ada.