大家好，我是 frank ，「 Golang 語言開發(fā)?！构娞栕髡?。

01 介紹

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

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ā)讀操作的性能。

通過閱讀源碼，我們了解到在運行時檢測是否存在對 map 的寫操作，如果存在，則返回致命錯誤。

讀者朋友們在使用 map 時，要特別注意是否存在對 map 的并發(fā)寫操作，如果存在，要結(jié)合 sync 包的互斥鎖一起使用。文章來源地址http://www.zghlxwxcb.cn/news/detail-786520.html

到了這里，關(guān)于Go 語言為什么不支持并發(fā)讀寫 map？的文章就介紹完了。如果您還想了解更多內(nèi)容，請在右上角搜索TOY模板網(wǎng)以前的文章或繼續(xù)瀏覽下面的相關(guān)文章，希望大家以后多多支持TOY模板網(wǎng)！