未来展望

paxos

• 写请求、乱序协商，顺序确认

• 读请求，使用协商log完成

• 批量协商

• 优化prepare阶段

• 快照

• 拆分Group，proposer等角色无须隔离，只需隔离instance

• 增加Master：

  • 成员变更

  • master晋升应拥有最完整的数据(使用提案协商来选举master，如果成功晋升成master，接着推进未达成共识的提案)

  • 数据对齐

    • Master心跳触发对齐

    • 快照同步（心跳携带checkpoint、learn消息返回checkpoint）

    • 新成员加入集群，主动向master学习

  • 优化读请求(写请求一定要复制到Master)

  • 优化写请求(写请求只能由Master执行，避免活锁)

• 成员自动发现(调研)

• NWR

• jepsen校验正确性

  • 线性一致性读写

  • 分区

  • 成员宕机

缓存

• 读、写、等基础功能

• 配合持久化实现LRU

• TTL自动过期

• 时间偏移

集合

• List

• Map

• Queue

待优化

• LogManager行锁

• 监控协商效率

• 监控线程池指标(DefaultTimer, ThreadExecutor)

• ProposalNo全局唯一

• 状态机持久化（master、lock）