summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/thread/pthread_barrier_wait.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/thread/pthread_barrier_wait.c b/src/thread/pthread_barrier_wait.c
index 71f7b5fe..6052925a 100644
--- a/src/thread/pthread_barrier_wait.c
+++ b/src/thread/pthread_barrier_wait.c
@@ -13,9 +13,9 @@ void __vm_lock(int inc)
void __vm_unlock(void)
{
- if (vmlock[0]>0) a_dec(vmlock);
- else a_inc(vmlock);
- if (vmlock[1]) __wake(vmlock, 1, 1);
+ int inc = vmlock[0]>0 ? -1 : 1;
+ if (a_fetch_add(vmlock, inc)==-inc && vmlock[1])
+ __wake(vmlock, -1, 1);
}
static int pshared_barrier_wait(pthread_barrier_t *b)