在MongoDB中，我们设计了复杂的分布式算法，并使用TLA+进行形式化规范。2020年，我们尝试了两种一致性检查技术，分别用于MongoDB服务器和移动SDK。尽管追踪检查未成功，但测试用例生成有效地发现了算法中的错误。我们总结了经验教训，强调了规范与实现的一致性及多规范扩展的重要性。

类型团队更新了下一代特征求解器，旨在替代现有类型系统，修复长期存在的错误并提高编译速度。目前仅在一致性检查中使用，已解决一些不一致性问题。团队正在优化新实现，预计在未来几个月内解决大部分编译时间基准失败的问题。

MongoDB 7.0引入了新的集群元数据检查器checkMetadataConsistency()，可对分片元数据和索引进行一致性检查。Linux用户无法再从mongos修改其连接池。实施更严格的降级策略，MongoDB Community Edition不再支持二进制降级，只支持单版本降级。建议在低/ QA环境中测试升级或降级过程，然后再在生产环境中实施。Percona Distribution for MongoDB是MongoDB的免费替代品。