Golang的互斥锁只是一个君子协定

发布于 2018-04-25 作者 超级苦工 246次 浏览 版块 分享

golang中的互斥锁并不能锁定任何内存或代码或变量。


下面代码先启动一个goroutin将变量锁住,然后在main函数里直接操作。

var wg sync.WaitGroup
var name = "hello world"
var mu sync.Mutex

func main() {
    wg.Add(1)
    go modify()

    name = "dddddd" //有锁应该修改失败或者阻塞
    fmt.Println("in main", name)

    wg.Wait()
}

func modify() {
    defer wg.Done()
    mu.Lock()
    defer mu.Unlock()

    name = "modify"
    <-time.After(2 * time.Second)
    fmt.Println("in modify", name)
}

结果

in main dddddd
in modify dddddd

main函数里成功修改,意味着Lock并不能保护任何内存或变量,不使用锁的代码仍然可以随便操作。

go的mutex只是一个君子协定:在有可能造成race condition的地方,通过判断状态(是否已Lock)来决定能否操作。而非强制性保护。即:Lock()之前先通过状态判断是否为“可以操作”,如果可以就修改状态,保证其他goroutine查询状态的结果是“不可操作,需等待”。修改完成后将状态改为“可以操作”,后续gouroutine才能接手。

所以必须在所有可能造成race condition的代码处加上Lock,保证其遵守君子约定,否则这段代码就会是一个“野蛮人”可以随意操作了。

mutex变量可以定义多个,用来保护不同操作对象的代码段。然而需要保护同一个对象的代码必须使用同一个mutex才会生效。所以最好按需定义,如:

type data struct{
    muIn sync.Mutex //用于保护data内的数据同一时间只能有一处操作
    v int
}
var muOut sync.Mutex //用于保护其它操作对象
收藏
暂无回复