04 | ACK机制:如何保证消息的可靠投递?
04 | ACK机制:如何保证消息的可靠投递?
讲述:袁武林
时长13:35大小12.42M
消息丢失有哪几种情况?
解决丢失的方案:业务层 ACK 机制
ACK 机制中的消息重传
消息重复推送的问题
这样真的就不会丢消息了吗?
补救措施:消息完整性检查
小结
赞 11
提建议
精选留言(79)
- 王棕生2019-09-04有了 TCP 协议本身的 ACK 机制为什么还需要业务层的ACK 机制? 答:这个问题从操作系统(linux/windows/android/ios)实现TCP协议的原理角度来说明更合适: 1 操作系统在TCP发送端创建了一个TCP发送缓冲区,在接收端创建了一个TCP接收缓冲区; 2 在发送端应用层程序调用send()方法成功后,实际是将数据写入了TCP发送缓冲区; 3 根据TCP协议的规定,在TCP连接良好的情况下,TCP发送缓冲区的数据是“有序的可靠的”到达TCP接收缓冲区,然后回调接收方应用层程序来通知数据到达; 4 但是在TCP连接断开的时候,在TCP的发送缓冲区和TCP的接收缓冲区中可能还有数据,那么操作系统如何处理呢? 首先,对于TCP发送缓冲区中还未发送的数据,操作系统不会通知应用层程序进行处理(试想一下:send()函数已经返回成功了,后面再告诉你失败,这样的系统如何设计?太复杂了...),通常的处理手段就是直接回收TCP发送缓存区及其socket资源; 对于TCP接收方来说,在还未监测到TCP连接断开的时候,因为TCP接收缓冲区不再写入数据了,所以会有足够的时间进行处理,但若未来得及处理就发现了连接断开,仍然会为了及时释放资源,直接回收TCP接收缓存区和对应的socket资源。 总结一下就是: 发送方的应用层程序,调用send()方法返回成功的时候,数据实际是写入到了TCP的发送缓冲区,而非已经被接收方的应用层程序处理。怎么办呢?只能借助于应用层的ACK机制。展开
作者回复: 👍,嗯,即使数据成功发送到接收方设备了,tcp层再把数据交给应用层时也可能出现异常情况,比如存储客户端的本地db失败,导致消息在业务层实际是没成功收到的。这种情况下,可以通过业务层的ack来提供保障,客户端只有都执行成功才会回ack给服务端。
共 5 条评论103 - 小可2019-09-04两个ack的作用不同,tcp的ack表征网络层消息是否送达;业务层ack是真正的业务消息是否送达和是否正确处理,达到不丢消息,消息不重复的目的,即我们要保证的消息可靠性
作者回复: 👍
37 - 影随2019-09-10老师您好,服务A向客户端B发送消息,第一次发送msg1,timestamp假设为 01(简写),序号为 01,这条消息因为某种原因,未存储时间戳和序号01,也未发送ack通知。A第二次发送msg2,timestamp为 02,序号为02,它做了存储,保存了最新的时间戳和序号。A第三次发送 msg3,此时B宕机了。 等B重启时,向A发送最新的时间戳和序号 02, 那么A发送大于02序号的消息,即 msg3, 那么 msg1如何保证不丢失呢?
作者回复: 是的,如果只是时间戳或者“只是有序但不连续的序号”的话,是只能保证消息的时序性,不能保证消息的连续性。这种情况可以通过版本号机制来解决,通过两个版本号组成的链表(推送的每条消息携带前一条消息的版本号和当前这条消息的版本号)来检测消息的连续性和时序性。
共 3 条评论20 - 墙角儿的花2019-09-041、回答老师的问题:TCP层的ACK只是TCP包分片的ACK,并不能代表整个应用层的消息得到应答。理论上操作系统的TCP栈肯定是知道整个TCP消息得到对方的ACK了,但是操作系统好像并没提供这种接口。发送成功的接口返回成功通常都表示为操作系统发送成功了,至于链路上有没有问题就不知道了。 2、向老师请教下其他问题,恳请解答。 A、如果接收方本地保存了所有曾经接收过的消息id,接收方是很方便去重,但是,如果用户clear了本地消息该怎么办,是要一直存储所有已经接收的消息id吗 B、对于防范服务器宕机的时间戳机制,其实本质是序号,但是网络传输并不能保证服务器按序号发送的消息,低序号的就一定先于高序号的被接收方接收。所以如果高序号的已经被接收方处理且应答,而某个低序号的消息还没得到接收方应答的场景,通过序号保证完整性貌似不可取。展开
作者回复: A. 接收方本地去重只需要针对本机已经接收到的存在的消息来做就可以了,服务端接收时实际上已经会做一次存储层的去重了,只会存在没有回ack的消息导致接收方重复接收的情况,这种两次之间一般时间间隔都比较短的。 B. 如果低序号的消息还没到,由于没有收到客户端的ack服务端会有超时重传机制会重传这条低序号的消息,另外即使这个时候用户关机不等那条消息了,再次上线时,采用版本号机制的话客户端也是可以知道消息不完整,可以触发服务端进行重推。
共 4 条评论8 - 飞翔2019-10-09老师 从客户端到服务端,服务端要对客户端发送的消息去重, 用哪个字段呀。 这个字段应该是客户端发送消息由客户端产生的吧。 那如何能保证这个字段全局唯一,而不是客户端A 产生了和客户端B 同样的这个字段? 去重的步骤是什么呢? 是去数据库查找是否有这个字段的内容嘛?
作者回复: 一般可以通过业务层的多个字段一起来排重:比如接收方uid和内容,发送时间等,不需要客户端额外生成一个字段。去重实现上可以通过上面字段组合成生成一个hash然后根据消息收到的时间加上一个比较短的过期时间来写入到一个中央存储里。
共 3 条评论6 - null2019-09-29老师,您好! 文中提到:用户 A 等待 IM 服务器返回超时,用户 A 被提示发送失败。但可以通过重试等方式来弥补。 我有个疑问:客户端在超时时间内没有收到响应然后重试,但实际上,请求已经在服务端成功处理了。这时用户 A 和 IM 服务器的状态就不一致了,用户 A 看到的是发送失败,而 IM 服务器却是处理成功的。 同样的,IM 服务器在等待 ACK 通知也存在这样的问题:IM 服务器在有限的重试次数内,一直没收到 ACK 通知,而消息却成功推送给了用户 B,IM 服务器和用户 B 的状态也不一致了。 在有限的重试次数内(线上不可能无限重试吧?),无法得到确定的返回结果,导致客户端和服务端的状态不一致,如何解决这个问题吖? 展开
作者回复: 是的,对于重试不可能保证一定会成功,这些情况一般会以服务端中真实处理为准,通过多终端消息同步机制来让客户端有机会重新同步状态。比如发消息服务端处理成功,但是客户端接收响应超时'这种情况,服务端在成功处理完后会给发送方的发送设备推送当前消息的版本号,如果发送方设备没收到这个版本号,下次上线时会重新同步服务端的状态,用服务端消息进行覆盖。对于你说的第二种情况也比较简单,接收方b需要对重复接收的消息进行去重处理就可以了。
5 - 隰有荷2019-09-04您好,我在读到在消息完整性检查那里时有些疑惑,如果服务端将msg2发出之后,服务端和客户端断链,导致客户端无法接收消息,那么重新连接之后,是可以发送时间戳检测进行重传的。 但是,如果在服务端存储了发送方客户端发送的消息后,正准备将该消息推送给接收方客户端时发生宕机,那么当接收方客户端和服务端重新连接之后,服务端该如何知道自己要将之前存储的消息发送给接收方的客户端呢?展开
作者回复: 用户上线的时候携带本地最新一条消息的时间戳给服务端,服务端从离线缓存里取比这个时间戳大的消息发给客户端就行了呀
共 2 条评论5 - 阳仔2019-09-04保证消息不丢失的做法: 1、发送消息阶段通过客户端的发送重试机制,和服务端的去重,保证发送时消息不丢失不重复 2、服务端推送阶段通过ACK确认机制和客户端去重保证推送时消息不丢失不重复 3、最后使用时间戳的同步机制来保证消息的完整性,这个应该要在服务端无法触发重推消息时才进行的一个操作展开
作者回复: 👍
5 - L2019-10-30老师你好,关于完整性检查我有个问题。 下次会话时用户重装了软件/清空缓存/甚至更换了设备导致本地没有上次会话的时间戳了,这时候岂不是无法获取丢失的那些消息?
作者回复: 嗯,是个好问题,如果上线时不携带时间戳或者版本号这种情况服务端默认会返回最新的n条消息给端上,后续旧消息用户再通过翻页来触发自动拉取。
共 3 条评论3 - 小伟2019-09-12思考题:TCP和业务层做在的维度不一样,故虽然两者的ACK机制原理一样,但不能相互替代。TCP的ACK完成只能说明数据包已经正确传输完毕,但不代表数据包里的数据已经被正确处理完毕。业务层的ACK就是来保证数据包里的数据正确处理完毕的。TCP的ACK完成是业务层ACK的前提,业务层ACK完成是业务规则上的保证。
作者回复: 👍
3 - RuBy2019-09-04老师,请问消息落地的话传统的redis+mysql是否会有性能瓶颈?是否会考虑leveldb(racksdb)这种持久化kv存储呢?
作者回复: 看量级吧,我们自己的场景里mysql和hbase做为永久存储,pika作为离线消息的buffer存储 没有碰到瓶颈。
共 3 条评论3 - 时隐时现2019-09-26消息ID要求全局唯一且时间趋势递增吗?如果是这样,像微信和QQ这样体量的系统,要构建一个多大的消息序列集群才能满足需求?另外,微信和QQ的消息序列集群是全球唯一一个,还是多个集群并行部署?如果是全球唯一1个集群,跨半球的消息发送会不会延时很大,如果是多个集群,又如何保证时间趋势递增?
作者回复: 消息ID要求全局唯一且时间相关,这个时间相关的精度是可以自行控制的,比如说是毫秒级有序还是秒级有序,通过内存级资源是能够实现每秒百万级发号能力的。我了解到的,类似微信这种IM,不需要支持多终端消息同步的场景,不需要通过拉取来对消息进行排序,所以实际上这个消息ID全局有序的必要性就很小了,只需要保证每个人的维度消息有序就可以,所以发号可以做到人维度。整体实现上也不需要时间相关了,只需要保证序号递增就能在接收端进行排序。腾讯整体据对外的分享,是采用多机房Set架构,其中包括海外机房,每个用户消息发送只会到所属的Set,然后通过多机房同步工具进行同步,所以消息发送方面延迟控制上应该也是有保障的。
2 - 小袁2019-09-09有2个问题 1 服务端发消息给客户端,没收到ack重试有最大次数吗?是像tcp那样一直重试直到收到ack吗? 如果客户端有bug导致处理消息一直失败,是否会导致服务端一直在重试,然后队列就满了。 2 收到消息后处理失败了要怎么处理,是不做等待服务端重发吗?展开
作者回复: 1. 会有重试次数,毕竟即使收不到还有离线消息来补充。 重试多次仍然失败服务端可以主动断连来避免资源消耗。 2. 一般等着服务端重推就好了。
2 - Better me2019-09-04老师您好,我想问下服务端IM先后推送两条消息msg0、msg1、msg2到客户端B,如果msg0、msg2先到达,此时客户端B应该不会更新到msg2的发送时间戳吧,而是等待msg1到达。如果此时陆续msg3、msg4消息到达,msg1还没到达,客户端是否也可像tcp一样,发送3个msg0消息到服务端IM,而不需要等待超时就让IM服务端立即重发msg1,这样可以降低延时,等到msg1到达客户端B后,可以直接将时间戳更新至最新到达消息的时间戳吧,而不是msg1的时间戳,不知道的理解的对不对,老师有时间看看展开
作者回复: 首先这里要能让客户端知道有一条消息msg1还没到,所以单纯使用时间戳可能是不够的,时间戳只能代表时序,并不能判断出完整性,所以可能还需要配合连续的序号来实现感知(比如每次建连,服务端针对这条连接的所有推送从0开始自增,随消息一起下推)。至于你说的类似tcp的重传机制,这个理论上是可以这么实现的,就是复杂度上会高一些。
2 - 长江2019-09-04有了 TCP 协议本身的 ACK 机制为什么还需要业务层的 ACK 机制? 1.TCP属于传输层,而IM服务属于应用层,TCP的ACK只能保证传输层的可靠性,即A端到B端的可靠性,但是不能保证数据能够被应用层正确可靠处理,比如应用层里面的业务逻辑导致消息处理失败了,TCP层是不知道的。 2.TCP虽然是可靠性传输协议,但是如果传输过程中,假如数据报文还没被接收端接收完毕,接收端进程服务崩溃了,而用户又不再立刻启动这个应用程序,这也会导致消息丢失的吧。 所以不能只依靠TCP的ACK机制的。展开
作者回复: 1没问题哈,对于2的话如果出现接收端进程崩溃,一般这个时候接收端APP也是处于不可用状态了,这种情况实际上也没法通过这个ACK机制来避免丢消息。可以在用户再次上线时进行完整性检查的确认,如果有消息没有被正确接收,再由服务补推。
共 4 条评论2 - 段先森2019-09-04想问一下老师,一般来说对于直播的业务场景,消息存储这个环节用什么MQ会比较好些
作者回复: 如果只是离线消息暂存的话,可以用pika或者redis,如果是消息的永久存储还是落db比较好。
2 - 慎独明强2020-07-04对于TCP协议不怎么了解,看到这篇文章,我脑海里蹦现的是mq的消息可靠性,感觉是如出一辙. 从客户端发送方保证消息发送成功,根据消息服务端的返回响应来做重试方式. 服务端的可靠性:无非就是保证消息能持久化成功,类比这里的写入到db. 同步双写方式; 消费方的可靠性,就是利用消息的幂等处理与提交消费进度,偏移量.与这里的时间戳或者全局唯一的顺序id,真的很像... rocketmq为了保证消息的可靠性,事务消息的发送,服务端的主从架构高可用,同步双写; 消费方的幂等处理加上手动提交消费进度.服务端宕机后,也会有对应的故障机制去根据消费偏移量去恢复消息. 老师这两方面的内容应该是相通的吧.展开1
- LiG❄️2020-04-23新学习中,请问老师对于消息完整性检查 ,在什么时机下构建消息链表比较合适呢?例如:(1)服务端收到某个会话消息时,怎样获取这个会话上一条消息呢(特别是高并发情况下,确保获取的就是上一条消息)?(2)客户端做检查时,存在已收到的消息、新接收的消息,以什么条件去服务端拉取离线消息比较合适呢?还望老师解惑1
- chjxbt2020-04-02有个疑问请教老师: 1、针对群聊,多个用户接收到消息后,进行ack回包,如果这时有一个用户回包失败,但是根据你的设计,待 ACK 消息列表,如果只保存消息id,不保存用户id,那就不清楚到底哪个用户回包成功哪个失败,然后针对失败的重发?待 ACK 消息列表是否同一条消息分别标记不同用户,相当于保存了一条消息多个用户的ack数据?1
- 聪2020-03-24去重可以用一个redis cluster去存所有出现的sequence ID。共 3 条评论1