Порядок отправителей в канале Go

Рассмотрим пример пинг-понга из http://www.golang-book.com/10/index.htm#section2.

package main

import (
    "fmt"
    "time"
)

func pinger(c chan string) {
    for i := 0; ; i++ {
        c <- "ping"
    }
}

func ponger(c chan string) {
    for i := 0; ; i++ {
        c <- "pong"
    }
}

func printer(c chan string) {
    for {
        msg := <- c
        fmt.Println(msg)
        time.Sleep(time.Second * 1)
    }
}

func main() {
    var c chan string = make(chan string)

    go pinger(c)
    go ponger(c)
    go printer(c)

    var input string
    fmt.Scanln(&input)
}

Авторы пишут:

«Теперь программа будет по очереди печатать ping и pong».

Однако, чтобы это было правдой, Go должен определить порядок, в котором отправители могут отправлять сообщения в канал. В противном случае не было бы никакой гарантии, что пинг будет отправлен перед понгом (т. е. вы не можете получить два пинга или два понга подряд). Как это работает?