Abstractions pour la Programmation Concurrente dans GARF

GARF est un environnement à objets permettant la programmation modulaire d'applications distribuées résistantes aux pannes. Cet article présente la bibliothèque de classes offertes au programmeur par GARF, pour gérer l'expression de la concurrence et de son contrôle. La mise en oeuvre des mécanismes introduisant la concurrence, ainsi que plusieurs classes proposant divers types de contrôle de concurrence intra-objet, sont présentées. L'extension de certaines de ces classes au contrôle de concurrence inter-objets est également exposée. GARF is an object-oriented environment that allows the programming of fault-tolerant distributed applications in a modular way. This paper presents the library of classes provided to the programmer by GARF, in order to express and control concurrency. The implementation of the mechanisms introducing concurrency, as well as several classes offering various kinds of intra-object concurrency control, are presented. The extension of some of those classes towards inter-objects concurrency control is also exposed.