Struct hibitset::AtomicBitSet

pub struct AtomicBitSet { /* fields omitted */ }

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.

Methods

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 BitSetLike for AtomicBitSet

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.

Important traits for BitIter<T>

impl<T> Iterator for BitIter<T> where
    T: BitSetLike,  type Item = u32;

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

Create an iterator that will scan over the keyspace

fn par_iter(self) -> BitParIter<Self> where
    Self: Sized, 

Create a parallel iterator that will scan over the keyspace

impl DrainableBitSet for AtomicBitSet

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

Removes bit from the bit set.

Important traits for DrainBitIter<'a, T>

impl<'a, T> Iterator for DrainBitIter<'a, T> where
    T: DrainableBitSet,  type Item = u32;

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 IntoIterator for AtomicBitSet

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

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 Default for AtomicBitSet

fn default() -> Self

Returns the "default value" for a type.

impl Extend<u32> for AtomicBitSet

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

Extends a collection with the contents of an iterator.

impl<'a> Extend<&'a u32> for AtomicBitSet

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

Extends a collection with the contents of an iterator.

impl Debug for AtomicBitSet

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

Formats the value using the given formatter.

impl Not for AtomicBitSet

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

type Output = BitSetNot<Self>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<T> BitAnd<T> for AtomicBitSet where
    T: BitSetLike, 

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, 

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, 

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, 

type Output = BitSetOr<Self, T>

The resulting type after applying the | operator.

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

Performs the | operation.

impl<T> BitXor<T> for AtomicBitSet where
    T: BitSetLike, 

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, 

type Output = BitSetXor<Self, T>

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl FromIterator<u32> for AtomicBitSet

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

Creates a value from an iterator.

impl<'a> FromIterator<&'a u32> for AtomicBitSet

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

Creates a value from an iterator.