Semaphore

Bonjour,
je besoin la solution dde cet exercices...
soit deux processus p1 et p2 et trois variables x,y et z
le processus p1 execute x:=y+z et p2 lit le contenu de x y z
- ecrire les processus p1 p2 en utilisant les semaphores
- demontrer que pendant que l'un des deu processus est en train de manipuler les variables, l'autre ne peut pas le faire
- demonter que les processus ne peuvent pas etre en blocage intempestif(attendre en meme temps pour manipuler les variables x y z)


et merci