Make clear that futex_wake in sem_post gets passed the new value.

diff --git a/nptl/DESIGN-sem.txt b/nptl/DESIGN-sem.txt
index d25a1c281d195dec50364ca9289f26e9efd1ec94..17eb0c11c876dc8677c22ee74f461f82fdded61d 100644 (file)
--- a/nptl/DESIGN-sem.txt
+++ b/nptl/DESIGN-sem.txt
@@ -26,7 +26,8 @@ sem_wait(sem_t *sem)
 sem_post(sem_t *sem)
 {
   n = atomic_increment(sem->count);
-  futex_wake(&sem->count, n);
+  // Pass the new value of sem->count
+  futex_wake(&sem->count, n + 1);
 }
 
 sem_trywait(sem_t *sem)