Struct concread::hashtrie::asynch::HashTrie

pub struct HashTrie<K, V> where
    K: Hash + Eq + Clone + Debug + Sync + Send + 'static,
    V: Clone + Sync + Send + 'static,  { /* private fields */ }

A concurrently readable map based on a modified Trie.

This is a concurrently readable structure, meaning it has transactional properties. Writers are serialised (one after the other), and readers can exist in parallel with stable views of the structure at a point in time.

This is achieved through the use of COW or MVCC. As a write occurs subsets of the tree are cloned into the writer thread and then commited later. This may cause memory usage to increase in exchange for a gain in concurrent behaviour.

Transactions can be rolled-back (aborted) without penalty by dropping the HashTrieWriteTxn without calling commit().

Implementations

impl<K: Hash + Eq + Clone + Debug + Sync + Send + 'static, V: Clone + Sync + Send + 'static> HashTrie<K, V>

pub fn new() -> Self

Construct a new concurrent hashtrie

pub async fn read<'x>(&'x self) -> HashTrieReadTxn<'x, K, V>

Initiate a read transaction for the Hashmap, concurrent to any other readers or writers.

pub async fn write<'x>(&'x self) -> HashTrieWriteTxn<'x, K, V>

Initiate a write transaction for the map, exclusive to this writer, and concurrently to all existing reads.

pub fn try_write(&self) -> Option<HashTrieWriteTxn<'_, K, V>>

Attempt to create a new write, returns None if another writer already exists.

Trait Implementations

impl<K: Hash + Eq + Clone + Debug + Sync + Send + 'static, V: Clone + Sync + Send + 'static> Default for HashTrie<K, V>

fn default() -> Self

Returns the “default value” for a type.

impl<K: Hash + Eq + Clone + Debug + Sync + Send + 'static, V: Clone + Sync + Send + 'static> FromIterator<(K, V)> for HashTrie<K, V>

fn from_iter<I: IntoIterator<Item = (K, V)>>(iter: I) -> Self

Creates a value from an iterator.

impl<K: Hash + Eq + Clone + Debug + Sync + Send + 'static, V: Clone + Sync + Send + 'static> Send for HashTrie<K, V>

impl<K: Hash + Eq + Clone + Debug + Sync + Send + 'static, V: Clone + Sync + Send + 'static> Sync for HashTrie<K, V>