Safety

Safety 约束系统在所有执行过程中都不能进入非法状态。对共识或复制日志协议而言，典型要求是不同节点不能对同一日志位置提交彼此冲突的值。

Safety 与系统是否迅速响应是两回事。网络分区、消息延迟或节点故障可能迫使系统暂停服务，以避免产生互相矛盾的决定；这种选择保住了安全性，却可能暂时牺牲活性。