在正常情况下，scheduler会按照上面的流程进行调度，但是线程会发生阻塞等情况，看一下goroutine对线程阻塞等的处理。
线程阻塞
当正在运行的goroutine阻塞的时候，例如进行系统调用，会再创建一个系统线程（M1），当前的M线程放弃了它的Processor，P转到新的线程中去运行。
runqueue执行完成
当其中一个Processor的runqueue为空，没有goroutine可以调度。它会从另外一个上下文偷取一半的goroutine。
五、对并发实现的进一步思考
Go语言的并发机制还有很多值得探讨的，比如Go语言和Scala并发实现的不同，Golang CSP 和Actor模型的对比等。
了解并发机制的这些实现，可以帮助我们更好的进行并发程序的开发，实现性能的最优化。
关于三种多线程模型，可以关注一下Java语言的实现。
我们知道Java通过JVM封装了底层操作系统的差异，而不同的操作系统可能使用不同的线程模型，例如Linux和windows可能使用了一对一模型，solaris和unix某些版本可能使用多对多模型。JVM规范里没有规定多线程模型的具体实现，1:1（内核线程）、N:1（用户态线程）、M:N（混合）模型的任何一种都可以。谈到Java语言的多线程模型，需要针对具体JVM实现，比如Oracle/Sun的HotSpot VM，默认使用1:1线程模型。
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持易采站长站。
