dødløkker

Dødløkker, eller døde løkker, er løkker i programvare som ikke terminerer under normale kjøreforhold. Fenomenet oppstår når betingelsen som skal slå av loopen aldri blir oppfylt, eller når loopen ikke oppdaterer variablene som brukes i avslutningskriteriet. Dødløkker kan forekomme i samtidige programmer så vel som i enkle sekvensielle programmer.

Vanlige årsaker inkluderer en betingelse som alltid er sann, eller en oppdatering av loopvariabler som ikke blir tatt med i vurderingen av avslutning. Feil i logikk, eller at variabler endres av annen kode, kan gjøre at loopen aldri når endepunktet. I flertrådede programmer kan venting på delte ressurser føre til at tilstanden som styrer avslutningen aldri endres.

Et enkelt eksempel er en while-løkke som sjekker x < 10, men ikke endrer x i loopen. Uten endring vil betingelsen alltid være sann og loopen kjører uendelig.

Dødløkker bruker CPU, gjør programmet mindre responsivt og kan føre til økt strømmforbruk og minneproblemer hvis loopen kjører lenge uten avbrudd. De kan være vanskelige å oppdage fordi de ofte ikke krasjer programmet, men får det til å virke død eller tredd inn i en sløyfe.

For å finne dødløkker brukes logging, profilering og både statisk og dynamisk analyse. Debugging, grundig kodegjennomgang og tester som dekker kanttilfeller hjelper ofte. Forebygging inkluderer klare avslutningskriterier, sikre at loopvariabler oppdateres riktig, og bruk av kontrollerte løkker eller tidsavbrudd der det er nødvendig.