Expression de la synchronisation dans les systèmes informatiques et conception d'architectures tolérant les pannes

Jacques Pulou (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

Cette étude de l'expression de la synchronisation dans les systèmes d'exploitation comprend une classification des outils de synchronisation et propose une description formelle de la synchronisation. Quelques éléments méthodologiques dans la conception de systèmes tolérant les pannes sont donnés.

Mots clés: systèmes d'exploitations; pannes; erreurs; outils; synchronisation; langage; écriture; conception; CAO; architecture

Domaines: Modélisation et simulation

Jacques Pulou. Expression de la synchronisation dans les systèmes informatiques et conception d'architectures tolérant les pannes. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1979. Français. ⟨NNT : ⟩. ⟨tel-00290413⟩