Mutex

include/sync/mutex.h View source View on GitHub

Structs

mutex

struct mutex {
    _Atomic (uintptr_t)  lock_word;
};

Functions

mutex_init_chk_internal

void mutex_init_chk_internal(struct mutex *mtx, const struct lock_chk_class *class, enum lock_chk_flags flags);

mutex_set_chk_flags

void mutex_set_chk_flags(struct mutex *mtx, enum lock_chk_flags flags);

mutex_reinit_chk

void mutex_reinit_chk(struct mutex *mtx, const struct lock_chk_class *class, enum lock_chk_flags flags);

mutex_unlock_internal

void mutex_unlock_internal(struct mutex *mutex, const struct lock_chk_site *site);

mutex_lock_internal

void mutex_lock_internal(struct mutex *mutex, const struct lock_chk_site *site);

mutex_lock_subclass_internal

void mutex_lock_subclass_internal(struct mutex *mutex, uint8_t subclass, const struct lock_chk_site *site);

mutex_locked

bool mutex_locked(struct mutex *mtx);

mutex_get_owner

struct thread * mutex_get_owner(struct mutex *mtx);

mutex_assert_held_internal

void mutex_assert_held_internal(struct mutex *mtx, const struct lock_chk_site *site);

mutex_assert_not_held_internal

void mutex_assert_not_held_internal(struct mutex *mtx, const struct lock_chk_site *site);

Macros

MUTEX_INIT_CHK

#define MUTEX_INIT_CHK(class_, flags_) \
    ((struct mutex) { \
        .lock_word = ATOMIC_VAR_INIT(0), \
        .chk = LOCK_CHK_LOCK_VALUE_INIT((class_), (flags_)), \
    })

mutex_init_chk

#define mutex_init_chk(mtx_, class_, flags_) \
    mutex_init_chk_internal((mtx_), (class_), (flags_))

mutex_init_auto_internal

#define mutex_init_auto_internal(mtx_, flags_) \
    do { \
        static const struct lock_chk_class __auto_class = { \
            .name = #mtx_, \
            .file = __RELFILE__, \
            .line = __LINE__, \
        }; \
        mutex_init_chk_internal((mtx_), &__auto_class, (flags_)); \
    } while (0)

MUTEX_INIT_CHK

#define MUTEX_INIT_CHK(class_, flags_) \
    ((struct mutex) {.lock_word = ATOMIC_VAR_INIT(0)})

mutex_init_chk

#define mutex_init_chk(mtx_, class_, flags_) \
    mutex_init_chk_internal((mtx_), NULL, LOCK_UNCHKD)

mutex_init_auto_internal

#define mutex_init_auto_internal(mtx_, flags_) \
    mutex_init_chk_internal((mtx_), NULL, LOCK_UNCHKD)

MUTEX_INIT

#define MUTEX_INIT MUTEX_INIT_CHK(NULL, LOCK_CHKD_FULL)

MUTEX_DEFINE

#define MUTEX_DEFINE(id) struct mutex id = MUTEX_INIT

MUTEX_DEFINE_CHK

#define MUTEX_DEFINE_CHK(id, class_, flags_) \
    struct mutex id = MUTEX_INIT_CHK((class_), (flags_))

mutex_init_1

#define mutex_init_1(mtx_) mutex_init_auto_internal((mtx_), LOCK_CHKD_FULL)

mutex_init_2

#define mutex_init_2(mtx_, flags_) mutex_init_auto_internal((mtx_), (flags_))

mutex_init

#define mutex_init(...) _DISPATCH(mutex_init, PP_NARG(__VA_ARGS__))(__VA_ARGS__)

mutex_lock

#define mutex_lock(mutex_) mutex_lock_internal((mutex_), LOCK_CHK_SITE_HERE())

mutex_lock_subclass

#define mutex_lock_subclass(mutex_, subclass_) \
    mutex_lock_subclass_internal((mutex_), (subclass_), LOCK_CHK_SITE_HERE())

mutex_unlock

#define mutex_unlock(mutex_) \
    mutex_unlock_internal((mutex_), LOCK_CHK_SITE_HERE())

MUTEX_ASSERT_HELD

#define MUTEX_ASSERT_HELD(m) \
    mutex_assert_held_internal((m), LOCK_CHK_SITE_HERE())

MUTEX_ASSERT_NOT_HELD

#define MUTEX_ASSERT_NOT_HELD(m) \
    mutex_assert_not_held_internal((m), LOCK_CHK_SITE_HERE())

---