Systèmes Répartis: Horloges Logiques
24 Questions
0 Views

Choose a study mode

Play Quiz
Study Flashcards
Spaced Repetition
Chat to lesson

Podcast

Play an AI-generated podcast conversation about this lesson

Questions and Answers

Quelle est la première action prise par un processus Pi lors d'un événement local ?

  • Incrémente Mi[i,i] (correct)
  • Envoie un message à Pj
  • Incrémente Mj[i,j]
  • Délivre un message m

    • Quelles sont les conditions requises pour la délivrance d'un message m par un récepteur Pj ?

  • Mm[i,j] = Mj[i,j] + 1 et Mm[k,j] ≤ Mj[k,j] (correct)
  • Mm[i,j] ≤ Mj[i,j] + 1 et Mm[k,j] = Mj[k,j]
  • Mm[i,j] = Mj[k,j] et Mm[k,j] ≥ Mj[j,i]
  • Mm[i,j] = Mj[i,j] + 1 et Mm[k,j] ≥ Mj[k,j]

    • Que doit faire un processus émetteur Pi avant d'envoyer un message m ?

  • Délivrer tous les messages en attente
  • Attendre un accusé de réception
  • Incrémenter son horloge vectorielle Vi[i] (correct)
  • Incrémenter tous les éléments de son horloge vectorielle

    • Que se passe-t-il lorsque le message m est reçu par Pj ?

    <p>Pj retarde la délivrance de m jusqu'à ce que les conditions soient remplies</p> Signup and view all the answers

    À quelle règle se rapporte la mise à jour de l'horloge vectorielle Vj lors de la réception d'un message ?

    <p>Règle 3</p> Signup and view all the answers

    Quelle option décrit correctement la seconde condition de la règle 2 du protocole ?

    <p>Vj[k] doit être supérieur ou égal à Vm[k]</p> Signup and view all the answers

    Comment un message m est-il estampillé avant d'être envoyé ?

    <p>Avec l'horloge vectorielle Vi[]</p> Signup and view all the answers

    Quel type de file d'attente est utilisé pour gérer les messages retardés ?

    <p>File d'attente triée selon les estampilles</p> Signup and view all the answers

    Quel est le principal objectif d'une horloge logique dans les systèmes répartis ?

    <p>Assurer le respect des dépendances causales</p> Signup and view all the answers

    Comment une horloge de Lamport initialise-t-elle les compteurs des processus ?

    <p>Avec une valeur égale à 0</p> Signup and view all the answers

    Qu'arrive-t-il à l'horloge d'un processus Pj à la réception d'un message estampillé avec Hi(émission) ?

    <p>Hj prend la valeur maximale entre Hj et Hi(émission) plus 1</p> Signup and view all the answers

    Quelle limitation a l'horloge de Lamport par rapport à l'ordre FIFO ?

    <p>Elle ne peut pas toujours assurer l'ordre FIFO.</p> Signup and view all the answers

    Quel type d'ordonnancement assure l'horloge de Mattern ?

    <p>Réciproque de la dépendance causale</p> Signup and view all the answers

    Dans quel contexte une horloge vectorielle est-elle utilisée ?

    <p>Pour l'analyse des dépendances dans un processus local</p> Signup and view all the answers

    Que représente l'estampille d'un événement dans le système d'horloge de Lamport ?

    <p>Un couple (Np, Nv) associant le numéro de processus et d'événement</p> Signup and view all the answers

    Comment l'ordre total est-il défini pour des événements dans le cadre de l'horloge de Lamport ?

    <p>Si Hi(e) &lt; Hj(k) alors e précède k</p> Signup and view all the answers

    Que représente l'élément diagonal Mi[i,i] dans la matrice de horloge matricielle?

    <p>Le nombre d'événements locaux que Pi a enregistrés.</p> Signup and view all the answers

    Quelle affirmation décrit correctement la limite de l'horloge de Mattern?

    <p>Elle ne définit pas un ordre global total.</p> Signup and view all the answers

    Lorsqu'un message Vm est reçu par Pj, comment sont mis à jour les vecteurs temporels?

    <p>Vj[k] est mis à jour au maximum avec Vm[k] pour k≠j.</p> Signup and view all the answers

    Qu'est-ce qui caractérise un ordonnancement partiel entre deux vecteurs Vi et Vj?

    <p>Vi et Vj ne sont pas comparables.</p> Signup and view all the answers

    Que signifie l'opération Vm dans le contexte de l'horloge de Mattern?

    <p>L'estampille temporelle de l'émetteur Pi.</p> Signup and view all the answers

    Comment la matrice Mi aide-t-elle à comprendre l'état d'un processus?

    <p>Elle mémorise les interactions de message entre les processus.</p> Signup and view all the answers

    Quels critères déterminent si deux vecteurs temporels Vi et Vj sont concurrents?

    <p>Les conditions causales ne sont pas satisfaites.</p> Signup and view all the answers

    À chaque événement local sur le processus Pi, quelle opération est effectuée sur le vecteur Vi?

    <p>Vi[i] est incrémenté de 1.</p> Signup and view all the answers

    Study Notes

    Systèmes Répartis

    • Le sujet est les systèmes répartis, plus spécifiquement les horloges logiques dans ces systèmes.
    • Le document présente différents types d'horloges logiques.
    • Les systèmes sont décrits comme synchrones ou asynchrones.
    • On y discute de l'état et de l'horloge globale.

    Horloge Scalaire (Horloge de Lamport)

    • L'horloge logique respecte les dépendances causales.
    • Une date (estampille) est associée à chaque événement (Np, Nv).
    • Np : numéro du processus.
    • Nv : numéro de l'événement.
    • Les événements d'un même processus ont des dates différentes.
    • Les dates d'envoi et de réception d'un même message sont différentes.

    Horloge de Lamport

    • Un compteur entier Hi est conservé sur chaque processus Pi.
    • Un événement e sur Pi est daté par H(e) = Hi.
    • Initialisation : Hi = 0, pour tout i.
    • A chaque événement local e sur Pi : Hi(e) = Hi(e) + 1.
    • Chaque message est estampillé par la date d'émission sur Pi : Hi(émission)
    • A la réception de e sur Pj: Hj(réception) := max (Hj, Hi(émission)) + 1

    Ordonnancement de Lamport

    • Ordonnancement partiel : e → k ⇒ Hi(e) < Hj(k)
    • Ordonnancement total : H(e) = H(k) ⇒ e?k
    • Ordonnancement artificiel des événements concurrents.
    • Ne permet pas d'assurer l'ordre FIFO ni la délivrance causale.

    Horloge de Mattern

    • Horloge qui assure la réciproque de la dépendance causale.
    • Permet de savoir si deux événements sont concurrents.
    • Localement, chaque processus Pi a un vecteur Vi de taille égale au nombre de processus.
    • Vi[j] contient la valeur de l'horloge du processus Pj.

    Horloge Matricielle

    • n processus dans le système.
    • Matrice Mi[n,n] pour chaque Pi.
    • Ligne i : informations sur les événements de Pi.
    • Mi[i,i]: nombre d'événements sur Pi.
    • Mi[i,j]: nombre de message envoyé par Pi à Pj.
    • Ligne j : informations que l'on sait sur les événements de Pj.
    • Mi[j,j]: nombre d'événements que l'on sait sur Pj.
    • Mi[j,k]: nombre de messages que l'on sait que Pj a envoyé à Pk.

    Protocole Birman-Schiper-Stephenson

    • Les processus se transmettent les messages par diffusion.
    • L'implémentation du protocole est basée sur des règles.
    • Règle 1 : Avant diffusion, Pi incrémente son horloge vectorielle Vi.
    • Règle 2 : Le récepteur Pj retarde la livraison du message m jusqu'à deux conditions.
    • Règle 3 : La mise à jour de l'horloge vectorielle.

    Studying That Suits You

    Use AI to generate personalized quizzes and flashcards to suit your learning preferences.

    Quiz Team

    Related Documents

    Systèmes Répartis - Horloges Logiques PDF

    Description

    Ce quiz traite des systèmes répartis, en se concentrant sur les horloges logiques et leur fonctionnement. Il explore les horloges scalaires, notamment l'horloge de Lamport, et discute des relations causales dans les événements et les processus. Les différences entre les systèmes synchrones et asynchrones sont également abordées.

    More Like This

    Use Quizgecko on...
    Browser
    Open
    Browser
    Browser