consensus, atomic commit, atomic broadcast

[baiwfg2]

[1] https://www.cs.yale.edu/homes/aspnes/pinewiki/FailureDetectors.html 原来failure detector 的发明是为了解决FLP 论文所揭示的问题

[baiwfg2]

各类书籍对atomic commit, atomic broadcast, distributed transaction, consensus 的解释

database internal

atomic broadcast 也叫 total order multicast

2PC,3PC 是用来实现分布式事务的

atomic broadcast 与consensus 在带有failure 的异步环境下等价

distributed system an algorithmic approach

原子提交是解决consensus 的一个变种问题（与DDIA 看法一致），但原子提交在 agreement 属性上要求更紧一些

distributed computing principles

在异步系统中，consensus 和 atomic broadcast 是等价的，可以互相推导

DDIA

原子提交与consensus 是可互相推导的，稍微有所区别

total order broadcast 和consensus 是等价的。 linearizability 与原子多播是 closely related