.png){kind=icon}
返回
Making CRDTs Not So Eventual
.png){kind=icon}
PRE
AI
DOI：10.14778/3705829.3705850.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
无冲突复制数据类型（CRDTs）是分布式应用中具有高可用性和高性能的数据复制解决方案。然而，它们的最终一致性保证通常不足以确保应用正确性，尤其是在存在拜占庭故障的情况下。将传统共识和拜占庭容错（BFT）协议直接应用于CRDT更新以获得更强保证，虽然直观，但会抵消CRDT的性能优势。我们介绍了一种新型编程模型，称为可靠CRDTs，它为CRDTs增加了额外保证：用户可以查询强一致或最终一致的值，对选定操作强制实施全序，并在存在拜占庭故障时定义数据类型级别的不变量。可靠CRDTs使CRDTs能够在需要强一致性的场景中使用，同时保持其性能优势。我们提出了一个名为Janus的可靠CRDTs实现。它通过作为促进CRDT通信并异步运行BFT共识协议的中间件，增强了CRDTs的上述功能。我们的评估表明，Janus的吞吐量比直接应用最先进的BFT协议（如HotStuff）高出21倍，并且在重负载下仍能保持响应性。
期刊
P
IF:
3.3
论文数:
563
被引数:
1.2W
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏
查看更多内容