|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
A simple ticket lock. More...
#include <locks.hh>
Public Member Functions | |
| void | lock () |
| Acquire the lock. | |
| void | unlock () |
| Release the lock. | |
A simple ticket lock.
A ticket lock ensures that threads that arrive are serviced in order, without regard for priorities. It has no mechanism for tracking tickets that are discarded and so does not implement a try_lock API.
|
inline |
|
inline |
Release the lock.
Note: This does not check that the lock is owned by the calling thread.
Definition at line 233 of file locks.hh.
References ticketlock_unlock().