go語(yǔ)言的map多協(xié)程訪(fǎng)問(wèn)時(shí)需要加鎖嗎

go語(yǔ)言的map多協(xié)程訪(fǎng)問(wèn)時(shí)需要加鎖

站在用戶(hù)的角度思考問(wèn)題，與客戶(hù)深入溝通，找到合水網(wǎng)站設(shè)計(jì)與合水網(wǎng)站推廣的解決方案，憑借多年的經(jīng)驗(yàn)，讓設(shè)計(jì)與互聯(lián)網(wǎng)技術(shù)結(jié)合，創(chuàng)造個(gè)性化、用戶(hù)體驗(yàn)好的作品，建站類(lèi)型包括：網(wǎng)站制作、成都網(wǎng)站制作、企業(yè)官網(wǎng)、英文網(wǎng)站、手機(jī)端網(wǎng)站、網(wǎng)站推廣、申請(qǐng)域名、虛擬主機(jī)、企業(yè)郵箱。業(yè)務(wù)覆蓋合水地區(qū)。

支持==和!=操作就可以做key，實(shí)際上只有function、map、slice三個(gè)kind不支持作為key，因?yàn)橹荒芎蚽il比較不能和另一個(gè)值比較。布爾、整型、浮點(diǎn)、復(fù)數(shù)、字符串、指針、channel等都可以做key。

struct能不能做key要看每一個(gè)字段，如果所有字段都可以做key，那這個(gè)struct就可以。有一個(gè)字段不能做key，這個(gè)struct就不能做key。array也是，元素類(lèi)型能做key，那這個(gè)array就可以。

例如：

type Foo map[struct {

B bool

I int

F float64

C complex128

S string

P *Foo

Ch chan Foo

}]bool

每一個(gè)字段都可以做key，F(xiàn)oo就可以做key。再如：

type Foo map[struct {

Fn func() Foo

M map[*Foo]int

S []Foo

}]bool

有一個(gè)字段不能做key、Foo就不允許做key，而這三個(gè)字段都不能。

字段是遞歸檢查的：

type Foo map[struct {

Sub struct {

M map[*Foo]bool

}

}]bool

Sub的M字段不能做key，Sub就不能做key，F(xiàn)oo也就不能做key。

總之想把一個(gè)數(shù)據(jù)結(jié)構(gòu)用于map的key，就不能包含function、map和slice。

channel是否線(xiàn)程安全?鎖用在什么地方

channel能做到線(xiàn)程安全。

1.Golang的Channel,發(fā)送一個(gè)數(shù)據(jù)到Channel和從Channel接收一個(gè)數(shù)據(jù)都是原子性的。而且Go的設(shè)計(jì)思想就是:不要通過(guò)共享內(nèi)存來(lái)通信，而是通過(guò)通信來(lái)共享內(nèi)存，前者就是傳統(tǒng)的加鎖，后者就是Channel。

2.設(shè)計(jì)Channel的主要目的就是在多任務(wù)間傳遞數(shù)據(jù)的，這當(dāng)然是安全的。

Go語(yǔ)言——sync.Map詳解

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

go1.10\src\sync\map.go

entry分為三種情況：

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

注意這里開(kāi)始需要加鎖，因?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)，可以猜測(cè)下load流程：

與猜測(cè)的 區(qū)別 ：

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

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

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

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

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

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

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

真正的刪除邏輯：

很繞。。。。