Kuidas on organiseeritud kanal kapoti all Go-s?

Go kanal on andmestruktuur, mis on teostusaja tasemel ning tagab turvalise andmeedastuse goroutine'ide vahel. Tagaplaanil on kanal järjekord, millel on lukustamise ja sünkroniseerimismehhanismid.

Peamised teostamise punktid:

• Kanal sisaldab pufferit (kui see on pufferdatud) või töötab sünkroniseerimispunktina (kui pufferit pole).
• Sünkroniseerimiseks kasutatakse mutex'e ja tingimusmuutujaid (cond variables), et goroutine'id saaksid blokeeruda ja äratada andmete saatmisel või vastuvõtmisel.
• Kanalile saatmisel, kui puffer on täis, blokeerub goroutine kuni ruumi vabanemiseni.
• Kanalist vastuvõtmisel, kui puffer on tühi, blokeerub goroutine kuni andmete ilmumiseni.

Lihtsustatud loogika näide:

// Saatmine kanalile
func (ch *channel) send(value T) {
    ch.lock.Lock()
    defer ch.lock.Unlock()
    for ch.bufferFull() {
        ch.cond.Wait() // oodake, kuni ruum vabaneb
    }
    ch.enqueue(value)
    ch.cond.Signal() // teavitage vastuvõtjaid
}

Sel viisil tagab kanal turvalise ja sünkroniseeritud suhtluse goroutine'ide vahel ilma kasutaja koodis otseste lukustusteta.