EagleBear2002 的博客
这里必须根绝一切犹豫,这里任何怯懦都无济于事
首页
关于
分类
46
标签
3
归档
407
站点地图
公益 404
分布式系统共识
分类
2022
07-10
POPL'19-Pretend Synchrony-Synchronous Verification of Asynchronous Distributed Programs
05-12
Fast Paxos Report
05-11
Fast Paxos
05-10
Fast Paxos Made Easy
05-01
OSDI'23-Consolidating Concurrency Control and Consensus for Commits under Conflicts
04-25
PODC'01-Paxos Made Simple
04-19
DC'21-Multi-shot Distributed Transaction Commit