Memory safe access to shared resources
In RTIC, locks are implemented as critical sections that prevent other tasks from starting. These critical sections are implemented by temporarily increasing the dynamic priority of the current context. Entering and leaving these critical sections is always done in bounded constant time (a few instructions in bare metal contexts).
Data protected by the mutex
Creates a critical section and grants temporary access to the protected data