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,11 +78,8 @@ 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)
-    {
-      // Remove one thread T from s.queue;
-      // Mark thread T as ready to run;
-    }
+    // Remove one thread T from s.queue;
+    // Mark thread T as ready to run;
   }
 
 Ces deux opérations sont bien entendu des opérations qui ne peuvent pas s'exécuter simultanément. Leur implémentation réelle comprend des sections critiques qui doivent être construites avec soin. Le pseudo-code ci-dessus ignore ces sections critiques. Des détails complémentaires sur l'implémentation des sémaphores peuvent être obtenus dans des livres de référence sur les systèmes d'exploitation [Stallings2011]_ [Tanenbaum+2009]_.