Struct Shield

pub struct Shield {
    slot: NonNull<HazardSlot>,
}

Represents the ownership of a hazard pointer slot.

Fields

slot: NonNull<HazardSlot>

Implementations

impl Shield

pub fn new(hazards: &HazardBag) -> Self

Creates a new shield for hazard pointer.

pub fn set<T>(&self, pointer: *mut T)

Store pointer to the hazard slot.

pub fn clear(&self)

Clear the hazard slot.

pub fn validate<T>(pointer: *mut T, src: &AtomicPtr<T>) -> Result<(), *mut T>

Check if src still points to pointer. If not, returns the current value.

For a pointer p, if “src still pointing to pointer” implies that p is not retired, then Ok(()) means that shields set to p are validated.

pub fn try_protect<T>( &self, pointer: *mut T, src: &AtomicPtr<T>, ) -> Result<(), *mut T>

Try protecting pointer obtained from src. If not, returns the current value.

If “src still pointing to pointer” implies that pointer is not retired, then Ok(()) means that this shield is validated.

pub fn protect<T>(&self, src: &AtomicPtr<T>) -> *mut T

Get a protected pointer from src.

See try_protect().

Trait Implementations

impl Debug for Shield

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

Formats the value using the given formatter.

impl Default for Shield

fn default() -> Self

Returns the “default value” for a type.

impl Drop for Shield

fn drop(&mut self)

Clear and release the ownership of the hazard slot.