昨天《群消息已讀回執，為什么這么難？》，有朋友反問：你憑什么默認群消息只存儲了一份？今天來聊聊這個問題。

群消息，究竟存一份還是多份？

任何技術方案，都不是天才般靈感乍現想到的，一定是一個演進迭代，逐步優化的過程。

群信息，用戶信息，群成員關系都是基礎數據：

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);

很容易想到，整個群消息的發送流程如上圖1-4：

• 發送消息；
• 查詢狀態；
• 不在線的存儲離線；
• 在線的實時推送；

“在線的群友不存儲，離線的群友才存儲”會帶來的問題是，如果第四步發生異常，群友會丟失消息。

消息的可達性是聊天系統中最重要的要素（沒有之一），故這個方案是不行的，需要優化為“不管是否在線，都要先存儲”。

發送群消息的流程優化為，如上圖1-4：

• 發送消息；
• 所有人都存一份；
• 查詢狀態；
• 在線的實時推送；

先將消息落地，能夠保證消息可達性，那何時才能刪除已經落地的群消息呢？

對于在線的群友，收到群消息后，給個ack確認，才能刪除。

畫外音：邏輯刪除，還是物理刪除，根據業務是否有消息漫游決定。

對于離線的群友，在下次登陸后，拉取完離線消息，再給ack確認，才能刪除。

總之，為了保證消息的可達性，不管是在線消息，還是離線消息，必須接收方給ack確認，才能刪除消息。

“不管是否在線，都冗余一份群消息”帶來的問題是，同一條消息存儲了很多次，對磁盤和帶寬造成了很大的浪費。很容易想到的優化是：群消息實體存儲一份，用戶只冗余消息ID。

故基礎數據可以由：

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

然而，群消息具備“偏序”特性，上面的一次性刪除完全可以優化為：

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); // 不再需要

即，群消息只存儲一份，群友無需冗余任何消息實體，或者消息ID了。

對于在線的群友，收到群消息后，修改這個last_ack_msgid。

對于離線的群友，拉取群消息后，也修改這個last_ack_msgid。

畫外音：這里的討論，僅限于接收方收到了哪些消息，和發送方的已讀回執沒有關系。

總結

任何架構方案都不是靈光一現，而是逐步迭代優化產生的。

• 最開始：存多份，只存在線，消息容易丟；
• 進化：存多份，所有群友都存儲，消息冗余多；
• 進化：存多份，只存ID，未利用偏序；
• 最終：存一份，只存last_ack_msgid；

任何脫離業務的架構設計都是耍流氓。

知其然，知其所以然。

思路比結論更重要。