https://buvidk1234.github.io/tags/sync/Recent content in Sync on 我的技术博客Hugozh-cnTue, 18 Aug 2026 00:18:00 +0800https://buvidk1234.github.io/posts/go-runtime-09-sync-primitives/Tue, 18 Aug 2026 00:18:00 +0800https://buvidk1234.github.io/posts/go-runtime-09-sync-primitives/<blockquote> <p>本文源码基线为 <strong>Go 1.26.2、Linux/amd64</strong>。<code>sync</code> 的公开语义由标准库保证；本文讨论的状态位、队列和 runtime 接口属于版本相关实现，不应被业务代码依赖。</p> </blockquote> <p><code>sync.Mutex</code> 的竞争慢路径、<code>RWMutex</code> 的读写协调和 <code>WaitGroup</code> 的等待，最终都需要把 G 停下来并在条件满足时重新放回调度器。它们共享 runtime semaphore，但并不共享完全相同的高层状态机。</p> <p>先建立边界：runtime semaphore 是“按地址等待与唤醒”的底层设施，不是公开的计数信号量类型。存放在 <code>uint32</code> 地址中的 token 只服务于防丢唤醒和交接协议。</p> <h2 id="从sync包到runtime">从sync包到runtime</h2> <p>标准库通过无函数体声明和 <code>go:linkname</code> 连接 runtime：</p> <details class="code-fold" open> <summary>TEXT</summary><div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">internal/sync </span></span><span class="line"><span class="cl"> Mutex slow path </span></span><span class="line"><span class="cl"> -&gt; runtime_SemacquireMutex </span></span><span class="line"><span class="cl"> -&gt; runtime_Semrelease </span></span><span class="line"><span class="cl"> </span></span><span class="line"><span class="cl">sync </span></span><span class="line"><span class="cl"> RWMutex -&gt; readerSem / writerSem </span></span><span class="line"><span class="cl"> WaitGroup -&gt; sema </span></span><span class="line"><span class="cl"> Cond -&gt; notifyList</span></span></code></pre></div></details> <p>公开类型保留自己的原子状态；runtime 只负责等待队列、park/ready 和 contention profile。把所有语义都归因于 semaphore，会看不懂 Mutex 的 starvation、RWMutex 的 writer preference 和 WaitGroup 的 misuse 检测。</p>