Liveløkker

Liveløkker, eller livelock, er en tilstand i samtidige datasystemer hvor prosesser eller tråder forblir aktive og kontinuerlig endrer tilstander i respons til hverandres handlinger, men uten å gjøre varig framgang i oppgaven. Dette skjer når systemet hele tiden justerer seg for å unngå konflikter, men blir fanget i et gjentakende mønster.

Til forskjell fra deadlock er ingen av prosessene permanent blokkert i liveløkke; de bruker CPU-tid og fortsetter å utføre operasjoner, men ingen fullfører nødvendige steg. Ofte oppstår liveløkker når ressurser blir frigitt og gjenopptatt i respons til andre prosesser, slik at de to eller flere enhetene sirkulerer mellom tilstander uten å komme videre.

Årsaker inkluderer dårlig planlagt låsestruktur eller synkronisering, tilbakekallingslogikk som responderer på hverandres handlinger på en måte som aldri når en løsning, og tidsbaserte algoritmer som ikke bryter syklusen. Et typisk scenario innebærer to tråder som kontinuerlig tilpasser seg hverandre for å få tilgang til to delte ressurser og dermed aldri når en konklusjon.

Forebygging og løsning fokuserer på å sikre fremdrift og bryte syklusen. Dette kan innebære bruk av try-locks eller lock-free konstruksjoner, randomisert backoff for å bryte repetisjon, låseordning og rettferdig håndtering av ressurser, eller redesign av algoritmer for å garantere fremdrift. Overvåkning og verifikasjon av statene i systemet hjelper også med å oppdage og korrigere liveløkker tidlig.