Exercices compémentaire - UV 19320

CORRECTIONS Exercices complémentaires Chapitre 8

Question 1: Coiffeur

a- Coiffeur

prend le 1er client de la file, s'il y en a un (sinon bloque)
décrémente Attend (accès exclusif)
libère le siège du client (l'invite à s'asseoir)
Coiffe

Client

Si le nombre de clients en attente est supérieur à N, sort
décrémente Attend (accès exclusif)
s'ajoute à la file d'attente
attend de pouvoir s'asseoir dans le siège du coiffeur
se fait coiffer et sort.

b- Rôle de chacun des sémaphores SCF, SP et SX :

SX : assure l'accès en exclusion mutuelle à la variable Attend. Attendpermet de contrôler la taille maximale de la file d'attente
SP : gère la file des clients en attente. Indique le nombre de ressources pour le coiffeur, c'est à dire le nombre de clients en attente,
SCF : gère l'accès au fauteil du coiffeur. Indique si le coiffeur est prêt à travailler ou non (il est la essource unique des clients).

Question 2 : Carrefour

Sémaphores utilisés :

Init (X1, 1), Init (X2, 1), Init (SF1, 1), Init (SF2, 0);

Changement	Traversee1	Traversee2
{int Feu = 1; while(1) {sleep(Duree_du_feu); if (Feu == 1) { P(SF1); V(SF2); Feu = 2;} else { P(SF2); V(SF1); Feu = 1;} } }	{ P(SX1); P(SF1); Traversee(); V(SF1); V(SX1); }	{ P(SX2); P(SF2); Traversee(); V(SF2); V(SX2); }

SX1 et SX2 sont introduits pour éviter que les voitures attendent sur SF1 et SF2 et bloquent de ce fait les changements de feu effectués par Changement.

Question 3 : Opérations atomiques

Réponse :

a- Couples possibles :

x = 0, y = 0
x = 2, y = 0
x = 2, y = 1

b- On utilise un sémaphore S initialisé ainsi : Init(S, 1).

Processus P1	Processus P2
* P (S); x = x + 1; y = y + 1; V (S); printf("x=%d,y=%d\n", x, y); *	*** P (S); x = x * 2; y = y * 2; V (S); printf("x=%d,y=%d\n", x, y); ***