golang并发与锁

bigtom · · 4273 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

本文我们来学习一下golang里面的并发以及golang的锁机制。

首先我们假设这样一个场景,有两个协程,同时在读写一个数字,分别对其进行递增和递减,代码如下。

func main(){
    a := 1
    p_a := &a
    go func(p_a *int){
        for i := 1; i < 100000; i++ {
            *p_a += 1
            fmt.Println(*p_a)
        }
    }(p_a)
    go func(p_a *int){
        for i := 1; i < 100000; i++ {
            *p_a -= 1
            fmt.Println(*p_a)
        }
    }(p_a)
}

运行这段代码我们发现什么都没有输出,原因很简单,主程序在创建完两个协程之后就退出了。要想让主程序不退出可以使用sync.WaitGroup

func main(){
  a := 1;
  p_a := &a;
  var wg sync.WaitGroup
  wg.Add(2)
  go func(p_a *int){
    for i := 1; i < 100000; i++ {
      *p_a += 1
    }
    wg.Done()
  }(p_a)
  go func(p_a *int){
    for i := 1; i < 100000; i++ {
      *p_a -= 1  
    }
    wg.Done()
  }(p_a)
  wg.Wait()
  fmt.Println(*p_a)
}

然而,程序跑出来的结果并不是1,而且每次跑出来的都不一样。其实,写过一点并发的同学都知道原因。假设当前变量值为1,协程a试图对其加1,于是协程a首先对其进行读操作,得到1,并加1得到2,但是在2这个值被写回变量之前,协程b读取了变量,而此时变量依旧还是1,于是b拿到这个1并减一得到0。这时候,无论协程1先完成写回还是协程b先完成写回,我们得到的结果都是错的。
要想得到正确的结果,一个最常用的方法就是加锁。在golang里面,我们可以使用sync.Mutex

var l sync.Mutex

func main(){
  a := 1;
  p_a := &a;
  var wg sync.WaitGroup
  wg.Add(2)
  go func(p_a *int){
    for i := 1; i < 100000; i++ {
      l.Lock()
      *p_a += 1
      l.Unlock()
    }
    wg.Done()
  }(p_a)
  go func(p_a *int){
    for i := 1; i < 100000; i++ {
      l.Lock()
      *p_a -= 1
      l.Unlock()
    }
    wg.Done()
  }(p_a)
  wg.Wait()
  fmt.Println(*p_a)
}

golang里面的map

当一个协程在写map的时候,其他协程如果试图去读或者写这个map,程序都会直接crash!!!很多人都在吐槽这个设计,但是我觉得,这种设计至少给了程序员立即发现问题的机会。加锁吧少年。

死锁,活锁与饥饿

死锁可以理解为完成一项任务的资源被两个(或多个)不同的协程分别占用了,导致它们全都处于等待状态不能完成下去。

活锁的例子是两个或多个协程在执行时分别占用了部分资源导致无法执行。于是他们都释放资源并重新请求,可是依旧碰撞,导致仍然无法执行。

饥饿的例子是如果事务T1封锁了数据R,事务T2又请求封锁R,于是T2等待。T3也请求封锁R,当T1释放了R上的封锁后,系统首先批准了T3的请求,T2仍然等待。然后T4又请求封锁R,当T3释放了R上的封锁之后,系统又批准了T4的请求......T2可能永远等待。


有疑问加站长微信联系(非本文作者)

本文来自:简书

感谢作者:bigtom

查看原文:golang并发与锁

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

4273 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传