Skip to main content

A library of Conflict-free Replicated Data Types (12 included)

Project description

CRDTs

This package implements several CRDTs in a hopefully easy-to-use way.

Overview

This package includes several Conflict-free Replicated Data Types. See Verifying Strong Eventual Consistency in Distributed Systems by Gomes, Kleppmann, Mulligan, and Beresford and Verifying Strong Eventual Consistency in δ-CRDTs by Taylor Blau for more details. This package includes the following CRDTs (class names in parentheses):

  • Counter (Counter)
  • Positive-Negative Counter (PNCounter)
  • Grow-only Set (GSet)
  • Observed-Removed Set (ORSet)
  • Grow-only Positive-Negative Counter Set (CounterSet)
  • Fractionally-Indexed Array (FIArray)
  • Replicated Growable Array (RGArray)
  • Last-Writer-Wins Register (LWWRegister)
  • Last-Writer-Wins Map (LWWMap)
  • Multi-Value Register (MVRegister)
  • Multi-Value Map (MVMap)
  • Causal Tree (CausalTree)

These are implemented as delta-CRDTs with small update messages and additional methods for resynchronization to recover from dropped messages/transmission failures. See Efficient State-based CRDTs by Delta-Mutation for details.

For synchronization without a separate logical clock package, a simple Lamport ScalarClock class is included, though any logical clock that fulfills the simple ClockProtocol interface can be used. The StateUpdate class is provided as a default implementation of the StateUpdateProtocol interface. A handful of classes implementing the DataWrapperProtocol interface are included for use in the CRDTs that need them.

Everything in this package is designed to serialize and deserialize for reliable network transmission and/or persistence to disk.

Status

Each implementation must include a full test suite to be considered complete.

  • Base Interfaces
  • GSet
  • ORSet
  • Counter
  • PNCounter
  • RGArray
  • LWWRegister
  • LWWMap
  • MVRegister
  • MVMap
  • FIArray
  • CausalTree
  • Decent documentation
  • Merklized feature: [delta-state content IDs] <- state root hash
  • ListProtocol: RGArray, FIArray, CausalTree
  • Refactor: change writer_id from int to SerializableType
  • New CRDT: CounterSet
  • Hooks/event listeners
  • Remove most data wrappers
  • New CRDT: Document

Setup and Usage

Requires python 3.10+. Uses the packify library as a universal serializer.

Setup

pip install crdts

Usage

Each CRDT follows the CRDTProtocol and includes the following methods:

  • read(self) -> Any: produces the view of the data
  • update(self, state_update: StateUpdateProtocol) -> CRDTProtocol: applies an update and returns self in monad pattern
  • pack(self) -> bytes: serializes entire CRDT to bytes
  • @classmethod unpack(cls, data: bytes) -> CRDTProtocol: deserializes a CRDT
  • checksums(self, /, *, from_ts = None, until_ts = None) -> tuple[Any]: gets checksums for state deltas (updates)
  • history(self, /, *, from_ts = None, until_ts = None, update_class = None) -> tuple[StateUpdateProtocol]: gets history of state deltas (updates) that converge to the local CRDT state
  • get_merkle_history(self, ...) -> list[bytes, list[bytes], dict[bytes, bytes]]
  • resolve_merkle_histories(self, history: list[bytes, list[bytes]]) -> list[bytes]

CRDTs that encode lists (RGArray, FIArray, and CasaulTree) also follow the ListProtocol with these methods:

  • index(_start: int = 0, _stop: int = -1) -> int: returns the int index of the item in the list returned by read().
  • append(update_class: Type[StateUpdateProtocol]) -> StateUpdateProtocol: appends the item to the end of the list returned by read()
  • remove(index: int, update_class: Type[StateUpdateProtocol]) -> StateUpdateProtocol removes the item at the index from the list returned by read()

Beyond this, each CRDT has its own specific methods unique to the type. Full documentation for each class in this library can be found in the docs.md file generated using autodox.

Documentation explaining how each CRDT works can be found here:

Each documentation file includes examples of how the CRDT can be used.

To use custom implementations of included interfaces, note that they must be injected properly. For a custom implementation of StateUpdateProtocol, the class will have to be passed to any CRDT method that produces StateUpdates by default by using the update_class= named parameter. For a custom implementation of DataWrapperProtocol, the relevant class must be provided to any calls to unpack when anything containing the custom class is deserialized, e.g. LWWMap.unpack(data, inject={'MyDataWrapper': MyDataWrapper}). The interfaces are autodox documented in interfaces.md.

Additionally, the functions serialize_part and deserialize_part can be used for serializing and deserializing complex structures to and from bytes. Any custom class implementing the PackableProtocol interface will be compatible with these functions and must be injected into deserialize_part, e.g. deserialize_part(data, inject={'MyPackableClass': MyPackableClass}).

Synchronization (Checksums)

Note that the checksums and history methods for every CRDT support timestamp constraints from_ts and until_ts. This allows for nodes to synchronize without having to ship all updates across the network, which is a primary advantage of δ-CRDTs. How to best implement synchronization to utilize this feature is left to the library consumer, but I would start with something like the following:

from crdts import CRDTProtocol, StateUpdate
from typing import Any
import math

def make_ts_buckets(max_ts: int, max_bucket_size: int = 16) -> list[tuple[int, int]]:
    """Divides checksums and updates into buckets of form (from_ts, until_ts)
        based upon the max_ts and max_bucket_size.
    """
    if max_ts < max_bucket_size:
        return [(0, max_ts)]
    n_buckets = math.ceil(math.log2(1 + max_ts/max_bucket_size))
    bucket_size = math.ceil(max_ts / n_buckets)
    buckets = []
    for i in range(n_buckets):
        buckets.append((i*bucket_size, (i+1)*bucket_size))
    return buckets

def make_synchronization_dict(crdt: CRDTProtocol) -> dict[tuple[int, int], tuple[Any]]:
    buckets = make_ts_buckets(crdt.clock.read())
    return {
        b: crdt.checksums(from_ts=b[0], until_ts=b[1])
        for b in buckets
    }

def check_synchronization_dict(crdt: CRDTProtocol,
        sync: dict[tuple[int, int], tuple[Any]]) -> list[tuple[int, int]]:
    """Checks a CRDT against a synchronization dict. If the checksums differ for
        any timestamp bucket, include that timestamp bucket in the return list.
        The state updates for those buckets can then be requested from the
        remote replica.
    """
    different_buckets = []
    for bucket, chksms in sync.items():
        if crdt.checksums(from_ts=bucket[0], until_ts=bucket[1]) != chksms:
            different_buckets.append(bucket)
    return different_buckets

def make_synchronization_history(crdt: CRDTProtocol,
        different_buckets: list[tuple[int, int]]) -> list[StateUpdate]:
    """Returns all the StateUpdates requested for the given buckets."""
    history = []
    for b in different_buckets:
        history.extend(crdt.history(from_ts=b[0], until_ts=b[1]))
    return history

The above divides timestamps into dynamically-sized buckets no larger than the supplied max_bucket_size parameter and is meant to demonstrate the concept of synchronization via δ-states. The number of buckets will scale linearly with the age of the CRDT and the max_bucket_size parameter. It could be adapted to scale the number of buckets logarithmically with the age/state size of the CRDT by calculating the max_bucket_size parameter rather than hard-coding it. For example, bucket_sizer = lambda ts: math.ceil(ts/math.log2(ts+1)) which would be called with bucket_sizer(crdt.clock.read()); this will result in a number of buckets equal to the log base 2 of the max timestamp:

  • ts=16, bucket_count=4
  • ts=32, bucket_count=5
  • ts=64, bucket_count=6
  • ...
  • ts=1024, bucket_count=10

This can be further optimized by dropping the assumption that the minimum timestamp will be 0, but it will be necessary to fallback to a minimum of 0 for guaranteed synchronization.

Synchronization (Merklized)

A simpler method for synchronization uses the Merkle history feature. Each CRDT object has the two methods get_merkle_history and resolve_merkle_histories for this purpose. This uses a Merkle tree where the state updates are the leaves. It is a shallow tree with a dynamic degree; i.e. the root is the combination of all leaves, as is used in BitTorrent, rather than a balanced binary tree, as is used in Bitcoin blocks.

The get_merkle_history method returns a list containing the following:

  • The merkle root at index 0
  • The list of leaf (state update) hashes at index 1
  • A dict mapping leaf hashes to packed state updates at index 2

The first step in synchronization will be to exchange the Merkle history roots. If they differ, then the leaf hashes must also be exchanged. This can be done in one step to reduce network latencies at the potential cost of bandwidth in the case where synchronization is not required.

The resolve_merkle_histories method takes an argument equal to the first two indices of the return value of get_merkle_history and returns a list containing the leaf hashes required from the remote node for synchronization.

The state updates are requested from the remote node using these leaf hashes, and the remote node uses the dict at index 2 of the get_merkle_history value to look up those leaves before shipping them already-packed updates. The updates are then unpacked and fed into the update method of the CRDT. When both nodes have exchanged the leaves their local CRDTs specified via resolve_merkle_histories, they will be in the same state.

This relies upon the deterministic packing of delta states into bytes and may not be appropriate if, for example, nodes generate signatures for state updates but do not retain the full, original updates they encounter during synchronization. Also note that because this does not consider timestamps, one of the nodes will likely receive stale updates if, for example, an item was removed from an ORSet or a key was unset in a LWWMap.

If the shared state gets particularly large, for example in the case of a replicated key-value database, then this synchronization mechanism will probably have greater bandwidth overhead than using a timestamp-based synchronization scheme.

Event Listeners

Each CRDT will emit an event upon receiving and validating an update but before applying it. An event listener can be added by calling the add_listener method or removed by calling the remove_listener method. The listener function will be called with the state update as the only argument.

from crdts import PNCounter, StateUpdateProtocol

logs = []

def hook(update: StateUpdateProtocol):
    assert isinstance(update, StateUpdateProtocol)
    logs.append(update)

counter = PNCounter()

# without event listener
counter.increase()
assert len(logs) == 0

# add event listener
counter.add_listener(hook)

# with event listener
counter.increase()
assert len(logs) == 1
counter.decrease()
assert len(logs) == 2

# remove event listener
counter.remove_listener(hook)
logs = []

# without event listener
counter.increase()
assert len(logs) == 0

Note that several event listeners can be added, and they will be called sequentially when the event is emitted. Registered event listeners can also be triggered using the invoke_listeners method, which is used internally by the update method of each CRDT.

Interfaces and Classes

Below are listed the interfaces and classes. Detailed documentaiton can be found at the links in the Usage section above.

Interfaces

  • ClockProtocol(Protocol)
  • CRDTProtocol(Protocol)
  • DataWrapperProtocol(Protocol)
  • StateUpdateProtocol(Protocol)

Classes

  • StateUpdate(StateUpdateProtocol)
  • ScalarClock(ClockProtocol)
  • GSet(CRDTProtocol)
  • Counter(CRDTProtocol)
  • CounterSet(CRDTProtocol)
  • ORSet(CRDTProtocol)
  • PNCounter(CRDTProtocol)
  • RGArray (CRDTProtocol)
  • LWWRegister(CRDTProtocol)
  • LWWMap(CRDTProtocol)
  • MVRegister(CRDTProtocol)
  • MVMap(CRDTProtocol)
  • FIArray(CRDTProtocol)
  • NoneWrapper(DataWrapperProtocol)
  • StrWrapper(DataWrapperProtocol)
  • BytesWrapper(DataWrapperProtocol)
  • DecimalWrapper(DataWrapperProtocol)
  • IntWrapper(DataWrapperProtocol)
  • RGAItemWrapper(DataWrapperProtocol)
  • CTDataWrapper(DataWrapperProtocol)

Tests

Clone the repository, then open a terminal in the root directory and run the following:

find ./tests -name test_*.py -exec python {} \;

Alternately, for non-POSIX systems, run the following:

python test_datawrappers.py
python test_scalarclock.py
python test_serialization.py
python test_stateupdate.py
python test_causaltree.py
python test_counter.py
python test_counterset.py
python test_fiarray.py
python test_gset.py
python test_lwwmap.py
python test_lwwregister.py
python test_mvmap.py
python test_mvregister.py
python test_orset.py
python test_pncounter.py
python test_rgarray.py

The 280 tests demonstrate the intended (and actual) behavior of the classes, as well as some contrived examples of how they are used. Perusing the tests may be informative to anyone seeking to use this package, though everything has thorough type annotations to make development easy via a typical code editor LSP.

ISC License

Copyleft (c) 2023 k98kurz

Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted, provided that the above copyleft notice and this permission notice appear in all copies.

THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

crdts-0.0.4.tar.gz (61.4 kB view hashes)

Uploaded Source

Built Distribution

crdts-0.0.4-py3-none-any.whl (49.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page