1 - we should probably extend pthread_mutexattr_t with a field to create a
2 single linked list of all instances. This requires changing the
3 pthread_mutexattr_* functions.
6 - a new attribute for mutexes: number of times we spin before calling
9 - for adaptive mutexes: when releasing, determine whether somebody spins.
10 If yes, for a short time release lock. If someone else locks no wakeup
15 - test with threaded process terminating and semadj (?) being applied
16 only after all threads are gone