1. 首页
  2. 活动专区

CRDT研究会议回顾

CRDT代表无冲突的复制数据类型,是一个数学框架和构建块,允许不同的副本无需协调就能一起工作。

我们于2018年4月主办了第一次里斯本CRDT研究会议。这是一个辉煌的事件,有许多CRDT研究文献的作者和来自其发起实验室的代表出席,即:HASLAB、NOVA-LINCS、FCT、Uminho、UNL。

CRDT代表无冲突的复制数据类型,是一个数学框架和构建块,允许不同的副本无需协调就能一起工作,这对于在间歇性和不可靠的网络上创建最终一致的数据层非常有用。例如,CRDT确保无论消息交换的顺序如何,所有对等端最终都会收敛到相同的状态。

你可以在研究代码库中找到大量的相关材料。

我们认为,CRDT是构建完全分散、分布式、离线的第一Web应用程序的一个基本构建块,而IPFS动态数据与能力工作组一直在引领IPFS和libp2p的发展,并在Peerpad、Peerbase、Discussify和Sandbox Identity Manager等项目中推动其发展。

如果你没有机会亲自参加这个会议,你现在可以通过检查下面的谈话或浏览这个播放列表来了解发生了什么。享受!

Vitor Enes-为分布式计数器借用身份

CRDT研究会议回顾

在这篇演讲中,来自haslab的博士生vitor enes展示了他为避免国家级CRDT中身份爆炸而共同创作的设计
在快速介绍了对CRDT的需求(复制、可用性和延迟)之后,Vitor深入到分布式计数器的实现中,同时解释了在CRDT状态中跟踪副本标识的必要性。

在系统中,每个副本都有一个条目是不可伸缩的,因为状态将永远受到副本标识的破坏。除非…

Nuno Preguiça-AntidoteDB

CRDT研究会议回顾

当使用地理复制数据库时,会出现第一批最终一致的数据库(如Cassandra和Riak),它们提供高可用性,但处理并发性的自动化程度很低。最近,第二代DBMS(如Spanner和 CosmosDB)提供了强大的一致性保证,但在面对网络分区时却牺牲了可用性。

AntidoteDB的目标是在提供强一致性语义的同时,提供高可用性。对于跨越多个数据操作的操作,AntioteDB通过使用快照读取和原子更新来实现高可用事务,从而确保客户机始终看到一致的状态。此外,AntidoteDB可以提供因果一致性,而无需在副本之间进行必要的协调。

数字不变量呢?例如,您如何保证在给定的银行帐户中,全球余额永远不能小于0?通常,在最终一致的数据库中,这是不可能的,因为它需要副本之间的协调。AntidoteDB实现的解决方案是一个有界计数器,在该计数器中,可以在事务执行路径之外进行协调,而无需进行全局协调。

Ali Shoker-尽可能确保最终一致性

CRDT研究会议回顾
CRDT和强大的最终一致性保证了所有副本最终都会聚合,但这可能仅取决于您的故障模型。例如,如果副本无法应用操作(例如,由于错误、硬件故障或恶意代码),则系统无法保证聚合。

通过提供一个拜占庭容错(BFT)集群,将CRDT操作从多个副本推送到该集群,该集群可用于就状态达成共识,并向客户机生成该状态的证书,而不会损害可用性或强的最终一致性保证。

然后,客户机可以选择使用更安全的BFT证书(在可用性上有所折衷),或者继续使用最终一致的模型,该模型具有更好的可用性保证(但在安全性上有所折衷)

Evan Miyazono-协议实验室征求建议书计划

CRDT研究会议回顾

协议实验室(PL)研究团队负责人Evan Miyazono概述了外部研究的协议实验室方法,并描述了协议实验室提案请求(RFP)和拨款计划。

原创文章,作者:三色団子,如若转载,请注明出处:https://ipfsdrop.com/activity/huigu2018crdtyanjiuhuiyi/

发表评论

电子邮件地址不会被公开。 必填项已用*标注

联系我们

(+86)18301922335

在线咨询:点击这里给我发消息

邮件:haskell@freechains.cn

工作时间:7×24小时

QR code