以拜占庭线性一致性驯服混乱：可靠广播、快照与资产转移
分布式、并行与集群计算
2024-06-06 v2
摘要
我们形式化了拜占庭线性一致性，这是一种正确性条件，用于指定具有顺序规范的并发对象是否能抵御拜占庭故障。利用该定义，我们系统地研究了从寄存器出发对各种对象的拜占庭容错仿真。我们聚焦于三个有用的对象——可靠广播、原子快照与资产转移。我们证明，对于 n 个进程且 f < n/2，存在此类对象的 f-弹性实现，其由寄存器构造而来。
引用
@article{arxiv.2102.10597,
title = {Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer},
author = {Shir Cohen and Idit Keidar},
journal= {arXiv preprint arXiv:2102.10597},
year = {2024}
}
备注
This version includes appendix that was missing in the previous one