← Tous les concepts
CONCEPT GENOS · INTELLIGENCE COLLECTIVE

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.

SCIENCE ET FORMALISATION

Comprendre le
mécanisme.

FONDEMENT SCIENTIFIQUE

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.

MODÈLE MATHÉMATIQUE OU LOGIQUE

Automate du superviseur {démarrage,prêt,dégradé,arrêté} ; redémarrages bornés par un budget et traces d'erreur conservées.

PORTÉE DANS GENOS

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

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.

01 / 03
Transition en cours · Étape 1Observer l'état durable

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.

01

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.

02

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.

03

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.

RECHERCHE PRIMAIRE · MÉCANISME

Sources et
limites.

TOLÉRANCE AUX DÉFAILLANCES · 1967

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.

IMPLÉMENTATION ET PREUVES

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.