Na czym polega mechanizm wielozadaniowości używany w kanałach do wymiany danych między wątkami lub procesami?

W Go mechanizm wielozadaniowości oparty na kanałach opiera się na koncepcji CSP (Communicating Sequential Processes). Kanały umożliwiają gorutynom (lekkiemu wątkowi) bezpieczną wymianę danych, synchronizując wykonanie bez jawnych blokad.

Kanał działa jak kolejka, do której jedna gorutyna może wysłać dane, a inna je odebrać. Wysyłanie i odbieranie blokuje gorutynę do czasu, aż druga strona będzie gotowa do operacji, co zapewnia synchronizację i zapobiega wyścigom danych.

Przykład:

ch := make(chan int)

// Wysyłanie danych w gorutynie
go func() {
    ch <- 42 // blokuje się, aż ktoś odczyta
}()

// Odbieranie danych
val := <-ch // blokuje się, aż dane się pojawią
fmt.Println(val) // 42

W ten sposób kanały realizują mechanizm kooperatywnego wielozadaniowości, w którym gorutiny komunikują się poprzez wymianę wiadomości, a nie przez wspólną pamięć.