#distributed-systems #actor #paxos #raft #model-checking

fibril

A library for implementing distributed systems with commmunicating fibers

9 releases

0.0.8 Jun 5, 2023
0.0.7 Jun 4, 2023
0.0.6 Feb 12, 2023
0.0.5 Jan 15, 2023
0.0.0 Dec 18, 2022

#405 in Simulation


Used in fibril_verifier

MIT/Apache

30KB
593 lines

Fibril

Fibril is a library for implementing distributed systems with commmunicating fibers.

Usage

Please see the fibril_verifier docs.

Features

  • fibers: Include support for fibers.
  • rt: Include a UDP runtime.
  • serde_json: Include a new_with_serde_json helper in the UDP runtime.

lib.rs:

Fibril is a library for implementing distributed systems with commmunicating fibers.

Usage

Please see the fibril_verifier docs.

Features

  • fibers: Include support for fibers.
  • rt: Include a UDP runtime.
  • serde_json: Include a new_with_serde_json helper in the UDP runtime.

Dependencies

~0–8.5MB
~69K SLoC