Horloge logique

Horloge logique

Une horloge logique est un dispositif logiciel qui sert à établir et mesurer une notion de temps établie selon la relation de causalité arrivé-avant dans un système réparti asynchrone. Différents types d'horloges logiques existent et fournissent plus ou moins d'information sur la causalité.

Horloges de Lamport

Article détaillé : horloge de Lamport.

Horloges vectorielles

Article détaillé : horloge vectorielle.

Horloges matricielles

Article détaillé : horloge matricielle.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Horloge logique de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Horloge matricielle — Article principal : horloge logique. Une horloge matricielle est un dispositif logiciel qui donne à chaque processus d un système distribué asynchrone des informations sur la relation de causalité arrivé avant. Principe Chaque processus p d… …   Wikipédia en Français

  • Horloge de Lamport — Article principal : horloge logique. Une horloge de Lamport est un dispositif logiciel introduit en 1978 par Leslie Lamport[1] afin de donner à chaque processus d un système distribué asynchrone des informations sur la relation de causalité… …   Wikipédia en Français

  • Horloge vectorielle — Article principal : horloge logique. Une horloge vectorielle est un dispositif logiciel introduit indépendamment en 1988 par Colin Fidge[1] et Friedemann Mattern[2] afin de donner à chaque processus d un système distribué asynchrone des… …   Wikipédia en Français

  • Logique Séquentielle — En théorie des circuits électroniques, la logique séquentielle est un type de logique dont les résultats ne dépendent pas seulement des données actuellement traitées mais aussi des données traitées précédemment. Elle s oppose à la logique… …   Wikipédia en Français

  • Logique sequentielle — Logique séquentielle En théorie des circuits électroniques, la logique séquentielle est un type de logique dont les résultats ne dépendent pas seulement des données actuellement traitées mais aussi des données traitées précédemment. Elle s oppose …   Wikipédia en Français

  • Logique séquentielle — En théorie des circuits électroniques, la logique séquentielle est un type de logique dont les résultats ne dépendent pas seulement des données actuellement traitées mais aussi des données traitées précédemment. Elle s oppose à la logique… …   Wikipédia en Français

  • Horloge radio pilotée — DCF77 L émetteur DCF77 (50° 01′ 00″ N …   Wikipédia en Français

  • Bascule (circuit logique) — Pour les articles homonymes, voir Bascule. Une bascule est un circuit logique capable, dans certaines circonstances, de maintenir les valeurs de ses sorties malgré les changements de valeurs d entrées. On appellera plus loin verrous les bascules… …   Wikipédia en Français

  • Fonction logique — Pour les articles homonymes, voir combinatoire (homonymie). Il existe deux grands types de fonctions logiques : les fonctions logiques « combinatoires », bases du calcul booléen, qui résultent de l analyse combinatoire des… …   Wikipédia en Français

  • Circuit logique — Fonction logique Pour les articles homonymes, voir combinatoire (homonymie). Cet article se place d emblée dans le cadre de la logique classique. Il existe deux grands types de fonctions logiques : les fonctions logiques… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”