Lib.rs

› Concurrency
#distributed-systems #paxos #actor #raft #simulation #model-checking

fibril

A library for implementing distributed systems with commmunicating fibers

by Jon Nadal

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

#785 in Concurrency

Download history 1/week @ 2024-02-16 7/week @ 2024-02-23 3/week @ 2024-03-01 6/week @ 2024-03-08 15/week @ 2024-03-15 42/week @ 2024-03-29 12/week @ 2024-04-05

54 downloads per month
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–12MB
~87K SLoC