diff --git a/src/thread/pthread_barrier_destroy.c b/src/thread/pthread_barrier_destroy.c index f82664d5419181c9c10a669d55d726b738e54f01..3ebc2b39a2c6af2ec58e09752aa0ef9464e8e9fc 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(); }