Communication is an abstraction - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1987

Communication is an abstraction

Résumé

We introduce a formalism that allows to hierarchically define communication structures. The core language consists of a few imperative constructs operating on shared variables. The semantics describes two distincts behaviours: a program performs some actions, which are elementary instructions, and operates on data by means of its terminated sequences of actions. By abstracting from this operation, we get the notion of atom. At the abstract level an atom operates as an indivisible action, while it is implemented as a whole program of a lower level. We show that the concept of atom is well-suited to deal with both low-level and high-level communication and synchronization primitives.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-0636.pdf (1.07 Mo) Télécharger le fichier

Dates et versions

inria-00075917 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075917 , version 1

Citer

Gérard Boudol. Communication is an abstraction. [Research Report] RR-0636, INRIA. 1987, pp.18. ⟨inria-00075917⟩
62 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More