How I Learned to Stop Worrying and Love Juggling C++ Atomics

brilliantsugar.github.io/posts/how-i-learned-to-stop-worrying-and-love-juggling-c++-atomics/

“正如大多数C++程序员所知，Herb Sutter的教诲是，编写无锁数据结构就像在玩弄剃刀片一样。关于并发程序的推理已经足够复杂，现代CPU内存模型的复杂性使其更难以理解。你经常会遇到的主要建议是尽量避免完全无锁编程。

在这篇文章中，我分享了探索正式验证无锁C++代码方法的冒险。为了展示三种不同的方法，我深入研究了一个无锁三重缓冲数据结构的实现。”