Kenapa kod menggunakan kunci dalam GO kadang -kadang membawa kepada panik?

Kunci dan Panik dalam Pengaturcaraan Serentak Bahasa GO: Analisis Kes

Artikel ini membincangkan masalah pengaturcaraan konkurensi bahasa yang sama: walaupun mutex digunakan, kod itu mungkin masih panic: send on closed channel . Mari analisis coretan kod berikut:

 Pakej utama

import (
    "Konteks"
    "FMT"
    "Sync"
)

var lock sync.mutex

func main () {
    c: = buat (chan int, 10)
    WG: = Sync.WaitGroup {}
    CTX, Batal: = Context.WithCancel (Context.Todo ())

    wg.add (1)
    pergi func () {
        menangguhkan wg.done ()
        lock.lock ()
        Batalkan ()
        Tutup (c)
        lock.unlock ()
    } ()

    // ... (beberapa kod pengirim ditinggalkan) ...
}

Dalam kod ini, goroutine bertanggungjawab untuk menutup saluran c dan menggunakan lock untuk melindungi bahagian kritikal. Walau bagaimanapun, walaupun dengan perlindungan kunci, panic: send on closed channel mungkin masih muncul.

Alasannya ialah tingkah laku bukan deterministik Pernyataan select Bahasa Go. Spesifikasi bahasa Go menyatakan bahawa jika terdapat beberapa kes dalam pernyataan select yang boleh dilaksanakan, runtime Go akan secara rawak memilih satu pelaksanaan. Oleh itu, walaupun close(c) telah dilaksanakan, pernyataan select Goroutine (pengirim) yang lain masih boleh cuba menghantar data ke c , menghasilkan panik.

Walaupun lock memastikan bahawa close(c) dan menghantar operasi tidak berlaku secara serentak, ciri pemilihan rawak pernyataan select memungkinkan untuk cuba menghantar data selepas close(c) , terutama dalam persekitaran konvensional yang tinggi.

Oleh itu, penyelesaiannya bukan sekadar kunci. Pendekatan yang lebih selamat adalah:

• Semak sama ada saluran ditutup sebelum menghantar data: Gunakan if !isClosed := c == nil; isClosed untuk memeriksa status saluran.
• Gunakan saluran buffered dan mengawal saiz penampan: Tetapkan saiz penampan yang munasabah untuk mengurangkan persaingan.
• Kawalan Concurrency yang lebih jelas: Reka bentuk semula logik kod untuk mengelakkan pemprosesan dan menerima operasi secara serentak dalam pernyataan select . Sebagai contoh, gunakan saluran berasingan untuk menyelaraskan pelaksanaan goroutine.

Singkatnya, dalam pengaturcaraan bersama, bergantung semata -mata pada kunci tidak sepenuhnya mengelakkan semua situasi panik. Adalah perlu untuk menggabungkan ciri -ciri model konkurensi bahasa GO dan memilih strategi kawalan konvensyen yang sesuai untuk menulis program kesesuaian yang mantap dan boleh dipercayai.

Atas ialah kandungan terperinci Kenapa kod menggunakan kunci dalam GO kadang -kadang membawa kepada panik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!