Paxos 简明 (2001)[pdf]
摘要
本文简明地解释了 Paxos 算法,该算法用于在分布式系统中达成共识。
暂无内容
相似文章
共识桌游
本文通过桌游隐喻解释共识算法(如Paxos),利用视觉图表说明投票、领导者选举以及分布式系统中的容错性。
Calvin - 确定性、分布式ACID事务 (2020)
解释了Calvin协议,该协议使用确定性锁来实现分布式ACID事务,无需两阶段提交(2PC),相比传统方法提高了可扩展性并减少了争用。
可信计算常见问题解答(2003)
一份2003年的全面FAQ,解释了TCPA、Palladium和NGSCB,它们的目标以及对数字版权管理和软件许可的影响。
使用AI编写10万行Rust代码的心得(2025)
一位开发者分享了使用AI编程助手构建一个基于Rust的10万行多Paxos共识引擎的心得,实现了显著的生产力提升和性能改进。
可证明安全操作系统(PSOS)的基础(1979)[pdf]
这篇1979年的学术论文介绍了可证明安全操作系统(PSOS)的基础。