分布式
关注
分享
扫一扫
文章平均质量分 89
deprecated_tzg
这个作者很懒，什么都没留下…
展开
-
PaxosCommit TLA+形式化验证
TLA+----------------------------- MODULE PaxosCommit ----------------------------EXTENDS IntegersCONSTANT RM, Acceptors, Majority, BallotVARIABLES rmState, aState, msgsCONSTANT prepared, aborted...原创 2018-06-12 15:56:48 · 1126 阅读 · 0 评论 -
Raft TLA+形式化验证
TLA+------------------------------- MODULE Raft -------------------------------EXTENDS Naturals, FiniteSets, Sequences, TLCCONSTANTS Server, Value, Follower, Candidate, Leader, Nil, RequestVot...原创 2018-06-14 11:12:59 · 3258 阅读 · 0 评论 -
F1异步schema更新
aaaaa原创 2018-07-12 11:52:00 · 997 阅读 · 1 评论 -
浅析内存事务
简介原创 2018-07-22 20:45:24 · 1975 阅读 · 0 评论