note that entering / leaving a critical section is always constant time

This commit is contained in:
Jorge Aparicio 2018-12-17 01:43:12 +01:00
parent 313a2074d7
commit 7de9687dfa

View file

@ -253,7 +253,8 @@ impl U32Ext for u32 {
/// ///
/// In RTFM, locks are implemented as critical sections that prevent other tasks from *starting*. /// In RTFM, locks are implemented as critical sections that prevent other tasks from *starting*.
/// These critical sections are implemented by temporarily increasing the dynamic priority (see /// These critical sections are implemented by temporarily increasing the dynamic priority (see
/// [BASEPRI]) of the current context. /// [BASEPRI]) of the current context. Entering and leaving these critical sections is always done
/// in constant time (a few instructions).
/// ///
/// [BASEPRI]: https://developer.arm.com/products/architecture/cpu-architecture/m-profile/docs/100701/latest/special-purpose-mask-registers /// [BASEPRI]: https://developer.arm.com/products/architecture/cpu-architecture/m-profile/docs/100701/latest/special-purpose-mask-registers
pub trait Mutex { pub trait Mutex {