使用TLA+快速原型设计安全的无日志重配置协议用于MongoDB
MongoDB provides high availability and fault tolerance using replica sets, which are a group of database servers that operate a Raft-like consensus protocol. Each database write operation is...
MongoDB通过副本集实现高可用性和容错性，采用Raft共识协议。2019年，团队设计了新的安全动态重配置协议，解决了旧协议的正确性问题。使用TLA+和模型检查工具，快速开发并实施了无日志的重配置协议，确保了安全性和性能，提升了系统可靠性。该协议自MongoDB 4.4发布以来运行稳定，未发现重大缺陷。
-re3rwi30a2.png)
