frommymind的专栏

<br />学习分布式计算，首先要学习记住一些notation，记法<br /> <br />任何理论首先都必须建立一些概念、记法。<br /> <br />在概念的基础上，再建立一些原理。<br /> <br />固定的记法，让我们能更容易地推理和讨论问题。<br /> <br /> <br />事件和进程<br /> <br />事件分：<br />内部事件<br />发事件<br />收事件<br /> <br /> <br />二元关系： binary relation<br /> <br />事件

<br />终止检测：检测一个计算任务何时结束，当计算是分布式时，检测计算的终止是一件困难也很重要的事情。<br /> <br /> 

<br />分布式计算的特殊性：<br /> <br />1） 缺乏全局时钟和共享内存。<br />2） 异步通信，有限延迟但不可预测。<br /> 

分布式计算系统包含了没有共同的内存的，通过消息传递通道彼此异步通信的，在空间上分隔的进程。每一个分布式组件有它自己的本地状态，其表现为本地内存以及活动记录。通道的状态表现为通过通道发送和接收的消息。分布式系统的全局状态是其所有组件的本地状态的集合。记录分布式系统的全局状态是一个重要的范型，我们可以发现其在分布式系统设计的几个方面的应用，比如：