Что такое рекурсивный мьютекс?

Рекурсивный (или реентерабельный) мьютекс — это тип примитива синхронизации, который позволяет потоку, уже владеющему мьютексом, снова заблокировать его, не вызывая взаимоблокировку.

Основные особенности:

• Многократная блокировка: Один и тот же поток может вызвать lock() (или эквивалентную функцию) на рекурсивном мьютексе несколько раз.
• Счетчик владения: Мьютекс хранит счетчик, который увеличивается при каждом повторном захвате потоком-владельцем.
• Разблокировка: Мьютекс становится полностью свободным только после того, как поток-владелец вызовет unlock() (или эквивалентную функцию) столько же раз, сколько было сделано блокировок.
• Неблокирующие потоки: Другие потоки, пытающиеся захватить рекурсивный мьютекс, пока он занят, будут заблокированы до тех пор, пока владеющий поток не освободит его полнос