二分法如何排查问题版本

二分法表面上看很简单，但历史上出现第一个没有 bug 的二分法代码还颇费了一番工夫。虽然我们在日常工作中不用手写二分法，但它的思想却很有用，例如用于排查 master 分支上有问题的 commit。

场景

通常来说，master 分支上的代码需要保证没有 bug，随时能够发布。但在实际的工作场景中，为每个 commit 做严格的 ab 测试、验证是很麻烦的事情。有时候，只改一行代码，改动非常小，直接就合入 master 了。

假设我们每周固定上一次线，master 上已经积累了十几个 commit 了。直接全量上线最新的 commit 可能会引入问题：业务指标不平、耗时不平、错误率不平……

因此要想办法能将这些 commit 安全地推上线，找到其中有问题的 commit。

原理

假设线上有 1000 个实例，拿出 50 台作为 base 组，50 台作为 abtest 组，也就是拿 10% 流量来做 ab 实验。前者就是基准，以这个为标准，如果 abtest 组符合标准，那就认为其没问题。

master 分支

在上面这张图中，C0 代表项目的第一个提交，C100 代表当前线上正在跑的版本。C101 到 C110 是一周以来所做的变更，我们的目标是将 C110 推全到线上。