Go 1.20中GC STW时长过高：goroutine无法抢占的原因咨询

以下是导致该现象的常见原因：

• 执行不可抢占的代码段
  Go调度器的抢占机制存在例外场景：

  • 进入runtime包的核心路径（如内存分配底层逻辑、GC标记关键阶段）时，会临时禁用抢占。如果这段代码处理大量数据（比如遍历超大链表、批量内存回收），就会让goroutine长时间无法被抢占。
  • 调用runtime.LockOSThread()将goroutine与操作系统线程绑定后，调度器无法抢占该goroutine，直到调用runtime.UnlockOSThread()或goroutine主动让出线程。若绑定后的goroutine执行CPU密集型任务或长时间阻塞操作，会持续占用线程，拖长STW时长。

• CPU密集型任务缺少调度触发点
  Go的异步抢占依赖信号触发，但如果goroutine执行的是纯CPU密集型循环（比如无函数调用的算术运算循环），循环内没有生成抢占检查指令，就会导致调度器无法中断该goroutine。即使Go 1.20支持异步抢占，这种极端场景下仍可能出现长时间无法抢占的情况。

• 长时间系统调用阻塞
  若goroutine发起的系统调用（如磁盘IO、网络请求）耗时过久，会间接影响STW：

  • 系统调用期间M与G解绑，但如果系统调用结束时刚好赶上STW阶段，该G重新绑定M的过程会被延迟，导致GC等待。
  • 大量goroutine同时陷入长时间系统调用，会耗尽可用的M资源，GC等待空闲M完成扫描工作时，会拉长STW时长。

• GC扫描压力过大

  • 当应用内存中存在大量待扫描的对象，而某个goroutine持有大量未被GC扫描的指针且无法被抢占时，GC必须等待该goroutine进入可抢占状态才能完成扫描，直接延长STW的标记终止阶段。
  • STW前若触发大规模内存分配，GC需要处理的对象激增，叠加goroutine无法抢占的情况，会进一步加剧STW时长。

• 锁持有时间过长
  若goroutine持有互斥锁（标准库或自定义锁）的同时执行耗时操作，且临界区内没有调度触发点，GC在STW阶段需要等待该goroutine释放锁或进入可抢占状态，从而导致STW时长增加。

内容的提问来源于stack exchange，提问作者i_have_a_question