timing assumption

Timing是分布式算法中的一个假设，指的是算法对系统时钟的依赖程度。在异步模型中，进程可能会暂停任意长的时间，消息可能会在网络中延迟任意长的时间或丢失，系统时钟也可能以任意方式出错。好的分布式算法应该基于异步模型，并且算法的安全性不应该依赖于任何记时假设。换句话说，即使在极端情况下，如系统时钟严重错误，算法顶多是不能在有限时间内给出结果，而不应该给出错误的结果。这样的算法在现实中是存在的，如Paxos和Raft。但是，Redlock的安全性级别不符合这个标准，因为它对系统时钟有较强的依赖性。