fix false ownership of mutexes due to tid reuse, using robust list
[musl] / src / thread / pthread_mutex_unlock.c
1 #include "pthread_impl.h"
2
3 void __vm_lock_impl(int);
4 void __vm_unlock_impl(void);
5
6 int pthread_mutex_unlock(pthread_mutex_t *m)
7 {
8         pthread_t self;
9         int waiters = m->_m_waiters;
10         int cont;
11         int type = m->_m_type & 15;
12         int priv = (m->_m_type & 128) ^ 128;
13
14         if (type != PTHREAD_MUTEX_NORMAL) {
15                 if (!m->_m_lock)
16                         return EPERM;
17                 self = __pthread_self();
18                 if ((m->_m_lock&0x7fffffff) != self->tid)
19                         return EPERM;
20                 if ((type&3) == PTHREAD_MUTEX_RECURSIVE && m->_m_count)
21                         return m->_m_count--, 0;
22                 if (!priv) {
23                         self->robust_list.pending = &m->_m_next;
24                         __vm_lock_impl(+1);
25                 }
26                 *(void **)m->_m_prev = m->_m_next;
27                 if (m->_m_next) ((void **)m->_m_next)[-1] = m->_m_prev;
28         }
29         cont = a_swap(&m->_m_lock, 0);
30         if (type != PTHREAD_MUTEX_NORMAL && !priv) {
31                 self->robust_list.pending = 0;
32                 __vm_unlock_impl();
33         }
34         if (waiters || cont<0)
35                 __wake(&m->_m_lock, 1, priv);
36         return 0;
37 }