В комментарии по вопросу Автоматически выпускать мьютексы при сбоях в Unix еще в 2010 году, заявила Джилл:
glibc надежные мьютексы настолько быстры, потому что glibc принимает опасные ярлыки. Нет гарантии, что мьютекс все еще существует, когда ядро отмечает его как "вызывает EOWNERDEAD". Если мьютекс был уничтожен, а память заменена файлом с отображением памяти, в котором содержится последний идентификатор потока прав в нужном месте, а последний собственный поток заканчивается сразу после записи слова блокировки (но до полного удаления мьютекса из его списка принадлежащие мьютексам), файл поврежден. Устойчивые мьютексы Solaris и will-be-FreeBSD9 медленнее, потому что они не хотят этого риска.
Я не могу понять смысл претензии, так как уничтожение мьютекса не является законным, если оно не разблокировано (и, следовательно, не в каком-либо потоковом списке). Я также не могу найти ссылки на такие ошибки/проблемы. Была ли претензия просто ошибочной?
Причина, по которой я спрашиваю и что меня интересует, заключается в том, что это имеет отношение к правильности моей собственной реализации, основанной на одном и том же примитиве Linux-надежного мьютекса.