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.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00290413 |
Date | 26 September 1979 |
Creators | Pulou, Jacques |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0026 seconds