Bagaimanakah Mutex Mengunci Sumber Sasaran dalam Persekitaran Berbilang Benang?

Penyasaran Kunci Mutex: Peperiksaan Lebih Dekat

Dalam persekitaran berbilang benang, mutex memainkan peranan penting dalam menyelaraskan akses kepada sumber yang dikongsi, memastikan integriti data dan mencegah keadaan perlumbaan. Walau bagaimanapun, memahami cara mutex menentukan pembolehubah yang dikunci boleh menjadi langkah penting dalam menguasai konkurensi.

Pertimbangkan contoh kod berikut:

<code class="go">var state = make(map[int]int)
var mutex = &sync.Mutex{}
var readOps uint64
var writeOps uint64

// Start 100 goroutines to perform repeated reads on state
for r := 0; r < 100; r++ {
    go func() {
        total := 0
        for {
            key := rand.Intn(5)
            mutex.Lock()
            total += state[key]
            mutex.Unlock()
            atomic.AddUint64(&readOps, 1)

            time.Sleep(time.Millisecond)
        }
    }()
}</code>

Walaupun mudah, kod ini menimbulkan persoalan tentang bagaimana mutex mengetahui pembolehubah yang hendak dikunci. Secara tradisinya, mutex dikaitkan dengan mengunci pembolehubah tertentu, tetapi dalam contoh ini, nampaknya terdapat pemutusan antara mutex dan data asas yang dilindunginya.

Kunci untuk memahami tingkah laku ini terletak pada mengenali bahawa mutex terkunci. akses kepada sumber, bukan pembolehubah. Ini bermakna bahawa mana-mana goroutine yang cuba mengakses sumber yang dilindungi oleh mutex mesti memperoleh kunci terlebih dahulu.

Dalam kod contoh, mutex menyegerakkan akses kepada peta keadaan. Memandangkan goroutine sedang membaca dan mengubah suai peta negeri, mereka mesti memperoleh mutex sebelum melakukan sebarang operasi padanya. Pemerolehan mutex memastikan bahawa hanya satu goroutine boleh mengakses peta keadaan pada bila-bila masa, menghalang pengubahsuaian serentak dan mengekalkan integriti data.

Oleh itu, walaupun mutex tidak mengunci pembolehubah tertentu secara langsung, ia menyediakan mekanisme untuk mengawal akses kepada sumber, termasuk pembolehubah yang dikongsi seperti peta atau struktur data. Dengan memperoleh mutex sebelum mengakses sumber yang dikongsi, pengaturcara boleh menghalang keadaan perlumbaan dengan berkesan dan memastikan ketekalan kod mereka.

Atas ialah kandungan terperinci Bagaimanakah Mutex Mengunci Sumber Sasaran dalam Persekitaran Berbilang Benang?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!