Stretli ste sa s problémami vzájomného blokovania pri vývoji viacvláknových systémov?

Áno, pri vývoji viacvláknových systémov som sa stretol s problémom deadlocku. Ide o situáciu, keď dve alebo viac vlákien navždy zablokujú navzájom, čakajúc na uvoľnenie zdrojov, ktoré sú obsadené iným.

Aby som predišiel deadlockom, uplatňujem nasledujúce praktiky:

• Vždy získavať viac zámkov v rovnakom poradí.
• Minimalizovať dobu držania zámkov.
• Používať časové limity pri pokuse o získanie zámkov.
• Používať primitives synchronizácie vyššej úrovne, ako sú kanály v Go.

Príklad jednoduchého deadlocku v 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()
}

Tu sa f1 a f2 môžu navzájom zablokovať, ak obidve získajú prvý mutex a čakajú na druhý. Aby som tomu predišiel, je potrebné koordinovať poradie získavania mutexov.