路松峰 黄保华 胡和平 李仁发 杨磊 李肯立 何志均 鲍洋 卢正鼎 李瑞轩 黄浩 孙建伶 宋平

冗余 存储系统 错误检测 互斥协议 拜占庭错误 一致性 对等网 拜占庭容错 选举协议 线性一致性 容错