消息庫設計

基于Timeline模型，以及Timeline模型在消息存儲和消息同步的應用，我們看下消息同步庫和消息存儲庫的設計。

如圖是基于Timeline的消息庫設計。

消息同步庫：消息同步庫用于存儲所有用于消息同步的Timeline，每個Timeline對應一個接收端，主要用作寫擴散模式的消息同步。這個庫不需要永久保留所有需要同步的消息，因為消息在同步到所有端后其生命周期就可以結束，就可以被回收。但是如前面所介紹的，一個實現簡單的多端同步消息系統，在服務端不會保存有所有端的同步狀態，而是依賴端自己主動來做同步。所以服務端不知道消息何時可以回收，通常的做法是為這個庫里的消息設定一個固定的生命周期，例如一周或者一個月，生命周期結束可被淘汰。

消息存儲庫：消息存儲庫用于存儲所有會話的Timeline，每個Timeline包含了一個會話中的所有消息。這個庫主要用于消息漫游時拉取某個會話的所有歷史消息，也用于讀擴散模式的消息同步。

消息同步庫和消息存儲庫，對數據庫有不同的要求，如何對數據庫做選型，在下面會討論。

數據庫選型

消息系統最核心的兩個庫是消息同步庫和消息存儲庫，兩個庫對數據庫有不同的要求：

總結下來，對數據庫的要求有如下幾點：

1. 表結構設計能夠滿足Timeline模型的功能要求：不要求關系模型，能夠實現隊列模型，并能夠支持生成自增的SeqId。

2. 能夠支持高并發寫和范圍讀，規模在十萬級TPS。

3. 能夠保存海量數據，百TB級。

4. 能夠為數據定義生命周期。

阿里云表格存儲（TableStore）是基于LSM存儲引擎的分布式NoSQL數據庫，支持百萬TPS高并發讀寫，PB級數據存儲，數據支持TTL，能夠很好的滿足以上需求，并且支持自增列，能夠非常完美的設計和實現Timeline的物理模型。