Môžete vysvetliť, čo je Livelock v kontexte programovania v Go?

Livelock je situácia v viacvláknových alebo konkurenčných programoch, keď procesy alebo goroutine neustále reagujú jeden na druhého, menia svoj stav, ale nedosahujú pokrok k dokončeniu úlohy. Na rozdiel od deadlocku, kde sa procesy blokujú a navzájom čakajú, pri livelock sú aktívne, ale nerobia žiadny pokrok.

V Go sa to môže stať, ak goroutine neustále skúšajú ustúpiť, napríklad v cykle, kde kontrolujú stav a okamžite ho menia, bez toho, aby umožnili druhej strane pokračovať.

Príklad:

func livelockExample() {
    var flag1, flag2 bool = true, true

    go func() {
        for flag1 {
            // snaží sa ustúpiť, ale neustále mení stav
            flag2 = false
        }
    }()

    go func() {
        for flag2 {
            // tiež sa snaží ustúpiť
            flag1 = false
        }
    }()

    // žiadna z goroutine sa nezavŕši, pretože neustále menia vlajky
}

Aby sa predišlo livelocku, je potrebné správne synchronizovať prístup ku zdieľaným zdrojom a predvídať podmienky na ukončenie cyklov čakania.