3 Commits

Author	SHA1	Message	Date
Jason Evans	108c4a11e9	Fix witness/fork() interactions. ... Fix witness to clear its list of owned mutexes in the child if platform-specific malloc_mutex code re-initializes mutexes rather than unlocking them.	2016-04-26 10:47:22 -07:00
Jason Evans	174c0c3a9c	Fix fork()-related lock rank ordering reversals.	2016-04-25 23:16:20 -07:00
Jason Evans	b2c0d6322d	Add witness, a simple online locking validator. ... This resolves #358.	2016-04-14 02:09:28 -07:00