Trait bitvec::access::BitSafe

pub trait BitSafe {
    type Mem: BitRegister;
    type Rad: Radium<Item = Self::Mem>;
    fn load(&self) -> Self::Mem;
    fn store(&mut self, value: Self::Mem);
}

[−] Expand description

Restricts memory modification to only exclusive references.

The shared-mutability types do not permit locking their references to prevent writing through them when inappropriate. Implementors of this trait are able to view aliased memory and handle other references writing to it, even though they themselves may be forbidden from doing so.

Associated Types

type Mem: BitRegister[−]

The register type being guarded against shared mutation.

This is only present as an extra proof that the type graph all uses the same underlying integers.

type Rad: Radium<Item = Self::Mem>[−]

The accessor type being prevented from mutating while shared.

This is exposed as an associated type so that BitStore can name it without having to re-select it based on crate configuration.

Required methods

fn load(&self) -> Self::Mem[−]

Reads the value out of memory only if a shared reference to the location can be produced.

fn store(&mut self, value: Self::Mem)[−]

Writes a value into memory only if an exclusive reference to the location can be produced.

Implementors

impl BitSafe for BitSafeU8

[+] Show hidden undocumented items

type Mem = u8

type Rad = Cell<u8>

fn load(&self) -> u8

fn store(&mut self, value: u8)

impl BitSafe for BitSafeU16

[+] Show hidden undocumented items

type Mem = u16

type Rad = Cell<u16>

fn load(&self) -> u16

fn store(&mut self, value: u16)

impl BitSafe for BitSafeU32

[+] Show hidden undocumented items

type Mem = u32

type Rad = Cell<u32>

fn load(&self) -> u32

fn store(&mut self, value: u32)

impl BitSafe for BitSafeU64

[+] Show hidden undocumented items

type Mem = u64

type Rad = Cell<u64>

fn load(&self) -> u64

fn store(&mut self, value: u64)

impl BitSafe for BitSafeUsize

[+] Show hidden undocumented items

type Mem = usize

type Rad = Cell<usize>

fn load(&self) -> usize

fn store(&mut self, value: usize)