Lib.rs

› 关键字 #raft #分布式系统 #actor #模型检查 #模拟

#paxos

  1. stateright

    用于实现分布式系统的模型检查器

    v0.30.2 337千 #actor #actor-system #paxos #raft #raft-consensus #simulation #model-checking

  2. paxakos

    Paxos 协议算法

    v0.13.0 #consensus-algorithm #分布式一致性 #一致性 #paxos #分布式 #分布式系统 #共享状态

  3. fibril

    使用通信纤维实现分布式系统

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

  4. omnipaxos

    使用 Rust 编写的分布式日志库

    v0.2.2 #分布式一致性 #分布式系统 #日志 #复制 #状态机 #领导者 #paxos

  5. commitlog

    顺序、基于磁盘的提交日志库

    v0.2.0 150 #日志 #提交 #顺序 #分布式 #raft #paxos #磁盘支持

  6. fibril_verifier

    验证使用 Fibril 库实现的分布式系统的行为

    v0.0.12 #分布式系统 #paxos #raft #actor #模拟 #模型检查

  7. rasputin

    难以杀死的交易型分布式数据库

    v0.2.0 #paxos #分布式系统 #分布式数据库 #交易 #数据库 #一致性算法 #高可用

  8. paxos

    针对 sled 轻量级数据库套件的 CASPaxos 协议的经过良好测试的实现

    v0.0.5 #分布式一致性 #一致性 #分布式 #sled-database #数据库 #嵌入式

  9. mephisto

    Raft 服务的语言实现

    v0.2.0 #分布式系统 #raft-consensus #raft #一致性算法 #paxos #复制 #论文

    10. 尝试使用 DuckDuckGo 进行搜索。搜索.

  10. fibril_core

    Fibril 库的核心类型

    v0.0.7 #paxos #raft #actor #模拟 #模型检查

  11. paxos-rust

    Paxos 一致性算法的轻量级实现

    v0.2.0 #一致性 #一致性算法 #paxos #love-letter

  12. 一致性模型

    用于分布式系统一致性属性测试工具，如线性可化性和顺序一致性

    v0.0.0 #raft #paxos #actor #simulation #model-checking #distributed-systems