Сблъсквали ли сте с проблеми с взаимно блокиране при разработването на многопоточни системи?

Да, при разработката на многопоточни системи съм се сблъсквал с проблема с взаимната блокировка (deadlock). Това е ситуация, когато два или повече нишки завинаги блокират една друга, очаквайки освобождаването на ресурси, които са заети от другата.

За да избегна deadlock-овете, прилагам следните практики:

• Винаги да придобивам няколко заключвания в същия ред.
• Минимизира времето за задържане на заключванията.
• Използвам таймаути при опит за придобиване на заключвания.
• Използвам примитиви за синхронизация от по-високо ниво, като каналите в Go.

Пример за прост deadlock в Go:

var mu1, mu2 sync.Mutex

func f1() {
    mu1.Lock()
    defer mu1.Unlock()
    time.Sleep(time.Second)
    mu2.Lock()
    defer mu2.Unlock()
}

func f2() {
    mu2.Lock()
    defer mu2.Unlock()
    time.Sleep(time.Second)
    mu1.Lock()
    defer mu1.Unlock()
}

Тук, f1 и f2 могат да блокират взаимно, ако и двамата вземат първия mutex и чакат втория. За да избегна това, трябва да координирам реда на вземане на mutex-ите.