Анализ безопасности блокировок в функции с двумя mutex