go mutex阻塞线程吗，如果不阻塞，为什么呢？ 第1页

不阻塞。

go的任何并发原语（包括mutex、channel）都是操作的go调度器（go scheduler）。

go调度器对于每个操作系统线程都安排了一个工作队列，队列里每个元素都是目前可以直接执行（runable）（不需要等待任何资源）的协程。于是，操作系统线程可以始终高效率地执行队列里的协程，而不需要担心被阻塞。

当go调度器发现一个协程无法继续执行时，会将该协程挂起（park），将其从当前线程的工作队列移除，于是当前线程能继续执行工作队列里的其他协程。

对于mutex，当协程无法获取锁时，协程会被标记为park然后放到mutex的等待队列里。

……但，其实事情没那么简单。mutex这东西，有时候并不会锁很长时间，比如两个协程竞争一把锁，而且上锁后很快解锁。在这种高频锁操作的场景，如果一发现上锁就将协程从工作队列移除，然后发现解锁了又将协程激活，这个开销比较大。于是Go 1.8引入了自旋（spinning），让协程发现无法获取锁时死循环几次，如果循环几次后发现能获得锁了，就直接取得锁，这样就能避免协程从工作队列移开又移回来的开销。当然，如果几次自选后还是没获得锁，这个协程还是会被从工作队列里移除的。