Discussion :

[kaso54]

Bonjour,

Je suis débutante et j'ai un exercice sur la synchronisation des processus:
Des travaux de rénovation doivent être faits dans les douches des garçons d’une université. En attendant, ceux-ci devront utiliser les douches des filles. Pour éviter tout problème, on décide que lorsqu’une fille estdans les douches, une autre fille peut y entrer, mais pas un garçon, et vice versa. Une glissière placée sur la porte des douches indique 3 « états » possibles : vide, occupée par les filles, occupée par les garçons.

1/ En utilisant des sémaphores, donner le code des fonctions fille_veut_entrer(), garçon_veut_entrer(), fille_sort() et garçon_sort()

Est-ce que quelqu'un pourrait m'aider svp?

Merci d'avance.

[hegros]

tu as regardé les fonctions disponible pour utiliser les semaphores comme semop par exemple cela devrait t'aider à démarrer. man semop

[matafan]

L'implémentation va pas mal dépendre des opérations que tu as le droit de faire sur tes sémaphores.

Par exemple sous les unixoïdes il y a deux types d'API : system V (semget, semctl, semop...) et posix (sem_init, sem_post, sem_wait...). Avec les sémaphores system V tu as la notion de "semaphore set" sur lesquels tu peux faire des opérations de manière atomique, et tu as aussi une opération "wait for zero". Tout ceci simplifie pas mal les algos dans le cas de ton problème. Avec l'API posix par contre tu n'as pas tout ça, et ça complique un peu les choses.

Maintenant peut-être qu'on te demande ça uniquement d'un point de vue algorithmique. Dans ce cas tu es certainement limité aux opérations d'incrémentation/décrémentation (ce qui revient à l'API posix, en fait).

Donc dis nous un peu à quoi tu as droit.

[kaso54]

Merci pour votre aide
Dans ce cas précis je pense que l'on me demande l'algo tout simplement. Mais je ne sais pas par quoi commencer. Ce qu'il faut incrémenter/décrémenter...

Merci d'avance pour votre aide.

[Obsidian]

Des travaux de rénovation doivent être faits dans les douches des garçons d’une université. En attendant, ceux-ci devront utiliser les douches des filles. Pour éviter tout problème, on décide que lorsqu’une fille estdans les douches, une autre fille peut y entrer, mais pas un garçon, et vice versa. Une glissière placée sur la porte des douches indique 3 « états » possibles : vide, occupée par les filles, occupée par les garçons.

Y a que moi pour trouver que c'est le meilleur énoncé de la décénie ?

[Obsidian]

Mais je ne sais pas par quoi commencer. Ce qu'il faut incrémenter/décrémenter... Merci d'avance pour votre aide.

Étant donné que le nombre de personnes pouvant entrer dans la douche est soit nul soit illimité selon le sexe, ce ne sont pas les sémaphores en eux-mêmes qui vont te servir à en tenir le compte. Par contre, ils permettent de mettre officiellement un processus en attente (qu'il soit abstrait ou réellement en exécution sur un ordinateur), mais l'ordre d'arrivée des demandes (premier arrivé, premier servi) n'est pas garanti.

La première chose à voir est si tu as droit aux semaphore sets, qui te permettent de modifier plusieurs sémaphores en même temps et en une seule opération atomique. Dans le cas contraire, il te faudra un sémaphore supplémentaire dont l'unique fonction sera la garantie de l'atomicité des opérations.

Ensuite, il te faut deux sémaphores. Un pour les filles, l'autre pour les garçons.

Je te laisse chercher avec çà pour le moment. Poste un peu de code, et on te guidera vers la solution.


Sache également qu'à terme, ce problème servira d'introduction aux problèmes de « famine » qui, transposés dans ta situation, correspondraient à peu près à « comment empêcher les filles / les garçons de squatter la douche et bouffer toute l'eau chaude ».

[Médinoc]

En fait, ça me parait un poil plus compliqué que cela, un peu à la façon d'un modèle lecteurs/écrivain mais avec plusieurs écrivains...

Et pour ça, les sémaphores ne suffisent pas vraiment, car le nombre de garçons et filles n'est pas spécifié. Disons qu'il faut en plus un compteur, et un verrou par-dessus tout ça, etc.

Au minimum, il faut, en plus de tes trois états, un compteur d'occupants. Mais il faut aussi que le premier garçon qui peut entrer débloque tous les autres, et ça n'est pas vraiment possible avec un sémaphore: Il faut plutôt un Événement (je crois que sous nux, on appelle ça une Condition) pour ça...

[Obsidian]

Disons qu'il faut en plus un compteur, et un verrou par-dessus tout ça, etc.

Oui, c'est ce que j'expliquais au dessus de manière un peu plus sibylline.

Au minimum, il faut, en plus de tes trois états, un compteur d'occupants. Mais il faut aussi que le premier garçon qui peut entrer débloque tous les autres, et ça n'est pas vraiment possible avec un sémaphore: Il faut plutôt un Événement (je crois que sous nux, on appelle ça une Condition) pour ça...

En fait, la solution, c'est que chaque candidat baisse le sémaphore de son genre, puis qu'en entrant, le premier arrivé baisse celui de l'autre sexe, et que chaque occupant (premier ou pas) remonte son sémaphore une fois entré. Ça fait deux sémaphores binaires, plus un éventuellement pour l'atomicité de la transaction si on n'a pas droit aux sémaphores sets.