MongoDB通过副本集实现高可用性和容错性，采用Raft共识协议。2019年，团队设计了新的安全动态重配置协议，解决了旧协议的正确性问题。使用TLA+和模型检查工具，快速开发并实施了无日志的重配置协议，确保了安全性和性能，提升了系统可靠性。该协议自MongoDB 4.4发布以来运行稳定，未发现重大缺陷。

MongoDB通过副本集实现高可用性和容错性，采用Raft共识协议。2019年，团队设计了新的安全动态重配置协议，解决了旧协议的正确性问题。该协议自MongoDB 4.4起运行，确保了系统的可靠性和性能，未发现重大缺陷。