Trait Counter 

pub unsafe trait Counter<T>: Sized {
    // Required methods
    unsafe fn increment(&self);
    unsafe fn decrement(&self) -> bool;
    fn fence_acquire();
    fn one() -> Self;
}

Counter trait for uniformed reference counting.

Safety

The implementation must hold arithmetic invariants and respect synchronization.

Required Methods

unsafe fn increment(&self)

Increment the counter by 1.

Safety

The caller must ensure that the counter will not overflow.

unsafe fn decrement(&self) -> bool

Decrement the counter by 1.

Returns

true if the counter reaches zero.

Safety

The caller must ensure that the counter will not underflow.

Counter::fence_acquire must be called after this if it returns true.

fn fence_acquire()

Issue an acquire fence.

fn one() -> Self

Create a counter with initial value of one.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Counter<u8> for Cell<u8>

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<u8> for AtomicU8

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<u16> for Cell<u16>

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<u16> for AtomicU16

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<u32> for Cell<u32>

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<u32> for AtomicU32

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<u64> for Cell<u64>

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<u64> for AtomicU64

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<usize> for Cell<usize>

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

impl Counter<usize> for AtomicUsize

unsafe fn increment(&self)

unsafe fn decrement(&self) -> bool

fn fence_acquire()

fn one() -> Self

Implementors