douweng9427 2018-06-19 19:36
浏览 87
已采纳

Goroutine和互斥锁

func (s *Server) start() {
         s.Lock()
         defer s.Unlock()
        if !s.isClosed{
           go s.processing()
        }
        go s.start()
 }

func (s *Server) processing() {
  s.Lock()
  // do stuff
  s.Unlock()
}

I have a working Golang project that has a block of code following the logic shown above.

I don't understand why this logic works as I would've expected a deadlock.

  • 写回答

1条回答 默认 最新

  • douyun1546 2018-06-19 19:47
    关注

    We'll call the initial goroutine that's running when start is entered G1.

    1. start (in G1) locks the mutex and defers the unlock until start returns.
    2. start calls s.processing in a new goroutine (G2)
    3. start calls itself in a new goroutine (G3)
    4. start (G1) unlocks the mutex and returns.

    None of those calls except the lock at Step 1 is a blocking call. Concurrently, in G2, s.processing waits for start to unlock the mutex (which will happen pretty quickly because all start does is start a couple goroutines before unlocking the mutex). Also concurrently, in G3, the above 4 steps are performed all over again (on an apparently infinite loop).

    There is no point in that logic that could cause a deadlock.

    本回答被题主选为最佳回答 , 对您是否有帮助呢?
    评论

报告相同问题?

悬赏问题

  • ¥30 python代码,帮调试
  • ¥15 #MATLAB仿真#车辆换道路径规划
  • ¥15 java 操作 elasticsearch 8.1 实现 索引的重建
  • ¥15 数据可视化Python
  • ¥15 要给毕业设计添加扫码登录的功能!!有偿
  • ¥15 kafka 分区副本增加会导致消息丢失或者不可用吗?
  • ¥15 微信公众号自制会员卡没有收款渠道啊
  • ¥100 Jenkins自动化部署—悬赏100元
  • ¥15 关于#python#的问题:求帮写python代码
  • ¥20 MATLAB画图图形出现上下震荡的线条