拜占庭分布式账本中的原子追加
分布式、并行与集群计算
2020-02-27 v1 数据库
数据结构与算法
摘要
分布式账本对象（DLO）是一种并发对象，维护一个全序的记录序列，并支持两种基本操作：append，在序列末尾追加一条记录；以及 get，返回记录序列。在这项工作中，我们给出了拜占庭容忍分布式账本对象（BDLO）的恰当形式化定义，BDLO 是在分布式系统中的 DLO，其中进程可能任意偏离其预期行为，即它们可能是拜占庭的。我们的形式化定义附有利用底层拜占庭原子广播服务实现 BDLO 的算法。然后我们利用 BDLO 实现来解决针对拜占庭进程的原子追加（Atomic Appends）问题。当若干客户端有记录要追加，每个客户端的记录必须追加到不同的 BDLO，且必须保证要么所有记录都被追加要么都不追加时，原子追加问题就会出现。我们提出了分布式算法，在涉及追加的客户端和维护 BDLO 的服务器都可能是拜占庭的情况下实现原子追加问题的解决方案。
引用
@article{arxiv.2002.11593,
title = {Appending Atomically in Byzantine Distributed Ledgers},
author = {Vicent Cholvi and Antonio Fernandez Anta and Chryssis Georgiou and Nicolas Nicolaou and Michel Raynal},
journal= {arXiv preprint arXiv:2002.11593},
year = {2020}
}