這是一個建立於 的文章,其中的資訊可能已經有所發展或是發生改變。
var l sync.Mutexvar a stringfunc 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之後才會發生。所以這個程式是這麼解讀的:
?
| 1234 |
1.調用一次lock2.gorou裡面對a賦值,進行寫操作,此時unlock操作與寫操作在同一個“線程”裡面,並且unlock在寫之後。3.調用l.lock()確保,此時必須的等到unlock完成。即lock發生在UNclock之後,更發生在賦值之後4.第二個lock發生在print之前,所以你懂得。 |
著作權聲明:本文為博主原創文章,未經博主允許不得轉載。