The futex and kutex implementations used the same linked list for waiting, however the futex implementation used kutexs and the same thread could be in the same list twice in the case of contention. This case corrupted the wait lists and led to deadlocks and lost wakeups. This change fixes the problem by having separate data structures for futexes and kutexes. Mutexes contended by multiple threads could lead to lost wakeups since only one contended thread was awoken and subsequent unlocks are unaware of the unawakened contended threads. This change fixes the problem with a temporary solution of waking all the contended threads until a better design is implemented. Additional details are tweaked to be more reliable and simpler.
47 lines
1.7 KiB
C
47 lines
1.7 KiB
C
/*
|
|
* Copyright (c) 2013, 2014, 2021, 2022 Jonas 'Sortie' Termansen.
|
|
*
|
|
* Permission to use, copy, modify, and distribute this software for any
|
|
* purpose with or without fee is hereby granted, provided that the above
|
|
* copyright notice and this permission notice appear in all copies.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
*
|
|
* pthread/pthread_mutex_unlock.c
|
|
* Unlocks a mutex.
|
|
*/
|
|
|
|
#include <sys/futex.h>
|
|
|
|
#include <limits.h>
|
|
#include <pthread.h>
|
|
#include <stdbool.h>
|
|
|
|
static const int UNLOCKED = 0;
|
|
static const int CONTENDED = 2;
|
|
|
|
int pthread_mutex_unlock(pthread_mutex_t* mutex)
|
|
{
|
|
if ( mutex->type == PTHREAD_MUTEX_RECURSIVE && mutex->recursion )
|
|
{
|
|
mutex->recursion--;
|
|
return 0;
|
|
}
|
|
mutex->owner = 0;
|
|
// TODO: Multiple threads could have caused the contention and this wakes
|
|
// only one such thread, but then the mutex returns to normal and the
|
|
// subsequent unlocks doesn't wake the other contended threads. Work
|
|
// around this bug by waking all of them instead, but it's better to
|
|
// instead count the number of waiting threads.
|
|
if ( __atomic_exchange_n(&mutex->lock, UNLOCKED,
|
|
__ATOMIC_SEQ_CST) == CONTENDED )
|
|
futex(&mutex->lock, FUTEX_WAKE, INT_MAX, NULL);
|
|
return 0;
|
|
}
|