Dropbox 同步测试

本文介绍了 Dropbox 如何通过可测试性设计和随机测试来确保新的同步引擎 Nucleus 的质量。Nucleus 采用了更严格的协议和数据模型，简化了并发模型，并通过 CanopyCheck 和 Trinity 等随机测试系统进行全面测试。CanopyCheck 用于测试同步计划算法的正确性，而 Trinity 则模拟各种并发场景和故障情况来发现潜在的竞争条件和边缘情况。