微信读书书城分布式数据服务:事务模型、处理语言、一致性与体系结构