分布式系统

在跨进程通信中，明确一个消息被接收者正确接受的方式是接收者在收到该消息后给发送者发送确认，即ACK机制。但是这种机制也存在一些问题。

在有些架构中，我们经常看到组件或服务会发送一个消息到一个其它的组件（可能是一个注册有回调函数的响应器或一个不断接收信息的循环处理程序或一个消息中间件），这种交互形式称之为基于事件的通信模式。

在组播的实现中，为了处理部分失败（partial failure）的问题，实现可靠组播和保证消息序。我们引入组播消息处理中间件，在中间件实现组播算法，同时决定何时将消息交付到应用程序。

虚同步为我们提供了一个组播组成员管理和通信协调模型。通过虚同步，进程可以随时加入或离开一个组播组，同时通过虚同步还可以保证原子组播，即确保信息要么传送到组中的所有进程，要么没有进程能交付该信息。

逻辑时钟是在假设没有全局时钟的情况下，通过允许给事件指定序列号（时间戳）来解决分布式系统中的事件顺序问题。

互斥算法确保在并发情况下，只有一个进程可以访问共享资源。在分布式环境中，锁和信号量等机制不适用，因此需要一种算法来保证多个进程可以访问共享资源，并且只有一个进程可以访问资源。共享资源可以是临界代码

领导选举是指一组进程组对同一个进程成为领导达成一致的算法。这里要求所有的进程都有平等的机会当选为领导，最终有且只有一个进程被选为领导，并且所有进程都对此达成一致。

组播也称多播或群播，是计算机中一种群组通信，它是发送单一消息到所有群组成员的概念抽象。理想情况下，进程只需要发送一个消息到一个群组，消息会被群组所有进程接受处理，发送进程并不需要知道群组成员

RPC允许程序调用其他机器上的过程看起来就像是进行正常的过程调用，虽然远程过程调用与本地过程调用在底层实现上是不同的