Lamport(物理)时钟同步算法

Question

由于这是一份如此著名的计算机科学论文，我决定阅读Lamport的时间、时钟和分布式系统中事件的排序。除了他经常被引用的关于逻辑时钟的评论之外，他还提出了一个同步物理时钟的算法(从562页开始)。我想我知道这个算法，然而，在第563页，他列出了每个过程必须遵循的两个实现规则。我只是不明白IR1的意思是什么：

IR 1'.对于每个i，如果Pi在物理时间t没有接收到消息，则Ci在t和dCi(t)/dt > 0时是可微的。

他说“词是可辨的”是什么意思？有什么可区别的？为什么dCi(t)/dt必须大于0？难道我们不试着让它尽可能接近0吗？

也许这是一个非常愚蠢的问题，有一个非常明显的答案，但到目前为止，我还不明白。所以，帮助是非常感谢的..。

Answer 1

这意味着，Ci(t)是t的一个数学可微函数，也就是Ci(t)的导数存在于t。(也就是Ci(t)的值在t上发生了一些可测量的变化)

dCi(t)/dt > 0只是指Ci(t)的导数大于零。(也就是Ci(t)在t上的正变化率)

这只是将Ci(t)定义为一个函数，当Pi没有收到消息时，它的值就会增加。