Какво трябва да помните при работа с мютекси в Go…

При работа с мьютекси (sync.Mutex) в Go е важно да запомните следното:

Захващане и освобождаване: Мьютексът трябва задължително да бъде захванат (Lock()) преди достъп до споделените данни и освободен (Unlock()) след приключване на работата с тях. Използването на defer mu.Unlock() веднага след mu.Lock() е добра практика за предотвратяване на забравено освобождаване.
Грант за синхронизация: Мьютексът предоставя изключителен достъп до ресурса на един горутин едновременно.
Състояние "заето/свободно": Повторното извикване на Lock() върху вече зает мьютекс ще блокира извикващия горутин, докато друг горутин не освободи мьютекса. Извикването на Unlock() върху свободен мьютекс причинява паника по време на изпълнение.
Не копирайте мьютекси: Структурата sync.Mutex не е предназначена за копиране след първото използване. Предаването на мьютекс по стойност към функция или копирането на структура, съдържаща мьютекс, може да доведе до неправилна синхронизация и паника.
Deadlock (задръстване): Възниква, когато две или повече горутини очакват една друга да освободи ресурси. Типичен сценарий: горутина A блокира ресурс R1 и чака R2, а горутина B блокира R2 и чака R1.
Livelock (живи блокировки): Ситуация, когато горутините постоянно променят състоянието си в отговор на действията на другите, но не извършват полезна работа и не напредват. Това е по-редкият случай от deadlock.
Гладуване (starvation): Ситуация, когато една или повече горутини не могат да получат достъп до споделения ресурс поради постоянното му заетост от други горутини. В Go мьютексите гладуването не е гарантирано.
Използване на sync.RWMutex за четене/писане: Ако повечето операции са четене, а писането е рядко, sync.RWMutex може да бъде по-ефективен. Той позволява на няколко горутини да четат едновременно, но при писане блокира както четенето, така и другите писания.
Кратки блокировки: Стремете се да държите блокировките възможно най-кратко. Колкото по-дълго е зает мьютексът, толкова по-голям е шансът други горутини да чакат, което намалява паралелизма.
Тестване за състезания: Използването на флага -race при компилиране и стартиране на тестове (go test -race) помага да се открият състезания, често причинени от неправилна употреба на мьютекси.

Пример за използване на defer:

import (
	"sync"
)

type SafeCounter struct {
	mu sync.Mutex
	v  map[string]int
}

// Inc увеличава брояча за дадения ключ безопасно.
func (c *SafeCounter) Inc(key string) {
	c.mu.Lock()
	// Отлагаме освобождаването до изхода от функцията.
	defer c.mu.Unlock()
	c.v[key]++
}

// Value връща текущата стойност на брояча за дадения ключ.
func (c *SafeCounter) Value(key string) int {
	c.mu.Lock()
	// Отлагаме освобождаването след получаване на стойността.
	defer c.mu.Unlock()
	return c.v[key]
}

Какво трябва да помните при работа с мютекси в Go?