分布式快照算法: Chandy-Lamport 算法
Flink的ABS（Asynchronous Barrier Snapshotting）
Eventual Consistency
最终一致性. 弱一致性的特定形式。
consensus algorithm
Paxos算法是Leslie Lamport于1990年提出的一种基于消息传递共识算法
ECC之Reed-Solomon
里德-所罗门码（Reed-solomon codes，简称里所码或 RS codes）是一种前向错误更正的信道编码，对由校正过采样数据所产生的有效多项式。
DAG
边有向，无环。英文名叫 Directed Acyclic Graph，缩写是 DAG。
Gossip
Gossip protocol 也叫 Epidemic Protocol （流行病协议），实际上它还有很多别名，比如：“流言算法”、“疫情传播算法”等。
CRDT
CRDT(Conflict-Free Replicated Data Type)是各种基础数据结构最终一致算法的理论总结，能根据一定的规则自动合并，解决冲突，达到强最终一致的效果。