concurrency

干等 race condition 是最烂的测试策略

model checking 如何在数秒内碾压你在生产环境跑几天才能发现 concurrency bug 的做法，以及如何把它用在自己的代码上。

在生产环境里等 race condition 冒出来，那不叫测试。那叫披着勤奋外衣的侥幸。 你可以把应用跑上几周，盯着 metrics dashboard，最后照样发布一个 concurrency bug——它只会在两个 request 刚好打进同一个 cache eviction window…