Определение вывода деления 1 на n в конкурентной Go‑программе

Условие

Нужно понять, какое значение будет напечатано программой, где несколько горутин вызывают функцию printNumber. Внутри функции происходит отправка сигнала в буферизованный канал, пауза в одну секунду и вывод результата выражения 1 / n. Программа использует sync.WaitGroup для ожидания завершения всех горутин и закрывает канал после их окончания.

package main

import (
    "fmt"
    "sync"
    "time"
)

func main() {
    wg := sync.WaitGroup{}
    ch := make(chan struct{}, 5)

    for i := 0; i < 10; i++ {
        wg.Add(1)
        go func() {
            defer wg.Done()
            printNumber(ch, i)
        }()
    }

    wg.Wait()
    close(ch)
}

func printNumber(ch chan struct{}, n int) {
    ch <- struct{}{}
    time.Sleep(time.Second)
    fmt.Println(1 / n)
    <-ch
}

Ответ

При новой семантике цикла одна горутина получает n = 0 и вызывает panic при делении. Полного гарантированного набора печати у программы нет.

Для n = 1 целочисленное 1/n равно 1, для n от 2 до 9 — 0. Какие из них успеют напечататься до необработанной паники, зависит от планировщика. В старой семантике общей i дополнительно есть гонка и нельзя гарантировать даже захваченные значения.

Передавайте i параметром, проверяйте n до деления и освобождайте слот через defer сразу после отправки в семафор. WaitGroup.Done не подавляет panic, а close после Wait не является причиной проблемы. Recover возможен только в той же горутине и не заменяет проверку ожидаемого нулевого аргумента.