Les dépendances sociales et causales modifient le nombre de preuves réellement indépendantes. Le noyau encode les relations pour contraindre routage et quorum.
Physiologie relationnelle
dans GenOS.
Les dépendances sociales et causales modifient le nombre de preuves réellement indépendantes. Le noyau encode les relations pour contraindre routage et quorum.
Comprendre le
mécanisme.
Regrouper les sources dépendantes S en classes C(S). Le nombre de voix effectives est |C(S)|, non |S| ; une indépendance inconnue reste inconnue.
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.
Explorer le mécanisme: Physiologie relationnelle
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
Du signal
au résultat.
Charger les relations bornées
Les dépendances sociales et causales modifient le nombre de preuves réellement indépendantes. Le noyau encode les relations pour contraindre routage et quorum.
Vérifier indépendance et autorité
Regrouper les sources dépendantes S en classes C(S). Le nombre de voix effectives est |C(S)|, non |S| ; une indépendance inconnue reste inconnue.
Transmettre un contenu réduit
Pour Physiologie relationnelle, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.
Sources et
limites.
The Byzantine Generals Problem
Leslie Lamport, Robert Shostak, and Marshall Pease · ACM Transactions on Programming Languages and Systems 4(3), 382–401
Recherche primaire sur accord en présence de participants fautifs. Elle éclaire l'analogie avec Physiologie relationnelle, 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.
Vérifier la portée de Physiologie relationnelle.
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.