Correction du pseudocode pour valeur non-signée

Author: precondition

Theorie/Threads/coordination.rst

@@ -59,12 +59,15 @@ Les deux principales fonctions de manipulation des sémaphores sont `sem_wait(3)
 
  int sem_wait(semaphore *s)
  {
-  s->val=s->val-1;
-  if(s->val<0)
-  {
-   // Place this thread in s.queue;
-   // This thread is blocked;
-  }
+   if(s->val>0)
+   {
+      s->val=s->val-1;
+   }
+   if(s->val==0)
+   {
+     // Place this thread in s.queue;
+     // This thread is blocked;
+   }
  }
 
 La fonction `sem_post(3)`_ quant à elle peut schématiquement s'implémenter comme suit :
@@ -75,7 +78,7 @@ La fonction `sem_post(3)`_ quant à elle peut schématiquement s'implémenter co
   int sem_post(semaphore *s)
   {
     s->val=s->val+1;
-    if(s.val<=0)
+    if(s.val==0)
     {
       // Remove one thread T from s.queue;
       // Mark thread T as ready to run;