Jak předejít vzájemným blokádám v prostředí s více vlákny?

Pro prevenci vzájemných blokování (deadlocků) v prostředí s více vlákny lze použít několik přístupů:

• Vyhnout se vnořeným zámkům: snažit se nezískávat více mutexů najednou.
• Určit pořadí pro získávání zdrojů: vždy blokovat mutexy ve stejném pořadí ve všech vláknech.
• Používat časové limity při získávání zámků: pokud zámek není získán za stanovenou dobu, uvolnit již získané zdroje a pokusit se znovu.
• Používat konstrukce synchronizace vyšší úrovně: například kanály v Go, které umožňují vyhnout se explicitním zámkům.

Příklad pořadového získávání mutexů v Go:

var mu1, mu2 sync.Mutex

func safeFunc() {
    mu1.Lock()
    defer mu1.Unlock()

    mu2.Lock()
    defer mu2.Unlock()

    // práce s zdroji
}

Je důležité, aby všechny funkce, které tyto mutexy získávají, to dělaly ve stejném pořadí.