#分布式系统 #actor #paxos #raft #simulation #model-checking

fibril

一个用于实现具有通信纤维的分布式系统的库

9 个版本

0.0.8 2023年6月5日
0.0.7 2023年6月4日
0.0.6 2023年2月12日
0.0.5 2023年1月15日
0.0.0 2022年12月18日

#582并发

Download history 21/week @ 2024-03-10 53/week @ 2024-03-31 1/week @ 2024-04-07

每月 67 次下载
用于 fibril_verifier

MIT/Apache

30KB
593

Fibril

Fibril 是一个用于实现具有通信纤维的分布式系统的库。

用法

请参阅 fibril_verifier 的文档

特性

  • fibers: 支持使用 纤维
  • rt: 包含一个 UDP 运行时。
  • serde_json: 在 UDP 运行时包含一个 new_with_serde_json 辅助函数。

lib.rs:

Fibril 是一个用于实现具有通信纤维的分布式系统的库。

用法

请参阅 fibril_verifier 的文档

特性

  • fibers: 支持使用 纤维
  • rt: 包含一个 UDP 运行时。
  • serde_json: 在 UDP 运行时包含一个 new_with_serde_json 辅助函数。

依赖项

~0–9MB
~73K SLoC