Discussion :

[kimcharlene]

bonjour

j'ai un petit probleme de compréhension.

Supposons le mini algo suivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 
mutex : semaphore<-3
proc exemple()
    P(mutex)
        //acces a la ressource
    V(mutex)
fin proc

Est ce possible d'initialiser mutex a 3 afin que 3 processus puisse accèder à la ressource sinon comment faire?

merci

[pseudocode]

Pour créer un sémaphore, il faut au moins 2 mutex (binaires). Un mutex pour controler l'accès au compteur, et un pour bloquer/débloquer les threads lorsque le compteur est négatif.

[3DArchi]

Bonjour,
J'ai toujours cru qu'un mutex était un sémaphore particulier (binaire).
J'avais cru comprendre qu'un mutex ou un sémaphore était implémenté avec une instruction de type test-and-set.

[pseudocode]

Bonjour,
J'ai toujours cru qu'un mutex était un sémaphore particulier (binaire).
J'avais cru comprendre qu'un mutex ou un sémaphore était implémenté avec une instruction de type test-and-set.

Les 2 interprétations sont possibles, suivant l'objet de base dont on dispose.

- Si on dispose seulement d'un mutex binaire (aka monitor), on peut construire un sémaphore de Dijkstra avec 2 mutex.
- Si on dispose seulement d'un sémaphore de Dijkstra, on peut trivialement l'utiliser comme un mutex binaire.

Dans les 2 cas, il faut effectivement que la suite d'opération test+set soit non interruptible.