Go語言——sync.Map詳解

sync.Map是1.9才推薦的并發(fā)安全的map，除了互斥量以外，還運(yùn)用了原子操作，所以在這之前，有必要了解下 Go語言——原子操作

創(chuàng)新互聯(lián)專注于左權(quán)企業(yè)網(wǎng)站建設(shè),響應(yīng)式網(wǎng)站,商城網(wǎng)站建設(shè)。左權(quán)網(wǎng)站建設(shè)公司,為左權(quán)等地區(qū)提供建站服務(wù)。全流程按需求定制網(wǎng)站，專業(yè)設(shè)計(jì)，全程項(xiàng)目跟蹤，創(chuàng)新互聯(lián)專業(yè)和態(tài)度為您提供的服務(wù)

go1.10\src\sync\map.go

entry分為三種情況：

從read中讀取key，如果key存在就tryStore。

注意這里開始需要加鎖，因?yàn)樾枰僮鱠irty。

條目在read中，首先取消標(biāo)記，然后將條目保存到dirty里。（因?yàn)闃?biāo)記的數(shù)據(jù)不在dirty里）

最后原子保存value到條目里面，這里注意read和dirty都有條目。

總結(jié)一下Store：

這里可以看到dirty保存了數(shù)據(jù)的修改，除非可以直接原子更新read，繼續(xù)保持read clean。

有了之前的經(jīng)驗(yàn)，可以猜測下load流程：

與猜測的 區(qū)別 ：

由于數(shù)據(jù)保存兩份，所以刪除考慮：

先看第二種情況。加鎖直接刪除dirty數(shù)據(jù)。思考下貌似沒什么問題，本身就是臟數(shù)據(jù)。

第一種和第三種情況唯一的區(qū)別就是條目是否被標(biāo)記。標(biāo)記代表刪除，所以直接返回。否則CAS操作置為nil。這里總感覺少點(diǎn)什么，因?yàn)闂l目其實(shí)還是存在的，雖然指針nil。

看了一圈貌似沒找到標(biāo)記的邏輯，因?yàn)閯h除只是將他變成nil。

之前以為這個(gè)邏輯就是簡單的將為標(biāo)記的條目拷貝給dirty，現(xiàn)在看來大有文章。

p == nil，說明條目已經(jīng)被delete了，CAS將他置為標(biāo)記刪除。然后這個(gè)條目就不會(huì)保存在dirty里面。

這里其實(shí)就跟miss邏輯串起來了，因?yàn)閙iss達(dá)到閾值之后，dirty會(huì)全量變成read，也就是說標(biāo)記刪除在這一步最終刪除。這個(gè)還是很巧妙的。

真正的刪除邏輯：

很繞。。。。

golang 從 map 獲取值時(shí)的值拷貝問題

我們知道 golang 中，slice， map， channel 是引用類型，函數(shù)之間傳遞都是以值拷貝的形式進(jìn)行的，引用類型經(jīng)過函數(shù)傳遞，依然是引用類型。

在上述例子中，我們從 map 中想拿出一個(gè)值，這個(gè)值是一個(gè)簡單結(jié)構(gòu)體，拿出這個(gè)值后，不確定這個(gè)值和 map 中的值是什么關(guān)系，如果不小心修改，是否會(huì)造成 map 值變更。

我們希望 golang 中更多的是值傳遞，這樣能避免數(shù)據(jù)存儲(chǔ)在堆上，造成 gc 負(fù)擔(dān)。

可以看到，修改值后，map 中的值保持不變。說明 map 獲取的值也是值傳遞出來的。

golang變量(二)——map和slice詳解

衍生類型，interface{} , map, [] ，struct等

map類似于java的hashmap，python的dict，php的hash array。

常規(guī)的for循環(huán)，可以用for k,v :=range m {}. 但在下面清空有一個(gè)坑注意：

著名的map[string]*struct 副本問題

結(jié)果：

Go 中不存在引用傳遞，所有的參數(shù)傳遞都是值傳遞，而map是等同于指針類型的，所以在把map變量傳遞給函數(shù)時(shí)，函數(shù)對(duì)map的修改，也會(huì)實(shí)質(zhì)改變map的值。

slice類似于其他語言的數(shù)組（list，array），slice初始化和map一樣，這里不在重復(fù)

除了Pointer數(shù)組外，len表示使用長度，cap是總?cè)萘?，make([]int, len, cap)可以預(yù)申請(qǐng) 比較大的容量，這樣可以減少容量拓展的消耗，前提是要用到。

cap是計(jì)算切片容量，len是計(jì)算變量長度的，兩者不一樣。具體例子如下：

結(jié)果：

分析：cap是計(jì)算當(dāng)前slice已分配的容量大小，采用的是預(yù)分配的伙伴算法（當(dāng)容量滿時(shí)，拓展分配一倍的容量）。

append是slice非常常用的函數(shù)，用于添加數(shù)據(jù)到slice中，但如果使用不好，會(huì)有下面的問題：

預(yù)期是[1 2 3 4 5 6 7 8 9 10]， [1 2 3 4 5 6 7 8 9 10 11 12]，但實(shí)際結(jié)果是：

注意slice是值傳遞，修改一下：

輸出如下：

== 只能用于判斷常規(guī)數(shù)據(jù)類型，無法使用用于slice和map判斷，用于判斷map和slice可以使用reflect.DeepEqual，這個(gè)函數(shù)用了遞歸來判斷每層的k，v是否一致。

當(dāng)然還有其他方式，比如轉(zhuǎn)換成json，但小心有一些異常的bug，比如html編碼，具體這個(gè)json問題，待后面在分析。