jh::concepts::recursive_mutex Concept Reference

Concept for counting reentrant (recursive) mutexes. More...

#include <jh/conceptual/mutex_like.h>

Concept definition

    template<typename M>
    concept recursive_mutex =
    mutex_like<M> &&
    (recursive_registry<std::remove_cvref_t<M>>::value || requires {
        typename M::is_recursive_tag;
        requires std::convertible_to<typename M::is_recursive_tag, std::true_type>;
    })

Detailed Description

Concept for counting reentrant (recursive) mutexes.

A recursive mutex allows repeated locking by the same thread, maintaining an internal depth counter. It must be unlocked the same number of times as it was locked.

Examples:

• std::recursive_mutex
• std::recursive_timed_mutex