La persistance permet de reprendre après la perte d'un processus, à condition d'arbitrer les propriétaires et d'éviter les effets dupliqués.
CONCEPT GENOS · INTELLIGENCE COLLECTIVE
Continuité de mission
dans GenOS.
La persistance permet de reprendre après la perte d'un processus, à condition d'arbitrer les propriétaires et d'éviter les effets dupliqués.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Pour mission m, au plus un propriétaire doté d'un bail valide lance un successeur. Reprise si bail valide, contrat inachevé et condition de réveil vraie.
Ce modèle explique le principe. Son implémentation et ses preuves sont décrites dans la source GenOS versionnée ; l'analogie scientifique ne les valide pas.
SCHÉMA ANIMÉ · MODÈLE INTERACTIF
01 / 03Explorer le mécanisme: Continuité de mission
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Vérifier le contrat d'achèvementENTRÉE
02Réserver le propriétaire durableMÉCANISME
03Reprendre ou régénérerISSUE SOUS CONDITIONS
Transition en cours · Étape 1Vérifier le contrat d'achèvement
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
ÉTAPES PROPRES AU CONCEPT
Du signal
au résultat.
Vérifier le contrat d'achèvement
La persistance permet de reprendre après la perte d'un processus, à condition d'arbitrer les propriétaires et d'éviter les effets dupliqués.
Réserver le propriétaire durable
Pour mission m, au plus un propriétaire doté d'un bail valide lance un successeur. Reprise si bail valide, contrat inachevé et condition de réveil vraie.
Reprendre ou régénérer
Pour Continuité de mission, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.
RECHERCHE PRIMAIRE · MÉCANISME
Sources et
limites.
Distributed snapshots: determining global states of distributed systems
K. Mani Chandy and Leslie Lamport · ACM Transactions on Computer Systems 3(1), 63–75
Recherche primaire sur capture cohérente d'un état distribué. Elle éclaire l'analogie avec Continuité de mission, sans valider l'implémentation GenOS.
Ouvrir la source ↗Ces références expliquent le mécanisme ou la technologie d'origine ; elles ne constituent pas une preuve de fonctionnement de GenOS.
IMPLÉMENTATION ET PREUVES
Vérifier la portée de Continuité de mission.
Le schéma animé est pédagogique. La fiche source versionnée décrit l'implémentation ; les statuts ci-dessous indiquent sa maturité sans déduire un fonctionnement réel de l'analogie scientifique.
Implémentation : partielIntégration : raccordéePreuve : tests d'intégrationSource GenOS versionnée ↗