1、前言
IM的群聊消息，究竟存1份（即扩散读方式）还是存多份（即扩散写方式）？
上一篇文章《IM群聊消息的已读回执功能该怎么实现？》是说，“很容易想到，是存一份”，被网友们骂了，大家争论的很激烈（见下图）。
<ignore_js_op>
网友骂的对，任何技术方案，都不是天才般灵感乍现想到的，一定是一个演进迭代，逐步优化的过程。今天就聊一聊，IM群聊消息，为啥只需要存一份。
不过，从公开的技术资料来看，微信的群聊消息应该使用的是存多份（即扩散写方式），详细的方案可以在微信团队分享的这篇文章里找到答案：《微信后台团队：微信后台异步消息队列的优化升级实践分享》。
学习交流：
- 即时通讯开发交流3群：185926912[推荐]
- 移动端IM开发入门文章：《新手入门一篇就够：从零开发移动端IM》
（本文同步发布于：http://www.52im.net/thread-1616-1-1.html）
2、本文作者
<ignore_js_op>
沈剑：58技术委员会主席，58高级架构师，58到家技术总监。C2C技术部负责人，58技术学院优秀讲师。
沈剑的另外几篇有关IM的文章也值得你去阅读：
3、IM开发干货系列文章
本文是系列文章中的第15篇，总目录如下：
- 《IM消息送达保证机制实现(一)：保证在线实时消息的可靠投递》
- 《IM消息送达保证机制实现(二)：保证离线消息的可靠投递》
- 《如何保证IM实时消息的“时序性”与“一致性”？》
- 《IM单聊和群聊中的在线状态同步应该用“推”还是“拉”？》
- 《IM群聊消息如此复杂，如何保证不丢不重？》
- 《一种Android端IM智能心跳算法的设计与实现探讨（含样例代码）》
- 《移动端IM登录时拉取数据如何作到省流量？》
- 《通俗易懂：基于集群的移动端IM接入层负载均衡方案分享》
- 《浅谈移动端IM的多点登陆和消息漫游原理》
- 《IM开发基础知识补课(一)：正确理解前置HTTP SSO单点登陆接口的原理》
- 《IM开发基础知识补课(二)：如何设计大量图片文件的服务端存储架构？》
- 《IM开发基础知识补课(三)：快速理解服务端数据库读写分离原理及实践建议》
- 《IM开发基础知识补课(四)：正确理解HTTP短连接中的Cookie、Session和Token》
- 《IM群聊消息的已读回执功能该怎么实现？》
- 《IM群聊消息究竟是存1份(即扩散读)还是存多份(即扩散写)？》（本文）
另外，如果您是IM开发初学者，强烈建议首先阅读《新手入门一篇就够：从零开发移动端IM》。
4、更多关于IM群聊的文章
IM系统中的群聊功能，是个很大话题，下面几篇在关群聊的文章您也可以读一读：
- 《如何保证IM实时消息的“时序性”与“一致性”？》
- 《IM单聊和群聊中的在线状态同步应该用“推”还是“拉”？》
- 《IM群聊消息如此复杂，如何保证不丢不重？》
- 《微信后台团队：微信后台异步消息队列的优化升级实践分享》
- 《移动端IM中大规模群消息的推送如何保证效率、实时性？》
- 《现代IM系统中聊天消息的同步和存储方案探讨》
- 《关于IM即时通讯群聊消息的乱序问题讨论》
- 《IM群聊消息的已读回执功能该怎么实现？》
>> 更多同类文章 ……
另外，《一套海量在线用户的移动端IM架构设计实践分享(含详细图文)》一文中也包含了群聊的完整设计，如果您设计IM不知从何下手，可以详细地参考此文。
5、最基本的方案：“在线的群友不存储消息，离线的群友才存储”
群信息，用户信息，群成员关系都是基础数据：
group_info(gid, group_info);
user_info(uid, user_info);
group_members(gid, uid);
假设一个群(gid)里有4个成员，其中三个在线(A, uid1, uid2)，一个不在线(uid3)。
A发送了一条消息，很容易想到，对于不同的群友消息存多份，每个群友一个队列来存储。但由于在线的用户会实时的收到消息，所以暂定只为离线的用户存储。
用户收到的群消息，也是基础数据：
user_msgs(uid,msgid,gid,sender_uid,time,content);
<ignore_js_op>
很容易想到，整个群消息的发送流程如上图1-4：
- 1）发送消息；
- 2）查询状态；
- 3）不在线的存储离线；
- 4）在线的实时推送。
“在线的群友不存储，离线的群友才存储”会带来的问题是，如果第四步发生异常，群友会丢失消息。
6、优化的方案：“不管群员是否在线，都要先存储消息”
消息的可达性是聊天系统中最重要的要素（没有之一），故这个方案是不行的，需要优化为“不管是否在线，都要先存储”。
<ignore_js_op>
发送群消息的流程优化为，如上图1-4：
- 1）发送消息；
- 2）所有人都存一份；
- 3）查询状态；
- 4）在线的实时推送。
先将消息落地，能够保证消息可达性，那何时才能删除已经落地的群消息呢？我们继续往下看。
<ignore_js_op>
对于在线的群友：收到群消息后，给个ack确认才能删除。
画外音：逻辑删除，还是物理删除，根据业务是否有消息漫游决定。
<ignore_js_op>
对于离线的群友：在下次登陆后，拉取完离线消息再给ack确认才能删除。
总之：为了保证消息的可达性，不管是在线消息还是离线消息，必须接收方给ack确认，才能删除消息。
7、“不管群员是否在线，都冗余一份群消息”带来的问题
“不管是否在线，都冗余一份群消息”带来的问题是：同一条消息存储了很多次，对磁盘和带宽造成了很大的浪费。
很容易想到的优化是：群消息实体存储一份，用户只冗余消息ID。
<ignore_js_op>
故基础数据可以由：
user_msgs(uid,msgid,gid,sender_uid,time,content);
优化为：
group_msgs(msgid,gid,sender_uid,time,content);
user_msgs(uid, msgid, gid);
这个优化，对于消息投递，以及消息删除的核心流程没有影响，几个实践为：
- 在线用户投递消息实体，ack消息ID；
- 离线用户先拉取消息ID，再拉取消息实体，再ack消息ID。
如此这般，假如在某个群友A期间，群里陆续发送了N条消息，则user_msgs(uid, msgid, gid)里，会有 uidA -> mid1,mid2, mid3, … midN 等N条离线记录，拉取离线消息时，可以把这N条消息一次性拉取出来，然后再删除：
delete from user_msgs where msgid in($mid1,$mid2…, $midN) and gid=$gid
8、终级方案：利用群消息的“偏序”特性优雅地实现“只存1份”
然而，群消息具备“偏序”特性，上面的一次性删除完全可以优化为：
delete from user_msgs
where msgid >= $mid1 and gid=$gid
这就意味着，每个用户只需要记录“最近一次收到的消息ID”，而不用记录“所有未收到的消息ID集合”，每当收在线消息ack，以及拉离线消息ack时，只需要更新这个“最近一次收到的消息ID”即可。
于是乎，基础数据可以由：
group_members(gid, uid);
group_msgs(msgid,gid,sender_uid,time,content);
user_msgs(uid, msgid, gid);
优化为：
group_members(gid, uid, last_ack_msgid);
group_msgs(msgid,gid,sender_uid,time,content);
user_msgs(uid, msgid, gid); // 不再需要
<ignore_js_op>
即：群消息只存储一份，群友无需冗余任何消息实体，或者消息ID了。
<ignore_js_op>
对于在线的群友：收到群消息后，修改这个last_ack_msgid。
<ignore_js_op>
对于离线的群友：拉取群消息后，也修改这个last_ack_msgid。
画外音：这里的讨论，仅限于接收方收到了哪些消息，和发送方的已读回执没有关系。（这里指的是作者的上篇文章《IM群聊消息的已读回执功能该怎么实现？》）
9、本文小结
任何架构方案都不是灵光一现，而是逐步迭代优化产生的：
- 方案1：群聊消息存多份，只存在线，消息容易丢；
- 方案2：群聊消息存多份，所有群友都存储，消息冗余多；
- 方案3：群聊消息存多份，只存ID，未利用偏序；
- 终极方案：群聊消息存一份，只存last_ack_msgid。
架构不（只）是设计出来的，更是演进出来的。
（本文同步发布于：http://www.52im.net/thread-1616-1-1.html）