|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
State for a flag lock. More...
#include <locks.h>
Public Member Functions | |
| _Atomic (uint32_t) lockWord | |
| The lock word. | |
State for a flag lock.
Flag locks use a single futex word to store the lock state.
| FlagLockState::_Atomic | ( | uint32_t | ) |
The lock word.
One bit is used to indicate that the lock is held, another to indicate that the lock has waiters. In priority-inheriting locks, the low 16 bits store the ID of the thread that currently holds the lock.