协程调度：从用户态线程到Go GMP模型的二十年演进
1963年7月，Communications of the ACM发表了一篇题为《Design of a Separable Transition-Diagram Compiler》的论文。作者Melvin Conway提出了一个当时看来颇为新奇的概念：将编译器的词法分析阶段分解为多个"可以互相挂起和恢复"的执行单元。他将这些执行单元称为"coroutine"——协程。 ...
并发编程
MESI协议：多核处理器如何在"看不见"彼此的情况下保持数据一致
1983年，James Goodman在IEEE COMPCON会议上发表了一篇题为《Using Cache Memory to Reduce Processor-Memory Traffic》的论文。这篇论文首次提出了"监听"（Snooping）的概念——让多个处理器通过监听共享总线上的事务来维护缓存一致性。当时的计算机界正处于从单处理器向多处理器过渡的关键时期，Goodman的发现为后来的对称多处理（SMP）系统奠定了基础。 ...
虚假唤醒：为什么条件变量会"无缘无故"地返回
1974年10月，C.A.R. Hoare在《Communications of the ACM》上发表了一篇题为"Monitors: An Operating System Structuring Concept"的论文。这篇论文奠定了并发编程中monitor和条件变量的理论基础。六年后的1980年2月，Xerox PARC的Butler Lampson和David Redell发表了另一篇关键论文"Experience with Processes and Monitors in Mesa"，他们在实践中发现了一个令人不安的现象：被唤醒的线程有时会发现条件并未满足。 ...
内存屏障：多核编程中被误解最深的概念
2017年，一位资深C++开发者在Stack Overflow上发帖求助：他的无锁队列在x86服务器上运行完美，但移植到ARM服务器后，偶尔会丢失数据。代码经过了多轮Code Review，逻辑无懈可击。最终，一位编译器开发者指出问题所在：缺少一条内存屏障。 ...