Может ли условие, когда один процесс/поток заблокирован, пытаясь получить тот же мьютекс, называется «тупиком»?тупик в одном процессе -?
mutex_lock (& мьютекс) - успех
...
mutex_lock (& мьютекс) - заблокирован, мьютекс не выпустили
Кажется, как состояние "nonshearable ресурса" не применяется: здесь только одного process/thread, так что ни один случай непереходного ресурса удерживать и ждать: вот только один процесс, чтобы не ждать, пока другой процесс освободит запрошенный ресурс
С помощью [рекурсивного мьютекса] (http://stackoverflow.com/q/187761/60761) проблема не возникнет. Без него это просто ошибка в алгоритме. –
Абсолютно ... Я просто задаюсь вопросом о кажущихся формальных несоответствиях с «необработанными условиями тупика» Коллемана: 2. Удержание и ожидание или холдинг ресурсов. В настоящее время процесс содержит хотя бы один ресурс и запрашивает дополнительные ресурсы, которые хранятся другими процессами - никаких других процессов в этом случае – user270398
Ваша нить запрашивает ресурс, который уже поддерживается потоком. То, что это одна и та же нить, не имеет значения, просто странно. –