的TrueTime的时间戳或者是逻辑时钟实现.这样当客户端往Storage写入数据的时候会携带对应的Token给到Storage并告诉他以最新的Token为准,携带的Token小于已持久化的Token直接拒绝写入请求...单调有序性: 如果请求X获取锁返回的Tokens为Tx, 请求y返回的锁Token为Ty, 且请求X是先于请求Y, 那么一定满足Tx 的算法属性中,唯一性以及单调有序性是分布式系统的Safety属性, 而可用性是指分布式系统的Liveness属性.安全性通常被定义为“不会发生糟糕的事情”,而活性则被定义为“最终会发生好的事情”。...安全性和活性的实际定义是精确且基于数学的:
安全性: 如果违背了系统安全性, 那么对于系统的损坏是无法撤销的, 因为损坏已经造成, 比如上述例子中没有引入Token导致文件损坏, 这种损坏是无法撤销且需要我们工程师介入修复处理...总结
因此, 区分安全性以及活性属性有助于我们应对复杂的分布式系统模型,因为我们在构建一个具备故障容忍的分布式系统过程中必须要识别到哪些故障是我们业务层面是无法接受容忍的,哪些故障是允许我们接受容忍的,