La persistance conserve un état entre appels ou redémarrages et impose cohérence, migration et règles de rétention.
CONCEPT GENOS · RUNTIME ET INFRASTRUCTURE
Persistance
dans GenOS.
La persistance conserve un état entre appels ou redémarrages et impose cohérence, migration et règles de rétention.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Enregistrement durable (clé k,version v,valeur x) ; définir lectures, écritures, transactions, expiration et migrations.
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: Persistance
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Sérialiser l'étatENTRÉE
02Valider la version durableMÉCANISME
03Recharger et migrerISSUE SOUS CONDITIONS
Transition en cours · Étape 1Sérialiser l'état
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.
Sérialiser l'état
La persistance conserve un état entre appels ou redémarrages et impose cohérence, migration et règles de rétention.
Valider la version durable
Enregistrement durable (clé k,version v,valeur x) ; définir lectures, écritures, transactions, expiration et migrations.
Recharger et migrer
Pour Persistance, 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.
The transaction concept: virtues and limitations
Jim Gray · VLDB 1981, 144–154
Recherche primaire sur transactions de bases de données. Elle éclaire l'analogie avec Persistance, 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 Persistance.
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 : backend/src/storage/operational/sqliteStore.js ↗Code : crates/genos-store/src/lib.rs ↗