浅析IM即时通讯开发中消息“可靠性”和“一致性”

Posted 2022-07-13 wecloud1314

丛所周之，即时通讯聊天（IM）系统必需要解决消息可靠性及消息一致性问题。

这两个问题，通俗来说就是：

1）消息可靠性：简单来说就是不丢消息，会话一方发送消息，消息成功到达对方并正确显示；2）消息一致性：包括发送一方消息一致及会话双方消息一致，要求消息不重复，不乱序。本文会从典型的IM消息发送逻辑开始，简单易懂地阐明消息可靠性、一致性问题的原理及可参考的技术解决方法，或许技术方案并不完美，但希望能为你的IM技术问题解决带来启发。

 

典型IM消息发送过程

IM的消息发送一般的实现过程可以分为两个阶段：

1）发送方发送消息、服务端接收、返回消息 ACK 给发送方；2）服务端将消息推送到接收方。判断消息发送是否成功主要依据第一阶段——即服务器是否接受到消息。

对于消息发送者来说，消息状态可以分为三类：

1）正在发送；2）发送成功；3）发送失败。具体来说，这三类状态的具体意义是：

1）正在发送：发送方触发发送事件开始，到收到服务端返回消息对应 ACK 之前；2）发送成功：发送方收到消息对应 ACK 回复；3）发送失败：超过一定重发次数，未收到消息对应 ACK 回复。

重发机制

保证消息发送第一阶段（见本文“3、典型IM消息发送过程”一节）消息成功发送的方法是设立重发机制：

1）依据一定时长内是否收到消息对应 ACK，判断消息是否要重发；2）如果超过预设时长，就重新发送；3）当重发次数超过预设次数，就不再重发，判定该消息发送失败，修改消息发送状态。PS：具体的完整方案级代码实现，可以参考MobileIMSDK 中有关QoS机制的代码实现。

会话记录检查

消息发送第二阶段（见本文“3、典型IM消息发送过程”一节）服务端推送消息到接收方，如果连接断开，会丢失消息。

所以要保证消息完整，就需要在建立连接后，根据上一条消息（已经 ACK）时间戳，获取会话记录，一次返回一段时间内所有消息（PS：中大型应用中，消息的拉取也不是个简单事情。

另一种保证方法是加入定时轮询，检查消息完整性。

需要考虑的两个问题

消息重发、会话记录检查需要考虑两个问题：

1）消息是否会重复发送；2）消息顺序是否会被打乱。举两个例子。

关于消息重发问题：

1）如果丢消息的点在消息达到服务端之前，服务端并没有收到消息，发送方重新发送丢失消息，服务端接收成功，不会产生两条相同消息；2）而如果服务端接收到消息，返回 ACK 丢失，这时再发送一次相同消息，就可能造成消息重复。关于消息顺序问题：

1）如果发送方连发三条消息，第一、第三条成功被服务端接收，第二条丢了，那第三条消息是否会被记录？2）如果这时第二条消息达到服务端，其顺序是在第三条时间之前还是之后（服务端一般都会给记录打一个时间戳）？

使用 uuid 消息去重

对于消息重发问题，可以给每条消息增加属性 uuid 作为消息唯一标识，重发消息 uuid 不变，前端根据 uuid 去重。大致思路就是这样。

 使用向量时钟进行消息排序

对于消息排序问题：因为在聊天中，消息的顺序对于发送方的表述有重要的影响，消息不完整或顺序颠倒都可能造成语意不连贯，甚至曲解。所以需要保证发送方发送消息顺序，而会话双方消息排序需要考虑实际情况。即时通讯聊天软件app开发可以加蔚可云的v：weikeyun24咨询

 

在一般的认知里：状态是正在发送的消息，应该还没有被对方看到，只有发送成功的消息，才会被对方看到。但在实现中，消息发送成功是以服务器接收消息并返回 ACK 成功为判断依据，而不是被对方接收到。

那么就会出现这样一个问题：如果一条消息状态是正在发送，此时收到一条消息，那么收到的消息是在正在发送的消息之前还是之后？

这是一个上下文关系，关键问题是：发送方是以哪条所见消息为依据发送消息的。

先简单描述向量时钟算法：

向量时钟算法用于在分布式系统中生成事件偏序关系，并纠正因果关系。一个系统包含 N 个节点，每个节点产生的消息体中包含该节点的逻辑时钟，整体系统的向量时钟由 N 维逻辑时钟组成，并在每个节点产生的消息体中传递。

简单来说，向量时钟算法的实现原理如下：

1）初始状态，向量值为 0；2）每次节点处理完节点事件，该节点时钟+1；3）每次节点发送消息，将包含自身时钟的系统向量时钟一起发送；4）每次节点收到消息，更新向量时钟，该节点时钟+1，其他节点对比每个节点本地保留的向量时钟值和消息体中向量时钟值，取最大值；5）节点同时收到多条消息，判断接收消息的向量时钟之间是否存在偏序关系。针对上述的第5）点：

1）如果存在偏序关系，则合并向量时钟，取偏序较大的向量时钟；2）如果不存在偏序关系，则不能合并。偏序关系：如果 A 向量中的每一维都大于等于 B 向量，则 A、B 之间存在偏序关系，否则不存在偏序关系。

对于IM为聊天消息排序来说，其实就是处理聊天消息的上下文语境，决定消息之间的因果关系。

参考向量时钟算法：假设有 N 个消息会话方，系统的向量时钟由 N 维时钟组成，向量时钟在各方发送的消息体中传递，并依据向量时钟排序。

具体实现思路如下：

1）系统向量时钟设为 (0, 0, …, N)；2）节点发送消息，更新系统向量时钟，该节点时钟加一，其他节点不变；3）节点接收消息，更新系统向量时钟，该节点时钟加一；其他节点对比每个节点本地保留的向量时钟的值和消息中向量时钟的值，取最大值；4）依据消息体内系统向量时钟的偏序关系决定消息顺序。针对上述第4）点：

1）如果可以确定偏序关系，则根据偏序关系由小到大显示；2）如果多条消息不能确定偏序关系，则按照自然顺序（接收到的顺序）显示。向量时钟在理论上可以解决大部分消息一致性的问题，但在实现中还需要考虑实际使用时的体验。

这其中最需要关注的问题是：是否要强制排序，或者说，如果实际显示顺序和向量时钟之间的偏序关系不一致，是否要移动消息之间的顺序。

举个例子：在一个有多人的会话中，如果有一方网速特别慢，收不到消息，也发不出消息。在他看到的最后的消息之后，其他人已经开始新的话题，这时他关于上一个话题的消息终于发送成功，并被其他人收到。

此时就存在这样一个问题：这条关于上一个话题的消息是显示在最后，还是移到较早时间？

1）如果显示在最后，但消息内容和目前的话题不相关，其他人可能会感到莫名其妙；2）如果把消息移到较早时间，那么这条消息可能不会被其他人看到，或者看到前面多了一条消息，会有种突兀的感觉。IM 的场景很多，也很复杂，更多的时候需要从产品角度考虑问题。

对于消息是否需要排序的问题，这里只提出一个比较通用的方案：建议会话中不强制排序，会话历史记录中按照向量时钟的偏序关系进行排序。