Struct local_storage_initializer::LocalStorageDataImage

pub struct LocalStorageDataImage<T>where
    T: LocalStorage,{ /* private fields */ }

An initialized data image ready to be used by a CPU/new task.

The data is opaque, but one can obtain a pointer to the CLS/TLS area.

The data is “immutable” with respect to Theseus task management functions at the language level. However, it will be modified by CLS/TLS accesses.

Implementations

impl<T> LocalStorageDataImage<T>where T: LocalStorage,

pub const fn new() -> Self

Creates an empty data image.

pub fn inherit(&mut self, other: &Self)

Inherits the data from another data image.

Panics

Panics if the other image has a longer length, or (on x86_64) if the other image has a differently sized static area.

impl LocalStorageDataImage<Cls>

pub unsafe fn set_as_current_cls(&self)

Sets the data image.

Safety

The data image must not be dropped until another data image replaces it.

impl LocalStorageDataImage<Tls>

pub unsafe fn set_as_current_tls(&self)

Sets the data image.

Safety

The data image must not be dropped until another data image replaces it, or until thread-local storage will never be accessed from the current thread again.

Trait Implementations

impl<T> Debug for LocalStorageDataImage<T>where T: LocalStorage + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.