Coopération et synchronisation par variables partagées

Résumé du document

Deux processus cycliques partageant une imprimante. Chaque processus imprime son identité n fois. Nous souhaitons que les résultats de l'impression ne soient pas mélangés. Rien n'empêche d'imprimer une séquence P0P0P1P0P1…
Comment empêcher ce phénomène?
Comment exécuter la section critique en exclusion mutuelle ?

Extraits

[...] . Coopération et synchronisation par variables partagées Problème de l'exclusion mutuelle action atomique Protocoles d'exclusion mutuelle Sémaphores logo Problème de l'exclusion mutuelle Problème : Deux processus cycliques partageant une imprimante. Chaque processus imprime son identité n fois. Nous souhaitons que les résultats de l'impression ne soient pas mélangés P0 { imprimer ''p0'' n fois; } P1 { imprimer ''p1'' n fois; } Section Critique Rien n'empêche d'imprimer une séquence P0P0P1P0P Comment empêcher ce phénomène? [...]

[...] S.count 0 . } Événement { signaler . S.count 0 . . [...]

[...] Comment exécuter la section critique en exclusion mutuelle Considérons un système centralisé 3.2 Action atomique Action atomique: action indivisible par exemple une instruction câblée Considérons un langage de programmation simple du style C séquence, if, while . les processus peuvent utiliser des variables partagées affectation d'une VP par une valeur est atomique comparaison d'une VP avec une valeur est atomique pas d'instructions spéciales dans ce langage 3.3 Protocoles d'exclusion mutuelle Nous allons construire un protocole de l'exclusion mutuelle entre deux processus. Nous considérons deux processus cycliques dénotés P0 et P1 qui partagent une section critique dénotée SC0 dans P0 et SC1dans P1. H1. [...]

[...] Un processus ne reste pas infiniment dans sa section critique H2. Un processus en dehors du protocole ne peut pas interdire l'accès à la section critique H3. le protocole est construit en utilisant (un minimum) de variables partagées. H4. [...]

[...] Les variables du protocole sont privées H5. Le protocole enveloppe la section critique (Entrée; SC; Sortie) afin d'assurer son utilisation en exclusion mutuelle. H6. Aucune hypothèse concernant la vitesse des processus à part qu'elle est différente de 0. [...]