Как работает sync.Mutex под капотом?

sync.Mutex в Go реализован на основе системных примитивов синхронизации и атомарных операций. Под капотом он содержит поле состояния (обычно целочисленное), которое отражает, заблокирован ли мьютекс.

Когда вызывается Lock(), происходит атомарная попытка установить флаг блокировки. Если мьютекс свободен, флаг устанавливается, и поток продолжает работу. Если мьютекс уже заблокирован, поток блокируется и помещается в очередь ожидания.

Unlock() снимает флаг блокировки и разблокирует один из ожидающих потоков, если они есть.

В реализации используется низкоуровневый пакет runtime, который взаимодействует с планировщиком Go и системными вызовами для эффективного переключения горутин и минимизации затрат на ожидание.

Пример использования:

var mu sync.Mutex

mu.Lock()
// критическая секция
mu.Unlock()

Таким образом, sync.Mutex обеспечивает взаимное исключение с минимальными накладными расходами благодаря интеграции с рантаймом Go.