TODO 362 B

123456789101112
  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.
  4. - a new attribute for mutexes: number of times we spin before calling
  5. sys_futex
  6. - test with threaded process terminating and semadj (?) being applied
  7. only after all threads are gone