Discussion :

[Xanh83]

Bonjour,

J'aurais besoin d'un peu d'aide concernant les sémaphores.
Je souhaiterais synchroniser trois processus ( P1, P2, P3 ).
Chacun ayant une tache bien défini ( par exemple P1 crées des données, P2 les lit, P3 les enregistres ).
J'ai fais pas mal de recherche sur internet, pour réussir à trouver ceci:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(sem)
  début
    k = k -1;
    si k < 0 alors
      mettre le processus appelant dans la liste L;
      endormir le processus appelant;
    finsi
  fin
Déblocage du processus
 
v(sem)
  début
    k = k + 1;
    si k <= 0 alors
      sortir un processus de la liste d''attente
      réveiller le processus
    fin si
  fin

voila cela dit je ne comprend pas le fonctionnement exact.
D'autant plus que je ne comprend pas pourquoi aucune instruction n'est mise dans ce code. Je fais peut être fausse route ( Surement même ^^ ) enfin voila j'aimerais un peu d'aide si possible ca fais trop longtemps que je galère pour au final tourner en rond, ma question est donc commment synchroniser trois processus ?
Merci d'avance.

[pouletchu]

Salut,

Tout d'abord tu veux programmer ça sous quel os ?

Sous linux tu as plusieurs manières de synchroniser les pus :
->signaux
->tubes
->ipc system (semaphores...)

les threads permettent d'utiliser des mutex (semaphore d'exclusion mutuelle) si tu sais ce qu'est un thread (pus leger...)

Le code que tu as indiqué ci dessus indique comment sont implémentés les opérations prendre et vendre des sémaphores. La variable k indique le nombre de fois que le semaphore peut être pris (operation prendre). Prenons l'exemple de deux pus que nous voulons synchroniser nous prenons donc deux semaphores S1 et S2 avec k=0

Code :

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

1
2
3
4
5
6
7
 P1                     P2 
  |                      |
  |                      |
 P(S1)                V(S1)
 V(S2)                P(S2)  
  |                      |
  |                      |

Ou un autre exemple si tu veux que P2 commence une fois que P1 est terminé

Code :

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

1
2
3
4
5
6
7
 P1                     P2
  |                   P(S1)
  |                      |
  |                      |
  |                      |
  |                      |
V(S1)                    |

Déroule ton pseudo code tu devrais comprendre.

[tim974]

En gros quand tu fais un P() sur un sémaphore cela le décrémente et s'il est à 0, il met tout les autres en file d'attente en sleep.
D'où l'intérêt de mettre la sémaphore à 1 si tu veux qu'un unique processus y accède.
Quand tu fais un V() sur le sémaphore cela l'incrémente et il réveille le prochain sur la file d'attente!
Le principe est simple, le code l'est moins

[themus]

le plus simple serait peu-être d'utiliser une message queue (msget, msgrcv, msgsnd) et de mettre les processes en attente d'un type particulier de message :

exemple:
P1 fait ce qu'il a faire et envoie un message de type 12
P2 attend les messages de type 12 , fait ce qu'il a faire quand il recoit un tel message et envoie un message de type 23 une fois le traitement fini
P3 attend les messages de 23 et fait ce qu'il a faire quand il recoit un tel message