Un daemon est un processus de longue durée dont le cycle de vie, les ressources et l'autorité doivent être supervisés. La métaphore d'organisme n'ajoute aucune propriété biologique.
Daemons résidents
dans GenOS.
Un daemon est un processus de longue durée dont le cycle de vie, les ressources et l'autorité doivent être supervisés. La métaphore d'organisme n'ajoute aucune propriété biologique.
Comprendre le
mécanisme.
Automate du superviseur {démarrage,prêt,dégradé,arrêté} ; redémarrages bornés par un budget et traces d'erreur conservées.
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: Daemons résidents
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.
Observer l'état durable
Un daemon est un processus de longue durée dont le cycle de vie, les ressources et l'autorité doivent être supervisés. La métaphore d'organisme n'ajoute aucune propriété biologique.
Appliquer la politique du daemon
Automate du superviseur {démarrage,prêt,dégradé,arrêté} ; redémarrages bornés par un budget et traces d'erreur conservées.
Enregistrer l'action bornée
Pour Daemons résidents, 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.
Design of fault-tolerant computers
Algirdas Avižienis · AFIPS Fall Joint Computer Conference, 733–743
Recherche primaire sur tolérance aux défaillances. Elle éclaire l'analogie avec Daemons résidents, 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 Daemons résidents.
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.