Mengapakah susunan keluaran saluran Go yang tidak dibuffer tidak bersifat deterministik?

Tertib keluaran saluran Golang: Penyelaman yang lebih mendalam

Memahami susunan mesej diterima daripada saluran boleh menjadi agak rumit dalam Go . Mari kita selami kod yang anda berikan:

func main() {
  messages := make(chan string)
  go func() { messages <- "hello" }()
  go func() { messages <- "ping" }()
  msg := <-messages
  msg2 := <-messages
  fmt.Println(msg)
  fmt.Println(msg2)
}

Penjelasan berikut menangani kebimbangan anda dan memberikan pemahaman yang lebih jelas tentang perkara yang berlaku:

Pertama sekali, adalah penting untuk memahami bahawa operasi menyekat, seperti menghantar atau menerima daripada saluran yang tidak dibuffer, tidak menjamin pesanan. Dalam Go, pelaksanaan goroutine adalah serentak dan tiada tertib yang ditetapkan untuk pelaksanaan goroutine secara lalai.

Apabila goroutine pertama cuba menghantar "hello" kepada saluran, jika tiada penerima sedang menunggu, goroutine adalah disekat. Begitu juga, apabila goroutine kedua cuba menghantar "ping," ia juga akan disekat.

Kini, apabila msg := <-message statement dicapai, program akan sewenang-wenangnya menyahsekat salah satu goroutine yang disekat. Mesej yang dihantar oleh goroutine yang tidak disekat itu akan diterima ke dalam msg.

Proses yang sama berlaku untuk msg2 := <-message. Satu lagi goroutine akan dinyahsekat, dan mesej yang dihantar oleh goroutine itu akan diterima ke dalam msg2.

Turutan di mana goroutine dinyahsekat dan menghantar mesej mereka ke dalam mesej tidak ditentukan. Inilah sebabnya mengapa anda sentiasa melihat "ping" dicetak sebelum "hello", walaupun andaian anda ialah rutin sepatutnya dilaksanakan secara alternatif.

Untuk mengesahkan ini, anda boleh cuba menambah kenyataan cetakan pada goroutine:

func main() {
  messages := make(chan string)
  go func() {
    fmt.Println("Sending 'hello'")
    messages <- "hello"
    fmt.Println("Sent 'hello'")
  }()
  go func() {
    fmt.Println("Sending 'ping'")
    messages <- "ping"
    fmt.Println("Sent 'ping'")
  }()
  msg := <-messages
  msg2 := <-messages
  fmt.Println(msg)
  fmt.Println(msg2)
}

Setelah melaksanakan kod beberapa kali, anda akan dapati bahawa susunan penyata cetakan daripada goroutine mungkin berbeza-beza. Ini menunjukkan lagi sifat bukan penentu pelaksanaan goroutine.

Ringkasnya, susunan output daripada saluran tidak dijamin dalam saluran tidak buffer, dan ia bergantung pada susunan goroutin yang sepadan dinyahsekat.

Atas ialah kandungan terperinci Mengapakah susunan keluaran saluran Go yang tidak dibuffer tidak bersifat deterministik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!