Ҳамзамон дар каналда рӯй додани сигнали бекор кардан ё анҷоми сабт чӣ мешавад?

Дар забонҳои Go, вақте ки шумо кӯшиш мекунед, ки ҳамзамон сигнали бекориро фиристед (масалан, тавассути бастани канал ё фиристодани арзиш) ва навиштро дар канал анҷом диҳед, тартиби коркард кафолат дода намешавад ва ба нақшаи goroutine ва ҳолати каналҳо вобаста аст. Каналҳо дар Go амалҳоро ҳамоҳанг мекунанд, аммо агар ду амал ҳамзамон рӯй диҳанд, яке аз онҳо аввал иҷро мешавад, аммо ин аз ҷониби тавсиф муайян нашудааст.

Яъне, агар goroutine кӯшиш кунад, ки дар канал нависад, ва goroutine дигар ҳамзамон ин каналро мебандад ё сигнали бекориро мефиристад, муайян кардан мумкин нест, ки кадом амал аввал коркард мешавад. Муҳим аст, ки логикаро тавре тарҳрезӣ кунед, ки ба тартиби чунин рӯйдодҳои ҳамзамон такя накунед.

Масалан:

cancel := make(chan struct{})
data := make(chan int)

// Goroutine, ки ба cancel гӯш мекунад
go func() {
    select {
    case <-cancel:
        fmt.Println("Бекор қабул шуд")
    case v := <-data:
        fmt.Println("Арзиши қабулшуда", v)
    }
}()

// Иҷрои ҳамзамон
close(cancel) // сигнали бекориш
// ё
// data <- 42 // навишт дар канал

Дар ин мисол, ки шоха аввал иҷро мешавад, аз нақшаи коргардон вобаста аст.