自定义博客皮肤VIP专享
点击选择上传的图片
格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图
请上传大于1920*100像素的图片!
图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景
图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB
RGB颜色,例如:#AFAFAF
自定义博客皮肤
软件设计思想笔记
本文记述个人对软件设计的一些零思碎想。
2013-08-18 20:14:32 493
Paxos算法解决的问题是一个分布式系统如何就某个值(决议)达成一致。本文尝试证明Paxos算法的正确性。
2013-08-18 20:12:40 1693
TA创建的收藏夹 TA关注的收藏夹
TA关注的人