学习分布式计算,首先要学习记住一些notation,记法
任何理论首先都必须建立一些概念、记法。
在概念的基础上,再建立一些原理。
固定的记法,让我们能更容易地推理和讨论问题。
事件和进程
事件分:
内部事件
发事件
收事件
二元关系: binary relation
事件因果序的概念 Causal precedence relation
事件并发的概念: ConCurrency
没有直接的或者传递性的因果关系。
逻辑和物理并发:
Cut