百科问答小站 logo
百科问答小站 font logo



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

  

user avatar   jiang-yong-hang 网友的相关建议: 
      

不阻塞。

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

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

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

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

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




  

相关话题

  Golang 的 goroutine 是如何实现的? 
  C++20 即将到来的 coroutine 能否与 Golang 的 goroutine 媲美? 
  golang select 模式 在C#中如何实现? 
  Python 在大部分领域都能胜任,为什么很多企业转向了 Golang? 
  第三届 Gopher China 大会值得参加吗? 
  如何评价 Webkit 推出的并发 JavaScript 提案? 
  公司规定所有接口都用 post 请求,这是为什么? 
  C# 中的原子的基础数据类型能否用于同步多线程? 
  Go 语言的错误处理机制是一个优秀的设计吗? 
  Chrome 为什么多进程而不是多线程? 

前一个讨论
如何看待公主学习法?
下一个讨论
是不是努力就会成功?





© 2025-04-19 - tinynew.org. All Rights Reserved.
© 2025-04-19 - tinynew.org. 保留所有权利