Struct SerializableDb

pub struct SerializableDb<K, V, S: AsyncSpawner> { /* private fields */ }

A concurrent MVCC in-memory key-value database.

SerializableDb requires key to be Ord and CheapClone. The CheapClone bound here hints the user that the key should be cheap to clone, because it will be cloned at least one time during the write transaction.

Comparing to OptimisticDb:

1. SerializableDb support full serializable snapshot isolation, which can detect both direct dependencies and indirect dependencies.
2. SerializableDb does not require key to implement Hash.
3. But, OptimisticDb has more flexible write transaction APIs.

Implementations

impl<K, V, S: AsyncSpawner> SerializableDb<K, V, S>

pub async fn new() -> Self

Creates a new SerializableDb.

impl<K, V, S: AsyncSpawner> SerializableDb<K, V, S>

pub async fn version(&self) -> u64

Returns the current read version of the database.

pub async fn read( &self, ) -> ReadTransaction<K, V, SerializableDb<K, V, S>, BTreeCm<K>, S>

Create a read transaction.

impl<K, V, S> SerializableDb<K, V, S>

where K: CheapClone + Ord, S: AsyncSpawner,

pub async fn optimistic_write(&self) -> OptimisticTransaction<K, V, S>

Create a optimistic write transaction.

Optimistic write transaction is not a totally Serializable Snapshot Isolation transaction. It can handle most of write skew anomaly, but not all. Basically, all directly dependencies can be handled, but indirect dependencies (logical dependencies) can not be handled. If you need a totally Serializable Snapshot Isolation transaction, you should use SerializableDb::serializable_write instead.

pub async fn serializable_write(&self) -> SerializableTransaction<K, V, S>

Create a serializable write transaction.

Serializable write transaction is a totally Serializable Snapshot Isolation transaction. It can handle all kinds of write skew anomaly, including indirect dependencies (logical dependencies). If in your code, you do not care about indirect dependencies (logical dependencies), you can use SerializableDb::optimistic_write instead.

impl<K, V, S> SerializableDb<K, V, S>

where K: CheapClone + Ord + Send + 'static, V: Send + 'static, S: AsyncSpawner,

pub fn compact(&self)

Compact the database.

Trait Implementations

impl<K, V, S: AsyncSpawner> Clone for SerializableDb<K, V, S>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.