高手社区
福利
数码
域名
主机
金融
AI
全部
搜索
全部主题
福利
数码
域名
主机
金融
AI
分享
技术
综合
主题
回帖
称号
积分
收藏
《拒绝最终一致性的脏读陷阱: Umem-cache 强一致性实现原理》
2
似乎是在试图重新发明 Raft ? 1. Raft 里有 ReadIndex 2. 你的方案中,"向领导者请求认证权威" 这一步在脑裂情况下会有问题,旧的 leader 短时间内可能还会认为自己是合法 leader 。Raft 里的方案是:在读时向过半数的 follower 确认自己仍是 leader 。 对于自己设计的算法,一个好的方法是让 AI 用形式化验证帮你证明一下 serializabi
WildNova930
4小时前
技术
72
WildDeer421
缓存一致性
Umem-cache
强一致性
技术
提示
×