Skip to main content

AtomicOption

Struct AtomicOption 

Source
pub struct AtomicOption<T: Well>(/* private fields */);
Expand description

Potentially empty atomic potential well.

Internally, this just wraps a pointer to <T as Deref>::Target and uses atomic pointer operations to access it. However, the number of operations on the pointer is limited to ensure correctness in safe code.

Implementations§

Source§

impl<T: Well> AtomicOption<T>

Source

pub fn none() -> AtomicOption<T>

Creates atomic without anything inside.

Source

pub fn some(well: T) -> AtomicOption<T>

Creates atomic with something inside.

Source

pub unsafe fn as_raw_unchecked(&self) -> &AtomicPtr<<T as Deref>::Target>

Gives access to the underlying AtomicPtr.

§Safety

The pointer inside the atomic must always be null, or a valid pointer from Well::remove. Additionally, keep in mind that this atomic owns the pointer, and if you want to move it out, you must put a different pointer in its place first.

Source

pub fn load(&self, ordering: Ordering) -> Option<&<T as Deref>::Target>

Loads the inner data as an immutable reference.

This is equivalent to an atomic load.

Source

pub fn swap(&self, well: T, ordering: Ordering) -> Option<T>

Atomically swaps the data inside the well.

This is equivalent to an atomic swap.

Source

pub fn take(&self, ordering: Ordering) -> Option<T>

Takes the data out of the well.

This is equivalent to an atomic swap with a null pointer.

Source

pub fn insert( &self, well: T, success: Ordering, failure: Ordering, ) -> Result<(), T>

Inserts data into the well.

This uses compare_exchange to avoid inserting into the well if it’s already full. If you want to use compare_exchange_weak instead, use insert_weak.

Source

pub fn insert_weak( &self, well: T, success: Ordering, failure: Ordering, ) -> Result<(), T>

Inserts data into the well, sometimes failing spuriously.

This uses compare_exchange_weak to avoid inserting into the well if it’s already full, which may spuriously fail. If you want to use compare_exchange instead, use insert.

Source§

impl<T: WellMut<Target: Unpin>> AtomicOption<T>

Source

pub fn load_mut(&mut self) -> Option<&mut <T as Deref>::Target>

Loads the inner data as a mutable reference.

This performs a non-atomic access since the atomic is mutably borrowed.

Source§

impl<T: WellMut> AtomicOption<Pin<T>>
where Pin<T>: Well,

Source

pub fn load_mut_pinned(&mut self) -> Option<Pin<&mut <Pin<T> as Deref>::Target>>

Loads the inner data as a pinned mutable reference.

This is a version of load_mut that works with pinned values.

Source§

impl<T: Well + Clone> AtomicOption<T>

Source

pub fn load_clone(&self, ordering: Ordering) -> Option<T>

Loads a clone of the inner data.

This still performs an atomic load, but instead of offering a reference, the smart pointer is cloned instead.

Trait Implementations§

Source§

impl<T: Well<Target: Debug>> Debug for AtomicOption<T>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<T: Well> Default for AtomicOption<T>

By default, nothing is stored in the atomic.

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl<T: Well> Drop for AtomicOption<T>

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more
Source§

impl<T: Well> From<Option<T>> for AtomicOption<T>

Source§

fn from(well: Option<T>) -> Self

Converts to this type from the input type.
Source§

impl<T: Well> From<T> for AtomicOption<T>

Source§

fn from(well: T) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

§

impl<T> !Freeze for AtomicOption<T>

§

impl<T> RefUnwindSafe for AtomicOption<T>
where <T as Deref>::Target: Sized,

§

impl<T> Send for AtomicOption<T>
where <T as Deref>::Target: Sized,

§

impl<T> Sync for AtomicOption<T>
where <T as Deref>::Target: Sized,

§

impl<T> Unpin for AtomicOption<T>
where <T as Deref>::Target: Sized,

§

impl<T> UnsafeUnpin for AtomicOption<T>
where <T as Deref>::Target: Sized,

§

impl<T> UnwindSafe for AtomicOption<T>
where <T as Deref>::Target: Sized + RefUnwindSafe,

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.