文件名称：stateright-用于实现分布式系统的模型检查器-Rust开发
文件大小：260KB
文件格式：ZIP
更新时间：2024-06-16 12:19:13
Rust Concurrency
由于存在不确定性，正确实现分布式算法（例如Paxos和Raft共识协议）非常困难，众所周知，由于存在不确定性，正确实现分布式算法（例如Paxos和Raft共识协议）非常困难。网络重新排序并丢弃消息。 Stateright是用于利用称为模型检查的技术来设计，实现和验证分布式系统的正确性的库和工具。 与传统的模型检查器不同，使用Stateright实现的系统还可以
【文件预览】：
stateright-master
----.gitignore(35B)
----bench.sh(586B)
----src()
--------actor.rs(16KB)
--------test_util.rs(5KB)
--------checker()
--------checker.rs(19KB)
--------util()
--------semantics.rs(5KB)
--------util.rs(11KB)
--------semantics()
--------actor()
--------lib.rs(13KB)
----LICENSE(1KB)
----Cargo.toml(825B)
----ui()
--------app.js(8KB)
--------index.htm(5KB)
--------app.css(3KB)
--------knockout-3.5.0.LICENSE(1KB)
--------knockout-3.5.0.js(66KB)
----explorer.png(153KB)
----.github()
--------workflows()
----examples()
--------paxos.rs(16KB)
--------single-copy-register.rs(7KB)
--------2pc.rs(6KB)
--------linearizable-register.rs(14KB)
----README.md(6KB)
----CHANGES.md(6KB)