Как устроен sync.Mutex

Mutex это две переменные: state и sema. В state упакованы бит locked, бит woken, бит starving и число ждущих. Быстрый путь Lock: одна CAS из 0 в locked, без вызова рантайма, поэтому незахваченный мьютекс очень дешёвый. Если занято, горутина немного крутится (спин), но только на многоядерной машине, при свободных P и пока мьютекс не в режиме голодания: держатель может скоро отпустить. Потом горутина паркуется на семафоре рантайма. В нормальном режиме разбуженная горутина соревнуется с новыми, которые уже на процессоре, и часто проигрывает: это выгодно для пропускной способности, потому что не нужно переключать контекст. Но так ждущая может голодать, поэтому если горутина ждёт больше 1 мс, мьютекс переходит в режим голодания: Unlock передаёт владение прямо первой в очереди, новые не спинят и встают в хвост. Режим выключается, когда получившая мьютекс горутина последняя в очереди или ждала меньше 1 мс.