В комментарии к вопросуАвтоматически освобождать мьютекс при сбоях в Unix Еще в 2010 году Джиллс утверждал:

glibc's robust mutexes are so fast because glibc takes dangerous shortcuts. There is no guarantee that the mutex still exists when the kernel marks it as "will cause EOWNERDEAD". If the mutex was destroyed and the memory replaced by a memory mapped file that happens to contain the last owning thread's ID at the right place and the last owning thread terminates just after writing the lock word (but before fully removing the mutex from its list of owned mutexes), the file is corrupted. Solaris and will-be-FreeBSD9 robust mutexes are slower because they do not want to take this risk.

Я не могу иметь никакого смысла в этом утверждении, поскольку уничтожение мьютекса не является законным, если оно не разблокировано (и, следовательно, отсутствует в надежном списке какого-либо потока). Я также не могу найти никаких ссылок, ищущих такую ошибку / проблему. Был ли иск просто ошибочным?

Причина, по которой я спрашиваю и которая мне интересна, заключается в том, что это имеет отношение к правильности моей собственной реализации, построенной на том же примитиве робаст-мьютекс Linux.