golang slice使用不慎導致的問題

pert發表於2018-05-24

原文連結 : http://www.bugclosed.com/post/16

背景

go語言中切片slice是方便且好用的強大資料結構,但是使用的時候需要注意,不然容易出問題,最近因為遇到了一個slice的使用問題,比較典型。 有一個功能需求,使用者需要獲取1-20的不重複隨機序列。

邏輯實現

由於是需要固定的1-20共20個不同數字,所以直接定義好了唯一序列如下:

var(
    originalNumbers = []uint32{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12,13,14,15,16, 17, 18, 19, 20}
)

因為每個使用者獲取的資料的序列都需要隨機打亂,實現的邏輯如下:


func shuffle(list []uint32) []uint32 {
    n := len(list)

    for i := n - 1; i > 0; i-- {
        j := dist.Int63n(int64(i + 1))
        list[i], list[j] = list[j], list[i]
    }

    return list
}

func getOriginalNumbers() []uint32{
    return originalNumbers
}

func GetRandomNumbers(cardType int) []uint32 {
    return shuffle(getOriginalNumbers())
}

問題暴露

通過仔細分析,從以上的邏輯其實是可以發現問題的,只是寫程式碼的時候疏忽導致沒有主要到潛在問題。執行的時候發現邏輯不正確,偶爾有使用者得到的序列是有重複的數字。

從原始資料的初始化來看,數字是1-20初始化到slice裡面的,絕對不會出現重複。仔細看了GetRandoNumbers和shuffle打亂邏輯是存在併發訪問問題的。

首先originalNumbers是一個slice,引數傳遞slice時僅僅是傳遞的切片的指標,並非複製一份切片。所以在併發的情況下,每個使用者的GetRandomNumbers都會獲取到同一個slice地址。而shuffle函式會對得到切片資料進行寫操作(資料打亂),當出現併發寫問題的時候,資料發生錯亂就不足為奇了。

問題解決

這個問題本質就是併發寫問題,只需要將資料分離即可解決問題。

func getOriginalNumbers() []uint32{
    tmp := make([]uint32, len(originalNumbers))
    copy(tmp, shortDeck)
    return tmp
}

總結

這是一個很典型的slice誤用問題,slice是一個資料結構,他會指向底層真正的記憶體資料塊,可以認為slice傳遞的是記憶體的指標。

相關文章