通道是否为goroutine调度发送抢占点？

根据我对Go调度程序的理解,Go调度算法部分抢占:当goroutine调用函数或阻塞I/O时会发生goroutine切换.

向频道发送消息时是否发生了goroutine切换？

// goroutine A
ch <- message
// some additional code without function calls

// goroutine B
message := <- ch

在上面的代码中,我希望ch <- message在切换到B之前执行A 之后的代码,这是否有保证？或者A在A发送消息后立即安排ch？

A的通道发送可以阻塞,此时它会产生给调度程序,并且您无法保证A何时会再次接收控制权.它可能是你在B中感兴趣的代码之后.因此,示例代码甚至存在问题GOMAXPROCS=1.

退一步:抢占时发生的是实施细节; 它在过去发生了变化(在函数调用中并不总是有先发制人的机会)并且可能在将来发生变化.就内存模型而言,如果程序依赖于关于何时执行代码的事实,那么您的程序是不正确的,但是不能保证.如果你想阻止B中的某些代码运行直到A做某事,你需要找到一种方法来安排使用通道或sync基元.

用户JimB指出,您甚至不需要考虑抢占问题来解决示例代码问题.A和B可以在不同的CPU内核上同时运行,B中接收后的代码可以在A中发送后的代码运行时运行.