基于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年，团队设计了新的安全动态重配置协议，解决了旧协议的正确性问题。该协议自MongoDB 4.4起运行，确保了系统的可靠性和性能，未发现重大缺陷。
-re3rwi30a2.png)
