鱼眼一致性:在地理复制世界中保持数据同步
在地理分布式系统日益流行的今天,数据一致性成为了一个关键问题。本文将介绍一种名为G - 鱼眼(SC,CC) - 一致性的框架,它结合了顺序一致性和因果一致性,为地理分布式系统中的数据同步提供了有效的解决方案。
1. 不同一致性模型下的可能执行结果
首先,我们来看一个关于不同一致性模型下操作结果的表格:
| 一致性类型 | x? | y? |
| — | — | — |
| 顺序一致性 | 3 | 5 |
| 因果一致性 | {2,3} | {4,5} |
| G - 鱼眼(SC,CC) - 一致性 | 3 | {4,5} |
在G - 鱼眼(SC,CC) - 一致性中,由于p和q在图G中是邻居,op1 p 和op1 q 必须被所有进程以相同的顺序观察到,所以x?必须返回3,就像在顺序一致的历史中一样。然而,因为p和r在图G中没有连接,op2 p 和op3 r 可能被不同的进程以不同的顺序看到,所以y?可能返回4或5。
2. 底层(SC,CC) - 广播操作的构建
为了实现G - 鱼眼(SC,CC) - 一致性,我们使用了一个具有混合排序保证的广播操作。
2.1 G - 鱼眼(SC,CC) - 广播的定义
我们提出的混合广播,记为G - (SC,CC) - 广播,由一个接近度图G参数化。这个图G根据发送者在图中的位置,决定对哪些消息应用哪种传递顺序。在图G中邻居之间(SC,CC) - 广播的消息必须在所
超级会员免费看
订阅专栏 解锁全文
1088

被折叠的 条评论
为什么被折叠?



