Дедлок и нереентерабельность

Циклический порядок

Классический дедлок: две горутины захватывают одни и те же мьютексы в разном порядке. Каждая ждёт ту блокировку, которую держит другая. Лекарство — единый порядок захвата во всём коде: всегда mu1 раньше mu2, тогда цикл невозможен.

Нереентерабельность

func (s *Stats) Snapshot() int {
    s.mu.Lock()
    defer s.mu.Unlock()
    return s.Value() // Value сам делает Lock — deadlock
}

func (s *Stats) Value() int {
    s.mu.Lock()
    defer s.mu.Unlock()
    return s.processed
}

В отличие от блокировок в Java или C#, Go-мьютекс нереентерабелен: повторный Lock той же горутиной — дедлок, а не «счётчик вложенности». Вызвал метод, который сам берёт мьютекс, из секции того же мьютекса — повесился. Лечится разделением: публичный метод берёт мьютекс, внутренний — нет (valueLocked).

Почему нереентерабельность — это хорошо

Звучит как ограничение, но это осознанный выбор: реентерабельность поощряет «просто заверни всё в мьютекс» — а это прямая дорога к длинным секциям и скрытым гонкам по инвариантам. Нереентерабельность заставляет думать, где граница секции и кто владеет данными, — ровно то, чему посвящён следующий урок.