使用中央服务器的操作转换，如何与多个客户端进行实时协作？

Question

我刚刚在Jupiter Collaboration System中读完了高延迟，低带宽窗口 ，我大部分都遵循了所有内容，直到第6部分：全局一致性。 本部分描述了如何扩展本文中描述的系统以适应连接到服务器的多个客户端。 但是，解释非常简短，并且基本上说如果中央服务器仅将客户端消息转发给所有其他客户端，则系统将起作用。 我真的不明白这是如何工作的。 在发送给所有其他客户端的消息中将发送什么状态向量？ 服务器是否为每个客户端维护单独的状态向量？ 它是否为每个客户端在本地维护单独的小部件副本？

我能想到的一个简单示例就是这样的设置：想象客户端A，服务器和客户端B，客户端A和客户端B都连接到服务器。 首先，这三个都有状态对象“ABCD”。 然后，客户端A在服务器发送消息“在位置0插入字符G”的同时发送消息“在位置0插入字符F”。 似乎只是将客户端A的消息中继到客户端B，反之亦然，实际上并不处理这种情况。 那么服务器究竟做了什么呢？

Answer 1

我实际上弄清楚这是如何工作的。 在我的示例中，服务器为客户端A和客户端B保留状态空间。在服务器首先获取客户端A的消息的情况下，服务器获取具有状态向量（0,0）的消息，插入F，然后更新其状态向量分别为A和B的（1,0）和（0,1）（其中第一个数字是来自客户端的已处理消息的数量，第二个数字是来自服务器的消息数量）处理）。 然后服务器发送“在位置0插入F”，状态向量（0,0）（因为这是服务器收到消息时B状态空间中服务器的状态）并获得“在位置0插入G”从B发送状态（0,0）。 由于服务器处于B状态空间中的状态（0,1），它首先转换消息（同样地，由于B在收到服务器消息时处于（1,0），它也转换它从消息中得到的消息）服务器）。 因为必须设置转换，以便如果xform（c，s）=（c'，s'），则c'应用于s等于s'应用于c，B，并且服务器最终处于相同状态。 服务器从B收到的消息也会发生同样的情况，然后发送给A.