diff options
author | Rich Felker <dalias@aerifal.cx> | 2011-08-03 10:21:32 -0400 |
---|---|---|
committer | Rich Felker <dalias@aerifal.cx> | 2011-08-03 10:21:32 -0400 |
commit | 50304f2eefb4c79ceaf4605203f3825a35d831c0 (patch) | |
tree | 85e109c5525ecd1f37c8df37c0ade861ec845764 /src/internal/pthread_impl.h | |
parent | 8aeee8db21858becb45a8e9f6b5bc23109638bcb (diff) | |
download | musl-50304f2eefb4c79ceaf4605203f3825a35d831c0.tar.gz musl-50304f2eefb4c79ceaf4605203f3825a35d831c0.tar.bz2 musl-50304f2eefb4c79ceaf4605203f3825a35d831c0.tar.xz musl-50304f2eefb4c79ceaf4605203f3825a35d831c0.zip |
overhaul rwlocks to address several issues
like mutexes and semaphores, rwlocks suffered from a race condition
where the unlock operation could access the lock memory after another
thread successfully obtained the lock (and possibly destroyed or
unmapped the object). this has been fixed in the same way it was fixed
for other lock types.
in addition, the previous implementation favored writers over readers.
in the absence of other considerations, that is the best behavior for
rwlocks, and posix explicitly allows it. however posix also requires
read locks to be recursive. if writers are favored, any attempt to
obtain a read lock while a writer is waiting for the lock will fail,
causing "recursive" read locks to deadlock. this can be avoided by
keeping track of which threads already hold read locks, but doing so
requires unbounded memory usage, and there must be a fallback case
that favors readers in case memory allocation failed. and all of this
must be synchronized. the cost, complexity, and risk of errors in
getting it right is too great, so we simply favor readers.
tracking of the owner of write locks has been removed, as it was not
useful for anything. it could allow deadlock detection, but it's not
clear to me that returning EDEADLK (which a buggy program is likely to
ignore) is better than deadlocking; at least the latter behavior
prevents further data corruption. a correct program cannot invoke this
situation anyway.
the reader count and write lock state, as well as the "last minute"
waiter flag have all been combined into a single atomic lock. this
means all state transitions for the lock are atomic compare-and-swap
operations. this makes establishing correctness much easier and may
improve performance.
finally, some code duplication has been cleaned up. more is called
for, especially the standard __timedwait idiom repeated in all locks.
Diffstat (limited to 'src/internal/pthread_impl.h')
-rw-r--r-- | src/internal/pthread_impl.h | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/internal/pthread_impl.h b/src/internal/pthread_impl.h index c11840d6..c853af88 100644 --- a/src/internal/pthread_impl.h +++ b/src/internal/pthread_impl.h @@ -67,10 +67,8 @@ struct __timer { #define _m_count __u.__i[5] #define _c_block __u.__i[0] #define _c_clock __u.__i[1] -#define _rw_wrlock __u.__i[0] -#define _rw_readers __u.__i[1] -#define _rw_waiters __u.__i[2] -#define _rw_owner __u.__i[3] +#define _rw_lock __u.__i[0] +#define _rw_waiters __u.__i[1] #define _b_inst __u.__p[0] #define _b_limit __u.__i[2] #define _b_lock __u.__i[3] |