论仅扩展有向偏序集及导出的拜占庭容错复制数据类型（扩展版）
分布式、并行与集群计算
2023-04-11 v1 数据结构与算法
摘要
我们揭示了仅扩展有向偏序集（EDP）结构作为近期讨论的基于 DAG 的拜占庭容错无冲突复制数据类型（CRDT）的统一形式。我们还展示了如何由 EDP 表述导出键值映射模型，并展望了基于 EDP 的系统访问控制 CRDT，作为 Matrix 消息系统中所用 CRDT 的形式化。
引用
@article{arxiv.2304.04318,
title = {On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types (Extended Version)},
author = {Florian Jacob and Hannes Hartenstein},
journal= {arXiv preprint arXiv:2304.04318},
year = {2023}
}
备注
With the inclusion of an appendix of a formalization and CRDT proof sketch of an EDP-based CRDT with systemic access control, this is an extended version of the paper presented at the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2023-05-08, Rome, Italy