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以前，因此你懂得。