https://blog.cpdd.fyi/tags/%E6%8A%A2%E5%8D%A0/Recent content in 抢占 on Zampo BlogHugozh-cnTue, 02 Jun 2026 17:36:48 +0800https://blog.cpdd.fyi/posts/go-gmp-preemption-gc/Tue, 02 Jun 2026 17:36:48 +0800https://blog.cpdd.fyi/posts/go-gmp-preemption-gc/<p>把 <code>GOMAXPROCS</code> 设成 1，再启动一个没有函数调用、没有 I/O、没有 sleep 的死循环。</p> <p>按很多人对 goroutine 的理解，程序应该完了：唯一的 P 被这个 goroutine 一直占着，其他 goroutine 没机会运行，GC 想停世界也停不下来。</p> <p>但 Go 1.14 之后，这个直觉已经不完整了。</p> <p>你可以跑一个很小的实验：一个 goroutine 进入 tight loop，另一个 goroutine 每 200ms 打印一次。默认运行时，ticker 还能继续打印；如果关掉异步抢占，程序可能在预期时间内完全没有输出。</p> <div class="highlight"><div class="chroma"> <table class="lntable"><tr><td class="lntd"> <pre tabindex="0" class="chroma"><code><span class="lnt">1 </span><span class="lnt">2 </span><span class="lnt">3 </span></code></pre></td> <td class="lntd"> <pre tabindex="0" class="chroma"><code class="language-bash" data-lang="bash"><span class="line"><span class="cl"><span class="nb">cd</span> assets/go-gmp-series/03-preemption-gc </span></span><span class="line"><span class="cl"><span class="nv">GOMAXPROCS</span><span class="o">=</span><span class="m">1</span> go run examples/preemption-demo.go </span></span><span class="line"><span class="cl"><span class="nv">GOMAXPROCS</span><span class="o">=</span><span class="m">1</span> <span class="nv">GODEBUG</span><span class="o">=</span><span class="nv">asyncpreemptoff</span><span class="o">=</span><span class="m">1</span> go run examples/preemption-demo.go </span></span></code></pre></td></tr></table> </div> </div><p>本机 Go 1.25.4 验证结果是：默认情况下 ticker 正常输出并退出；关闭 async preempt 后，2 秒内没有任何输出，命令超时。</p> <p>这件事不是“goroutine 很轻”能解释的。</p> <p>它真正说明的是：现代 Go 调度器不再完全依赖 goroutine 自觉让出 CPU。runtime 有能力发现某个 G 占 P 太久，然后用同步抢占或异步抢占，把它带回调度体系里。</p> <p>但这里最容易讲歪。</p> <p>Go 不是每 10ms 硬切一次 goroutine，也不是收到一个信号就能在任意机器指令上停住。抢占从来不是“想停就停”。它更像一份停机协议：runtime 要能停下这个 G，还要保证 GC 看得懂它的栈、寄存器和对象引用。</p>