Un échantillonnage temporel peut manquer un événement bref. Les échéances apériodiques et les reçus montrent les fenêtres réellement observées.
Chronotaxie apériodique
dans GenOS.
Un échantillonnage temporel peut manquer un événement bref. Les échéances apériodiques et les reçus montrent les fenêtres réellement observées.
Comprendre le
mécanisme.
Pour fenêtre W=[t_début,t_fin] et observations {t_i}, la couverture exige au moins un t_i∈W. Conserver horaires prévus et réels.
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: Chronotaxie apériodique
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.
Planifier l'observation
Un échantillonnage temporel peut manquer un événement bref. Les échéances apériodiques et les reçus montrent les fenêtres réellement observées.
Enregistrer un reçu temporel
Pour fenêtre W=[t_début,t_fin] et observations {t_i}, la couverture exige au moins un t_i∈W. Conserver horaires prévus et réels.
Révéler la fenêtre manquée
Pour Chronotaxie apériodique, 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.
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 Chronotaxie apériodique, 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 Chronotaxie apériodique.
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.