小编bis*_*own的帖子

how to prove a consensus implementation like multipaxos is right?

我想证明我对 multi-paxos 的实现是正确的。是否有任何有效的示例供我测试?或者可以有其他一些方法来说服其他人我的实施是正确的。

我试图找到一些包含示例的论文,但大多数论文只是指定了算法。

consensus paxos proof-of-correctness

3
推荐指数
1
解决办法
216
查看次数

标签 统计

consensus ×1

paxos ×1

proof-of-correctness ×1