X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=compat_futex.c;h=9a08624bbab59be80c9472331f7b8e4ef0f5d54c;hp=e7342fe38ccda2330b45e157cd0c1d7cb02cd3ef;hb=8999a9ee7abe868caf8f5327d8b2e8b8b44ee87d;hpb=5c02e37d09b7b89f68429751344d2af00c89f4fd

diff --git a/compat_futex.c b/compat_futex.c
index e7342fe..9a08624 100644
--- a/compat_futex.c
+++ b/compat_futex.c
@@ -72,17 +72,26 @@ int compat_futex_noasync(int32_t *uaddr, int op, int32_t val,
 	assert(!ret);
 	switch (op) {
 	case FUTEX_WAIT:
-		if (*uaddr != val)
-			goto end;
-		pthread_cond_wait(&__urcu_compat_futex_cond, &__urcu_compat_futex_lock);
+		/*
+		 * Wait until *uaddr is changed to something else than "val".
+		 * Comparing *uaddr content against val figures out which
+		 * thread has been awakened.
+		 */
+		while (*uaddr == val)
+			pthread_cond_wait(&__urcu_compat_futex_cond,
+				&__urcu_compat_futex_lock);
 		break;
 	case FUTEX_WAKE:
+		/*
+		 * Each wake is sending a broadcast, thus attempting wakeup of
+		 * all awaiting threads, independently of their respective
+		 * uaddr.
+		 */
 		pthread_cond_broadcast(&__urcu_compat_futex_cond);
 		break;
 	default:
 		gret = -EINVAL;
 	}
-end:
 	ret = pthread_mutex_unlock(&__urcu_compat_futex_lock);
 	assert(!ret);
 	return gret;