Mengapa Menghantar dan Menerima pada Saluran Tidak Dibuffer dalam Goroutine yang Sama Menyebabkan Kebuntuan dalam Perjalanan?

Memahami Kebuntuan dalam Serentak Go: Saluran Tidak Tertimbal dalam Goroutine

Dalam model konkurensi Go, saluran ialah alat penting untuk komunikasi antara goroutin. Walau bagaimanapun, penggunaan saluran yang tidak betul boleh menyebabkan kebuntuan, seperti yang digambarkan dalam coretan kod ini:

package main

import "fmt"

func main() {
    c := make(chan int)  
    c <- 1   
    fmt.Println(<-c)
}

Apabila dilaksanakan, kod ini mengakibatkan kebuntuan dengan mesej ralat berikut:

fatal error: all goroutines are asleep - deadlock!

Mengapa kebuntuan ini berlaku?

Isunya terletak pada penggunaan saluran tanpa buffer dalam goroutine yang sama. Saluran tidak buffer tidak mempunyai storan dalaman, bermakna menghantar nilai ke saluran tidak buffer menghalang sehingga goroutine lain membaca nilai.

Dalam kes ini, goroutine menghantar nilai ke saluran c dan cuba menerima nilai daripada saluran yang sama secara berurutan. Memandangkan tiada goroutine lain untuk menerima nilai, goroutine penghantar tergantung selama-lamanya, mengakibatkan kebuntuan.

Bagaimanakah anda boleh membetulkannya?

Terdapat dua penyelesaian :

1. Buat saluran penimbal: Dengan mencipta saluran dengan penimbal, anda membenarkan berbilang nilai disimpan sebelum menyekat goroutine penghantar. Contohnya:

c := make(chan int, 1) 

Ini mencipta saluran dengan saiz penimbal 1, membenarkan satu nilai disimpan tanpa menyekat.

2. Gunakan yang berasingan goroutine untuk penghantaran: Daripada menghantar dalam goroutine yang sama, buat goroutine berasingan untuk menghantar nilai ke saluran. Contohnya:

package main

import "fmt"

func main() {
    c := make(chan int)    
    go func() {
        c <- 1
    }()
    fmt.Println(<-c)
}

Dalam contoh ini, goroutine penghantar menghantar nilai ke saluran c secara tak segerak. Goroutine utama kemudiannya menerima nilai daripada saluran tanpa menemui jalan buntu.

Memahami gelagat saluran tidak buffer dan mengelakkan penggunaan yang tidak betul adalah penting untuk menulis program Go serentak yang cekap dan tidak menyekat.

Atas ialah kandungan terperinci Mengapa Menghantar dan Menerima pada Saluran Tidak Dibuffer dalam Goroutine yang Sama Menyebabkan Kebuntuan dalam Perjalanan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!