Struct hibitset::AtomicBitSet

[+] Show declaration

pub struct AtomicBitSet { /* fields omitted */ }

[−] Expand description

This is similar to a BitSet but allows setting of value without unique ownership of the structure

An AtomicBitSet has the ability to add an item to the set without unique ownership (given that the set is big enough). Removing elements does require unique ownership as an effect of the hierarchy it holds. Worst case multiple writers set the same bit twice (but only is told they set it).

It is possible to atomically remove from the set, but not at the same time as atomically adding. This is because there is no way to know if layer 1-3 would be left in a consistent state if they are being cleared and set at the same time.

AtromicBitSet resolves this race by disallowing atomic clearing of bits.

Implementations

impl AtomicBitSet[−]

pub fn new() -> AtomicBitSet[−]

Creates an empty AtomicBitSet.

pub fn add_atomic(&self, id: u32) -> bool[−]

Adds id to the AtomicBitSet. Returns true if the value was already in the set.

Because we cannot safely extend an AtomicBitSet without unique ownership this will panic if the Index is out of range.

pub fn add(&mut self, id: u32) -> bool[−]

Adds id to the BitSet. Returns true if the value was already in the set.

pub fn remove(&mut self, id: u32) -> bool[−]

Removes id from the set, returns true if the value was removed, and false if the value was not set to begin with.

pub fn contains(&self, id: u32) -> bool[−]

Returns true if id is in the set.

pub fn clear(&mut self)[−]

Clear all bits in the set

Trait Implementations

impl<T> BitAnd<T> for AtomicBitSet where
    T: BitSetLike, [+]

[+] Show hidden undocumented items

type Output = BitSetAnd<Self, T>

The resulting type after applying the & operator.

fn bitand(self, rhs: T) -> Self::Output[−]

Performs the & operation.

impl<'a, T> BitAnd<T> for &'a AtomicBitSet where
    T: BitSetLike, [+]

[+] Show hidden undocumented items

type Output = BitSetAnd<Self, T>

The resulting type after applying the & operator.

fn bitand(self, rhs: T) -> Self::Output[−]

Performs the & operation.

impl<T> BitOr<T> for AtomicBitSet where
    T: BitSetLike, [+]

[+] Show hidden undocumented items

type Output = BitSetOr<Self, T>

The resulting type after applying the | operator.

fn bitor(self, rhs: T) -> Self::Output[−]

Performs the | operation.

impl<'a, T> BitOr<T> for &'a AtomicBitSet where
    T: BitSetLike, [+]

[+] Show hidden undocumented items

type Output = BitSetOr<Self, T>

The resulting type after applying the | operator.

fn bitor(self, rhs: T) -> Self::Output[−]

Performs the | operation.

impl BitSetLike for AtomicBitSet[+]

[+] Show hidden undocumented items

fn layer3(&self) -> usize[−]

Return a usize where each bit represents if any word in layer2 has been set.

fn layer2(&self, i: usize) -> usize[−]

Return the usize from the array of usizes that indicates if any bit has been set in layer1

fn layer1(&self, i: usize) -> usize[−]

Return the usize from the array of usizes that indicates if any bit has been set in layer0

fn layer0(&self, i: usize) -> usize[−]

Return a usize that maps to the direct 1:1 association with each index of the set

fn contains(&self, i: u32) -> bool[−]

Allows checking if set bit is contained in the bit set.

fn get_from_layer(&self, layer: usize, idx: usize) -> usize[−]

Gets the usize corresponding to layer and index.

fn is_empty(&self) -> bool[−]

Returns true if this BitSetLike contains nothing, and false otherwise.

fn iter(self) -> BitIter<Self> where
    Self: Sized, [−]

Create an iterator that will scan over the keyspace

impl<T> BitXor<T> for AtomicBitSet where
    T: BitSetLike, [+]

[+] Show hidden undocumented items

type Output = BitSetXor<Self, T>

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: T) -> Self::Output[−]

Performs the ^ operation.

impl<'a, T> BitXor<T> for &'a AtomicBitSet where
    T: BitSetLike, [+]

[+] Show hidden undocumented items

type Output = BitSetXor<Self, T>

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: T) -> Self::Output[−]

Performs the ^ operation.

impl Debug for AtomicBitSet[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl Default for AtomicBitSet[+]

[+] Show hidden undocumented items

fn default() -> Self[−]

Returns the "default value" for a type.

impl DrainableBitSet for AtomicBitSet[+]

[+] Show hidden undocumented items

fn remove(&mut self, i: u32) -> bool[−]

Removes bit from the bit set.

fn drain<'a>(&'a mut self) -> DrainBitIter<'a, Self> where
    Self: Sized, [−]

Create a draining iterator that will scan over the keyspace and clears it while doing so.

impl<'a> Extend<&'a u32> for AtomicBitSet[+]

[+] Show hidden undocumented items

fn extend<T>(&mut self, iter: T) where
    T: IntoIterator<Item = &'a u32>, [−]

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)[−]

🔬 This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)[−]

🔬 This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl Extend<u32> for AtomicBitSet[+]

[+] Show hidden undocumented items

fn extend<T>(&mut self, iter: T) where
    T: IntoIterator<Item = u32>, [−]

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)[−]

🔬 This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)[−]

🔬 This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl<'a> FromIterator<&'a u32> for AtomicBitSet[+]

[+] Show hidden undocumented items

fn from_iter<T>(iter: T) -> Self where
    T: IntoIterator<Item = &'a u32>, [−]

Creates a value from an iterator.

impl FromIterator<u32> for AtomicBitSet[+]

[+] Show hidden undocumented items

fn from_iter<T>(iter: T) -> Self where
    T: IntoIterator<Item = u32>, [−]

Creates a value from an iterator.

impl IntoIterator for AtomicBitSet[+]

[+] Show hidden undocumented items

type Item = <BitIter<Self> as Iterator>::Item

The type of the elements being iterated over.

type IntoIter = BitIter<Self>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter[−]

Creates an iterator from a value.

impl<'a> IntoIterator for &'a AtomicBitSet[+]

[+] Show hidden undocumented items

type Item = <BitIter<Self> as Iterator>::Item

The type of the elements being iterated over.

type IntoIter = BitIter<Self>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter[−]

Creates an iterator from a value.

impl Not for AtomicBitSet[+]

[+] Show hidden undocumented items

type Output = BitSetNot<Self>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output[−]

Performs the unary ! operation.

impl<'a> Not for &'a AtomicBitSet[+]

[+] Show hidden undocumented items

type Output = BitSetNot<Self>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output[−]

Performs the unary ! operation.