Go语言锁的解读

标签：

var l sync.Mutex
var a string

func f() {
	a = "hello, world"
	l.Unlock()
}

func main() {
	l.Lock()
	go f()
	l.Lock()
	print(a)
}

sync 包中实现了两个关于锁的数据类型，sync.Mutex 和 sync.RWMutex。[ 互斥锁 mutex 是独占型，只能 lock 一次， unlock 一次，然后才能继续 lock 否则阻塞。 读写互斥锁 reader-writer mutex 是所有的 reader 共享一把锁或是一个 writer 独占一个锁， 如果一个 reader lock 到锁了， 其他的 reader 还可以 lock 但是 writer 不能 lock 。 ]

对于 sync.Mutex 或是 sync.RWMutex 类型的变量 mutex 来说，假定 n < m，对于 mutex.Unlock() 的第 n 次调用在 mutex.Lock() 的第 m 次调用返回之前发生。[ 对于一个 mutex 来说，lock 一下，第二次 lock 会阻塞，只有 unlock 一下才可以继续 lock，就是这个意思。然而 unlock 一个没有 lock 的 mutex 会怎么样呢？error ! ]

其实关键的就一点

每一次lock 之后是为了等待unclock的返回值，那么怎么确保unlock操作的之前的值返回呢，go种定义了 每一次lock 必须是在上一次unlock之后才会发生。所以这个程序是这么解读的：

1.调用一次lock
2.gorou里面对a赋值，进行写操作，此时unlock操作与写操作在同一个“线程”里面，并且unlock在写之后。
3.调用l.lock()确保，此时必须的等到unlock完成。即lock发生在UNclock之后，更发生在赋值之后
4.第二个lock发生在print之前，所以你懂得。

Go语言锁的解读

标签：

原文地址：http://my.oschina.net/u/1455908/blog/363067