Un snapshot capture un état à un instant donné. Sa complétude dépend des magasins, ressources externes et processus effectivement inclus.
CONCEPT GENOS · RUNTIME ET INFRASTRUCTURE
Instantanés
dans GenOS.
Un snapshot capture un état à un instant donné. Sa complétude dépend des magasins, ressources externes et processus effectivement inclus.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
S=(état,version,dépendances,temps,empreinte) ; restaurer seulement avec dépendances disponibles et contrôle d'intégrité.
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: Instantanés
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Capturer l'état sélectionnéENTRÉE
02Contrôler les dépendancesMÉCANISME
03Restaurer la portée déclaréeISSUE SOUS CONDITIONS
Transition en cours · Étape 1Capturer l'état sélectionné
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.
Capturer l'état sélectionné
Un snapshot capture un état à un instant donné. Sa complétude dépend des magasins, ressources externes et processus effectivement inclus.
Contrôler les dépendances
S=(état,version,dépendances,temps,empreinte) ; restaurer seulement avec dépendances disponibles et contrôle d'intégrité.
Restaurer la portée déclarée
Pour Instantanés, 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.
Time, Clocks, and the Ordering of Events in a Distributed System
Leslie Lamport · Communications of the ACM 21(7), 558–565
Recherche primaire sur ordre causal dans les systèmes distribués. Elle éclaire l'analogie avec Instantanés, sans valider l'implémentation GenOS.
Ouvrir la source ↗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 Instantanés, 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 Instantanés.
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 ↗Code : crates/genos-store/src/snapshot.rs ↗Code : crates/genos-cli/tests/snapshot_contract.rs ↗Code : backend/tests/test_agent_git_sqlite_e2e.js ↗