Discussion :

[JustMed]

Bonjour à tous,

Je dois coder un petit programme ayant les consignes suivantes :

Réalisez la synchronisation de ces 3 tâches :

Tâche T1 : doit créer un tableau n°1 de données (random de int de 1 à 10) et s'endort 100ms
Tâche T2 : lit le tableau n°1, en récupérant que les données int <5 et les recopie dans un autre tableau n°2 . Puis elle s'endort 200ms.
Tâche T3 : affiche le tableau 2 à l'écran quand la tâche T2 a terminé.

Donc j'en déduis que l'on doit recevoir des données avec T1 avant de pouvoir lancer T2.

Je pense réaliser cette synchronisation qu'avec 3 sémaphores :

Semaphore Stableau1, Stableau2 : qui protègent en mutex les tableaux 1 et 2
Semaphore Safficher : qui lance l'affichage que si T2 est fini.

Code :

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

1
2
3
4
5
6
7
8
9
tâches T1 (){

Pour tout le tableau1 
  P(Stableau1);
  tableau1 := données de 1 à 10;
  V(Stableau1);
Fin pour.
}

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
tâches T2 (){

P(Stableau2);
P(Stableau1);

Pour tout le tableau 2
  tableau2 := les données du tableau1 qui sont < à 5
Fin pour.

V(Stableau2);
V(Stableau1);


}

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
tâches T3 (){

P(Safficher);
P(Stableau2);

Pour tout le tableau 2
  tableau2 := les données du tableau1 qui sont < à 5
Fin pour.

V(Safficher);
V(Stableau2);

}

Que pensez-vous de mon raisonnement ? Est ce que j'utilise correctement les sémaphores ? Est ce qu'il n'y aura pas des problèmes car T1 et T2 s'endorment ?

Merci de votre aide

[Bktero]

J'en pense qu'on dirait mes exos de temps réel d'école

J'en pense aussi que :

• le sémaphore d'affichage n'est pris que par T3 et ne sert donc à rien. T2 n'indique pas qu'elle a fini sa tâche.
• la prise et le relâchement dans T1 doivent se faire hors de la boucle
• 2 sémaphores ne pourraient pas être suffisants ? (*)
• tu ne risques pas de problème avec T1 et T2 car ils ne prennent pas exactement tous les mêmes sémaphores, pas de risque d'interblocage donc.
• ce sont des mutex plus que des sémaphores.

(*)

Code :

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

1
2
3
4
5
6
7
8
T1()
{
    P(mutex_tableau_1)
    Ecrire()
    V(mutex_tableau_1)
    Dodo()
}

Code :

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

1
2
3
4
5
6
7
8
9
10
T2()
{
    P(mutex_tableau_2)
    P(mutex_tableau_1)
    Travailler()
    V(mutex_tableau_1)
    Dodo()
    V(mutex_tableau_2)
}

Code :

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

1
2
3
4
5
6
7
T2()
{
    P(mutex_tableau_2) // si on y arrive, cela signifie que T2() est terminee
    Afficher()
    V(mutex_tableau_2)
}

[JustMed]

Mille merci pour ta réponse !!!

Il y a juste quelque chose que je ne comprends pas.
Comment faire pour que la tâche T3 s'exécute uniquement QUE si T2 a fini ?
C'est pour cela que j'avais mis un sémaphore "Safficher" afin qu'il lance T3 que si la fonction V du semaphore dans T2 est activé;

[Bktero]

Pour être exact, tu souhaites que T3 ne s’exécute qu'une seule fois après la modification par T2 du graphique ; et non "en permanence" dés que le mutex est libre ?

Si oui, défini une variable globale, par exemple un booléen : nouvellesDonnees. T2 le met à True quand il modifie le tableau 2, à l'intérieur de la section critique de mutex_tableau_2. T3 entre dans la section critique de mutex_tableau_2 de manière cycliquement et regarde l'état de nouvellesDonnees.

• Si nouvellesDonnees == False, alors elle n'y a rien à faire et T3 se termine en relâchant le mutex.
• Si nouvellesDonnees == True, alors elle affiche les données, repasse cette variable à False, libère le mutex et se termine.

Tu pourrais aussi utiliser un sémaphore nouvellesDonnees pour implémenter une sorte de signal. T3 vient se mettre en atteinte d'un jeton de ce sémaphore. Lorsque T2 a fini la mise à jour du tableau, il crée un jeton de ce sémaphore. Pas la peine de le relâcher, surtout si T3 est une tâche cyclique, sinon il pourra re-consommer le jeton qu'il vient de libérer.


En fait, je m'étais basé sur des tâches cycliques et j'avais un peu simplifié ton raisonnement. Au temps pour moi !