fix false ownership of mutexes due to tid reuse, using robust list