|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
State for a barrier. More...
#include <locks.h>
Public Member Functions | |
| _Atomic (uint32_t) remaining | |
| The number of threads that have to rendezvous with this barrier to allow waiters to wake. | |
State for a barrier.
A barrier is a primitive that allows a set of threads to rendezvous. Each thread arrives at the barrier and blocks. All threads can proceed once every thread is there. Barriers must be initialised with the number of threads that can reach them.