Dans mon cours on étudie les wake et sleep avant d'étudier les semphores. Ici le problème des wake() et sleep() c'est qu'un des processus peut s'endormir pour toujours (ou pas ? J'ai pas trop compris ).
J'ai pas compris comment P(S) et V(S) pouvait être des opérations atomiques indivisibles et en quoi ça réglait le problème précèdent des wake et sleep.