Как работает sync.WaitGroup и что произойдет при отрицательном счетчике? Почему нельзя вызвать `wg.Done()` перед `wg.Add()`?

sync.WaitGroup — счетчик активных одновременных задач. Его цель — позволить одной горутине (Wait) ждать, пока другие завершат свою работу.

Как это работает:

1. wg.Add(n) увеличивает счётчик на n (добавляем количество задач).

2. Каждая выполненная задача вызывает срабатывание wg.Done() (эквивалент Add(-1)).

3. wg.Wait() блокируется до тех пор, пока счетчик не достигнет нуля.

Что будет при отрицательном счетчике:

1. Это логическая ошибка координации.

2. Время выполнения вызывает панику (обычно: sync: negative WaitGroup counter).

3. Эта ситуация означает, что Done() вызывался больше раз, чем Add().

Почему вы не можете выполнить от Done() до Add():

1. Нарушен контракт жизненного цикла задачи.

2. Wait() может завершиться преждевременно, поскольку в момент ожидания счетчик еще не отражает реального количества рабочих мест.

3. В худшем случае получим отрицательный счетчик и панику.

Правильная дисциплина:

1. Вызовите Add(1) перед запуском горутины.

2. Внутри горутины сразу на входе устанавливаем defer wg.Done().

3. Звоните на Wait() только после регистрации всех задач.

Заключение:

WaitGroup надежен только при строгой последовательности Add -> go -> Done -> Wait. Отрицательный счетчик и от Done() до Add() является сигналом о нарушенной модели синхронизации, что неизбежно приводит к нестабильному поведению или панике.

Пример:

Итог

sync.WaitGroup — счетчик активных одновременных задач.