- we should probably extend pthread_mutexattr_t with a field to create a
  single linked list of all instances.  This requires changing the
  pthread_mutexattr_* functions.


- a new attribute for mutexes: number of times we spin before calling
sys_futex



- test with threaded process terminating and semadj (?) being applied
  only after all threads are gone