Lib.rs

› Algorithms › fibril_core
#vector #clock #events #distributed #partially #ordered #fibril-core

vector_clock

An efficient vector clock for partially ordered events

by Jon Nadal

1 unstable release

0.0.0 Jan 7, 2023

#7 in #partially

25 downloads per month
Used in fibril_verifier

MIT/Apache

10KB
200 lines

Fibril Repository Root

This repository houses a collection of Rust crates for implementing and verifying distributed systems.

Crates

Crate Links
consistency_model docs source
fibril docs source
fibril_core docs source
fibril_verifier docs source
vector_clock docs source

Contributing

Please make sure your code passes tests/clippy, and apply auto-formatting:

  1. cargo test && cargo test --examples
  2. cargo clippy && cargo clippy --examples
  3. cargo fmt

License

See LICENSE-APACHE and LICENSE-MIT.

Dependencies

~180KB