ThinkerQAQ

摘要： 从消息交接的底层实现和任务处理的实际场景出发，理解共享内存与消息传递的关系，以及两种协作模型如何组合使用。 阅读全文

摘要： 结合 ArrayBlockingQueue、Go Channel 和 CPython queue.Queue 的源码，分析消息交接、队列状态保护与等待唤醒的实现。 阅读全文

摘要： 从 Producer–Consumer 的消息交接出发，沿用 count++ 示例，比较 Java BlockingQueue、Go Channel 和 CPython queue.Queue 的原子性、可见性与有序性保证。 阅读全文

摘要： 沿着 Java Platform/Virtual Thread、Go G-M-P 与 CPython threading.Thread 的真实调度路径，理解 Runtime 如何把执行单元交给 OS Thread，并最终由 Operating System Scheduler 调度到 CPU。 阅读全文

摘要： 沿用 counter 与 counter + ready 的例子，从 Java 读写锁规则一路看到 JDK、HotSpot 与 x86-64，理解 ReadWriteLock 如何提供原子性、可见性与有序性，以及它与 Mutex 的边界。 阅读全文

摘要： 沿用 counter + ready 的例子，从 Java 内存模型一路看到 HotSpot 与 x86-64，理解 volatile 如何提供可见性和有序性，以及它与 Atomic、Mutex 的边界。 阅读全文

摘要： 沿着 Java AtomicInteger、Go sync/atomic 和 CPython 内部 Atomic 的真实实现路径，理解 Atomic RMW、CAS、内存顺序以及它与 Mutex 的区别。 阅读全文

摘要： 继续使用 counter 与 ready，从语言内存模型和公开 API 规则理解 Java AtomicInteger、Go sync/atomic 与 CPython 的 Atomic 语义边界。 阅读全文

摘要： 沿着 Java synchronized、Go sync.Mutex 和 CPython threading.Lock 的真实实现路径，理解互斥锁如何使用原子操作、内存顺序以及等待与唤醒。 阅读全文

摘要： 目录 0. 从上一篇继续 1. 三种语言的锁规则分别保证什么？ 2. 下一篇：互斥锁是怎么实现的？ 本文首发于 ThinkerQAQ 的个人博客，由作者本人同步发布。 0. 从上一篇继续 这一篇直接从语言内存模型层的规则讨论 Mutex。 1. 三种语言的锁规则分别保证什么？ 1.1 Java：sy 阅读全文