pub struct ConcurrencyContract {
pub thread_safety: ThreadSafety,
pub atomicity: AtomicityGuarantee,
pub lock_free: bool,
pub wait_free: bool,
pub memory_ordering: MemoryOrdering,
}Expand description
Concurrency contract guarantees
Fields§
§thread_safety: ThreadSafetyThread safety level
atomicity: AtomicityGuaranteeAtomic operation guarantees
lock_free: boolLock-free guarantees
wait_free: boolWait-free guarantees
memory_ordering: MemoryOrderingMemory ordering constraints
Trait Implementations§
Source§impl Clone for ConcurrencyContract
impl Clone for ConcurrencyContract
Source§fn clone(&self) -> ConcurrencyContract
fn clone(&self) -> ConcurrencyContract
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for ConcurrencyContract
impl RefUnwindSafe for ConcurrencyContract
impl Send for ConcurrencyContract
impl Sync for ConcurrencyContract
impl Unpin for ConcurrencyContract
impl UnwindSafe for ConcurrencyContract
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more