C 代码和 goroutine 调度

Question

当我从 goroutine 调用 C 代码时，它是否会以任何方式影响其他 goroutine 的调度？我知道如果我在 Erlang 中调用 NIF，它会阻塞其他（Erlang）进程，直到函数返回。在 Golang 中是这样吗？C 代码会阻塞 goroutines 调度程序吗？

Answer 1

从 Go 代码调用 C 函数不会阻止其他 goroutine 运行。

它确实对调度程序有影响。运行 C 函数的 goroutine 不一定要计入GOMAXPROCS限制。它将开始计算 GOMAXPROCS，但是如果 C 函数在 sysmon 后台 goroutine 运行时阻塞了超过 20us，那么如果有一个准备运行的 goroutine，调度程序将被允许启动另一个 goroutine。这些细节取决于特定的 Go 版本，可能会发生变化。

Answer 2

这是一个非常好的问题，除了代码之外，我没有立即找到任何官方声明。我很高兴对官方文档有任何提示。

答案是否定的， cgo 调用不会阻塞调度程序。

对于以下内容，很高兴知道 Go 在内部使用G表示 goroutine，M表示机器（线程），P表示处理器。Goroutines 在机器上运行的处理器上运行。

根据代码文档，从 G 调用 C 函数的工作方式如下：

// To call into the C function f from Go, the cgo-generated code calls

// runtime.cgocall(_cgo_Cfunc_f, frame), where _cgo_Cfunc_f is a

// gcc-compiled function written by cgo.

//

// runtime.cgocall (below) locks g to m, calls entersyscall

// so as not to block other goroutines or the garbage collector,

// and then calls runtime.asmcgocall(_cgo_Cfunc_f, frame).

//

// runtime.asmcgocall (in asm_$GOARCH.s) switches to the m->g0 stack

// (assumed to be an operating system-allocated stack, so safe to run

// gcc-compiled code on) and calls _cgo_Cfunc_f(frame).

//

// _cgo_Cfunc_f invokes the actual C function f with arguments

// taken from the frame structure, records the results in the frame,

// and returns to runtime.asmcgocall.

//

// After it regains control, runtime.asmcgocall switches back to the

// original g (m->curg)'s stack and returns to runtime.cgocall.

//

// After it regains control, runtime.cgocall calls exitsyscall, which blocks

// until this m can run Go code without violating the $GOMAXPROCS limit,

// and then unlocks g from m.

entersyscall本质上是告诉运行时这个 goroutine 现在处于“外部”控制之下，就像我们对内核进行系统调用的情况一样。另一种可能是有用的一点是，锁定g到m（锁定CGO调用够程到操作系统的线程），运行时分配一个新的OS线程（理论上超过GOMAXPROCS）。