On 4/6/2023 9:03 AM, Petro Karashchenko wrote:
Yes. The main "mutex" attribute differentiating it from a binary semaphore is that it can be released only by a holder thread (even if priority inheritance is not enabled). And that is for the basic mutex, but recursive mutex also allows nested "obtain". So "recursive mutex" is not 1-to-1 the same as binary semaphore.
It is implemented some very simple, trivial logic on top of a binary semaphore. I see that more as an add-on behavior to the basic locking operation. I don't think it generates a different class of lock.
