pub struct CriticalSection(PhantomData<()>);
Expand description

Helper struct that automatically restores interrupts on drop. The wrapped PhantomData creates a private field to ensure that this struct cannot be initialized from outside of this module without using its unsafe initializer function new. The recommended use to enter a CriticalSection is to pass a closure to without_interrupts.

When the feature unsafe-no-critical-section-count is disabled, this implementation is also safe w.r.t. nested calls of without_interrupts. This is achieved by counting how many CriticalSections were entered, and only enabling device interrupts once the last CriticalSection is exited. However, as these checks incur a small runtime overhead, they can be disabled with the feature unsafe-no-critical-section-count. Note that, for execution consistency, a user must then ensure that without_interrupts will never be nested!

Tuple Fields§

§0: PhantomData<()>

Implementations§

source§

impl CriticalSection

source

pub unsafe fn new() -> Self

Upon entering any CriticalSection, disable global device interrupts.

Safety

When the feature unsafe-no-critical-section-count is disabled, this implementation is also safe w.r.t. nested CriticalSections, e.g., by nesting calls to without_interrupts. This is achieved by counting how many CriticalSections were entered, and only enabling device interrupts once the last CriticalSection is exited. However, as these checks incur a small runtime overhead, they can be disabled with the feature unsafe-no-critical-section-count. Note that, for execution consistency, a user must then ensure that CriticalSections will never be nested!

Trait Implementations§

source§

impl Drop for CriticalSection

source§

fn drop(&mut self)

Upon dropping the last CriticalSection, enable global device interrupts.

Auto Trait Implementations§

§

impl RefUnwindSafe for CriticalSection

§

impl Send for CriticalSection

§

impl Sync for CriticalSection

§

impl Unpin for CriticalSection

§

impl UnwindSafe for CriticalSection

Blanket Implementations§

§

impl<T> Any for Twhere
T: 'static + ?Sized,

§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
§

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> From<T> for T

const: unstable§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T, U> Into<U> for Twhere
U: From<T>,

const: unstable§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of [From]<T> for U chooses to do.

§

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
§

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.