新聞中心
01 、介紹
在 Go 語言項目開發(fā)中,我們經(jīng)常會使用哈希表 map,它的時間復(fù)雜度是 O(1),Go 語言中的 map 使用開放尋址法避免哈希碰撞。

成都創(chuàng)新互聯(lián)公司公司2013年成立,先為壽光等服務(wù)建站,壽光等地企業(yè),進(jìn)行企業(yè)商務(wù)咨詢服務(wù)。為壽光企業(yè)網(wǎng)站制作PC+手機(jī)+微官網(wǎng)三網(wǎng)同步一站式服務(wù)解決您的所有建站問題。
Go 語言中的 map 并非原子操作,不支持并發(fā)讀寫操作。
Go 官方認(rèn)為 map 在大多數(shù)情況下是使用 map 進(jìn)行并發(fā)讀操作,僅在少數(shù)情況下是使用 map 進(jìn)行并發(fā)讀寫操作。
如果 Go 語言中的 map 原生支持并發(fā)讀寫操作,在操作時需要先獲取互斥鎖,反而會降低只有并發(fā)讀操作時的性能。
在需要并發(fā)讀寫操作 map 時,可以結(jié)合 sync 包中的互斥鎖一起使用。
02 、并發(fā)讀寫 map
Go 支持并發(fā)讀 map,不支持并發(fā)讀寫 map。
示例代碼:
func main() {
var m = make(map[int]string)
go func() {
for {
m[1] = "xx"
}
}()
go func() {
for {
_ = m[1]
}
}()
time.Sleep(time.Second * 3)
}輸出結(jié)果:
fatal error: concurrent map read and map write
// ...閱讀上面這段代碼,我們并發(fā)讀寫 map 類型的變量 m,在運行時,返回致命錯誤 fatal error: concurrent map read and map write。
Go 語言中的 map 在運行時是怎么檢測到 map 的存在寫操作?
源碼:
const (
// flags
iterator = 1 // there may be an iterator using buckets
oldIterator = 2 // there may be an iterator using oldbuckets
hashWriting = 4 // a goroutine is writing to the map
sameSizeGrow = 8 // the current map growth is to a new map of the same size
)
// A header for a Go map.
type hmap struct {
count int // # live cells == size of map. Must be first (used by len() builtin)
flags uint8
B uint8 // log_2 of # of buckets (can hold up to loadFactor * 2^B items)
noverflow uint16 // approximate number of overflow buckets; see incrnoverflow for details
hash0 uint32 // hash seed
buckets unsafe.Pointer // array of 2^B Buckets. may be nil if count==0.
oldbuckets unsafe.Pointer // previous bucket array of half the size, non-nil only when growing
nevacuate uintptr // progress counter for evacuation (buckets less than this have been evacuated)
extra *mapextra // optional fields
}
// Like mapaccess, but allocates a slot for the key if it is not present in the map.
func mapassign(t *maptype, h *hmap, key unsafe.Pointer) unsafe.Pointer {
// ...
done:
if h.flags&hashWriting == 0 {
fatal("concurrent map writes")
}
h.flags &^= hashWriting
if t.IndirectElem() {
elem = *((*unsafe.Pointer)(elem))
}
return elem
}閱讀上面這段源碼,我們可以發(fā)現(xiàn)在 hmap 結(jié)構(gòu)體中的字段 flags,該字段用于標(biāo)記 map 是否為寫入狀態(tài)。
在訪問 map 時,通過判斷 hmap.flags 和 hashWriting 的值,可知是否有其它 goroutine 訪問 map,如果有,則返回致命錯誤 fatal("concurrent map writes")。
03 、總結(jié)
本文介紹 Go 語言為什么不支持并發(fā)讀寫 map,Go 官方的說法是在多數(shù)情況下 map 只存在并發(fā)讀操作,如果原生支持并發(fā)讀寫,即降低了并發(fā)讀操作的性能。
通過閱讀源碼,我們了解到在運行時檢測是否存在其它 goroutine 對 map 的寫操作,如果存在,則返回致命錯誤。
讀者朋友們在使用 map 時,要特別注意是否存在對 map 的并發(fā)寫操作,如果存在,要結(jié)合 sync 包的互斥鎖一起使用。
分享名稱:Go語言為什么不支持并發(fā)讀寫map?
路徑分享:http://fisionsoft.com.cn/article/dhdscpj.html


咨詢
建站咨詢
