Discussion :

[Jeanok]

Bonjour à tous, je bloque sur une question d'un exercice (pour ceux qui s'y connaissent en processus et sémaphore):

Soit n+1 processus P0, P1..Pn qui partagent un buffer B.

B peut contenir une valeur de type quelconque T.

Le processus P0 appelé diffuseur, produit et place dans le buffer une valeur V(de type T) qui doit être lue par tous les autres processus Pi, i =1,2,...,n appelés récepteurs.

Chaque valeur produite et déposée dans le buffer B doit être lue par tous les récepteurs avant la production et le dépôt de la valeur suivante par le processus diffuseur P0.

Une valeur déposée dans B ne peut être lue qu'une seule fois par un processus récepteur.

1) Expliquer en utilisant des sémaphores, les règles de synchronisation des processus pour réaliser la diffusion d'une valeur P0 vers les autres processus

Je vois pas trop comment expliquer en fait, j'ai écris ça: le processus P0 (non bloqué donc égale à 1 en sémaphore) envoie un message(ou valeur) au buffer B puis ce message va être envoyé à tous les autres processus, puis P0 se bloque (donc il prend la valeur 0 en sémaphore pour être bloqué) jusqu'à ce que tous les autres processus aient bien reçu le message (et il prend la valeur 1 pour se débloquer) et ainsi de suite (en boucle?) non? A moins que j'ai pas compris?

[netmonk]

Le processus 0 vérifie que tous les semaphores Si=0 pour tout i appartenant a [1..n+1]
Le processus 0 apres avoir écrit une valeur dans le buffer, met tous les Si=1 pour i appartenant a [1..n+1] .
Le processus 0 apres avoir écrit, ne peut pas ecrire une nouvelle valeur dans le buffer tant qu'il existe y appartenant a [1..n+1] tel que Sy=1 soit vrai .

Le processus j (Pj) avec j appartenant a [1..n+1] verifie la valeur de son sémaphore associé Sj, si Sj=1 alors nouvelle valeur a lire.
Le Pj va lire la valeur, et met Sj=0.
Si Sj=0 rien a faire il attend.

[Jeanok]

Le processus 0 vérifie que tous les semaphores Si=0 pour tout i appartenant a [1..n+1]
Le processus 0 apres avoir écrit une valeur dans le buffer, met tous les Si=1 pour i appartenant a [1..n+1] .
Le processus 0 apres avoir écrit, ne peut pas ecrire une nouvelle valeur dans le buffer tant qu'il existe y appartenant a [1..n+1] tel que Sy=1 soit vrai .

Le processus j (Pj) avec j appartenant a [1..n+1] verifie la valeur de son sémaphore associé Sj, si Sj=1 alors nouvelle valeur a lire.
Le Pj va lire la valeur, et met Sj=0.
Si Sj=0 rien a faire il attend.

Merci pour ta réponse, Si, Sy, et Sj c'est les même non? puisque i,y,j appartiennent à [1..n+1], pourquoi les appeler de 3 manières différentes?

[netmonk]

Merci pour ta réponse, Si, Sy, et Sj c'est les même non? puisque i,y,j appartiennent à [1..n+1], pourquoi les appeler de 3 manières différentes?

Ca marche aussi, mais disons que si je code, il y a plusieurs boucles, donc tu peux nommer les variables de boucles de maniere differentes pour ne pas tout mélanger.

[Jeanok]

Ca marche aussi, mais disons que si je code, il y a plusieurs boucles, donc tu peux nommer les variables de boucles de maniere differentes pour ne pas tout mélanger.

Ah d'accord, merci