diff options
| -rw-r--r-- | src/thread/pthread_barrier_destroy.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/thread/pthread_barrier_destroy.c b/src/thread/pthread_barrier_destroy.c index f82664d5..3ebc2b39 100644 --- a/src/thread/pthread_barrier_destroy.c +++ b/src/thread/pthread_barrier_destroy.c @@ -5,6 +5,8 @@ void __vm_lock(int), __vm_unlock(void); int pthread_barrier_destroy(pthread_barrier_t *b) { if (b->_b_limit < 0) { + int seq = b->_b_seq; + if (seq & 1) __wait(&b->_b_seq, 0, seq, 0); __vm_lock(-1); __vm_unlock(); } |