jh::concepts::reentrance_capable_mutex Concept Reference

Concept for any mutex supporting some form of reentrance. More...

#include <jh/conceptual/mutex_like.h>

Concept definition

    template<typename M>
    concept reentrance_capable_mutex =
    recursive_mutex<M> || reentrant_mutex<M>

Detailed Description

Concept for any mutex supporting some form of reentrance.

A reentrance_capable_mutex satisfies either recursive_mutex (counting reentrance) or reentrant_mutex (idempotent reentrance).

Examples:

• std::recursive_mutex
• jh::typed::null_mutex_t