Livelock: Vad är, Exempel, Difference med Deadlock

By: Nathaniel Brooks Nathaniel Brooks
Hours Uppdaterad

⚡ Smart sammanfattning

Livelock är en samtidighetssituation där processer fortsätter att ändra sina tillstånd som svar på varandra men ändå inte gör några riktiga framsteg, utan förblir aktiva och förbrukar CPU-cykler utan att någonsin slutföra sina uppgifter eller blockeras.

  • 🔁 Definition: Livelock uppstår när processer ständigt ändrar tillstånd för att anpassa sig till varandra men aldrig fortskrider, till skillnad från frysta processer i ett dödläge.
  • 🚶 Exempel: Två personer kliverping sida vid sida i en korridor för att låta varandra passera illustrerar livelock, rör sig kontinuerligt men aldrig korsar varandra.
  • 🧮 Orsak: Upprepad pollning och nya försök efter lås, begränsade av ändliga processtabellplatser, driver processer till livelock utan att någon av dem blockeras.
  • ⚖️ Jämförelse: Dödläge fryser processer, svält nekar resurser på obestämd tid och livelock håller processer sysselsatta utan framsteg.
  • 🛡️ Förebyggande: Randomiserad backoff, gränser för återförsök och prioritetsordning bryter de symmetriska återförsök som skapar en livelock.
  • 🤖 AI-vinkel: Maskininlärning flaggar CPU-mönster utan framsteg, och Copilot hjälper till att skriva backoff- och låsordningskod som undviker livelock.
Läs mer

Livelock in Operating System

Vad är Livelock?

A livelock är en situation där en begäran om ett exklusivt lås nekas upprepade gånger, eftersom många överlappar varandraping Delade lås stör varandra hela tiden. Processerna ändrar status hela tiden, vilket hindrar dem från att slutföra uppgiften.

Exempel på Livelock

Exempel 1:

Det enklaste exemplet på Livelock är två personer som möts ansikte mot ansikte i en korridor, och båda rör sig åt sidan för att låta den andra passera. De fortsätter att röra sig från sida till sida utan att göra några framsteg eftersom de rör sig åt samma håll samtidigt. Här korsar de aldrig varandra.

Exempel 2:

Exempel på Livelock i Operating System

I bilden ovan behöver var och en av de två processerna två resurser, och de använder primitiv polling för att försöka få tag på de lås de behöver. Om ett försök misslyckas försöker metoden igen.

  1. Process A lagrar resurs Y
  2. Process B innehåller resurs X
  3. Process A kräver resurs X
  4. Process B kräver resurs Y

Anta att process A körs först och hämtar resurs X, och sedan körs process B och hämtar resurs Y. Oavsett vilken process som körs först gör ingen av dem ytterligare framsteg.

Ingen av de två processerna är dock blockerade. De använder CPU-resurser upprepade gånger utan att göra några framsteg, men de stannar aldrig för ett bearbetningsblock.

Därför är denna situation inte en dödläge, eftersom inte en enda process är blockerad; istället står vi inför en situation som motsvarar ett dödläge, vilket kallas LIVELOCK.

Vad leder till Livelock?

Livelock är knutet till antalet processer ett system tillåter, vilket definieras av det totala antalet poster i processtabellen. Dessa processtabellplatser behandlas därför som ändliga resurser. När processer upprepade gånger försöker få tag på dessa begränsade resurser samtidigt som de ständigt ger efter för varandra, gör ingen av dem framsteg, och systemet går in i ett livelock.

Vad är Deadlock?

A dödläge är en situation som uppstår i ett operativsystem när en process går in i ett vänteläge eftersom en annan vänteprocess håller den begärda resursen. Dödläge är ett vanligt problem vid multiprocessering, där flera processer delar en specifik typ av ömsesidigt exklusiv resurs som kallas mjuk låsning eller programvara.

Exempel på dödläge

  • Ett verkligt exempel skulle vara trafik som bara går i en riktning.
  • Här betraktas en bro som en resurs.
  • När ett dödläge uppstår kan det enkelt lösas om en bil backar (föregriper resurser och backar).
  • Flera bilar kan behöva säkerhetskopieras om ett blockerat låsläge uppstår.
  • Därför är svält möjlig.

Exempel på dödläge i Operating System

Exempel på dödläge

RELATERADE ARTIKLAR

Vad är svält?

Svält är en situation där lågprioriterade processer blockeras medan högprioriterade processer fortskrider. I alla system sker begäranden om hög- och lågprioriterade resurser dynamiskt. Därför krävs det någon policy för att avgöra vem som får service och när.

Med vissa algoritmer kan vissa processer inte få önskad tjänst trots att de inte är låsta. Svält inträffar när vissa trådar gör delade resurser otillgängliga under en längre tid.

Exempel på svält

Till exempel erbjuder ett objekt en synkroniserad metod som sannolikt tar lång tid att returnera. Om en tråd använder den här metoden ofta blockeras ofta andra trådar som också behöver frekvent synkroniserad åtkomst till samma objekt.

Skillnaden mellan Deadlock, Starvation och Livelock

  • Ett dödläge är en situation som uppstår i ett operativsystem när en process går in i ett vänteläge eftersom den begärda resursen innehas av en annan vänteprocess.
  • Ett livelock, å andra sidan, är nästan likt ett deadlock, förutom att tillstånden för de processer som är involverade i ett livelock alltid förändras som svar på varandra, utan att ingen fortskrider.
  • Så, livelock är ett unikt fall av resursbrist.

Vanliga frågor

Livelock minskas genom att lägga till slumpmässighet eller ordning i återförsök. Teknikerna inkluderar randomiserad eller exponentiell backoff före återförsök, begränsning avping antalet återförsök och att tillämpa en fast låsningsförvärvsordning så att processer slutar spegla varandras rörelser.

Nej. Livelockade processer blockeras aldrig — de fortsätter att köras och förbrukar CPU-cykler genom ständiga försök utan att göra några framsteg. I ett dödläge stannar de inblandade processerna och väntar, så de använder inte CPU:n.

Ofta ja. Låsta processer är frysta, vilket är lätt att upptäcka, medan livelockade processer förblir aktiva och fortsätter att ändra tillstånd. Detektering letar vanligtvis efter hög CPU-användning i kombination med noll framåtriktad hantering över tid.

Ett kappvillkor är ett felaktigt eller oförutsägbart resultat som orsakas av osynkroniserad åtkomst till delad data. Livelock, däremot, involverar processer som förblir aktiva och fortsätter att ändra tillstånd som svar på varandra utan att någonsin slutföra sitt arbete.

Ja. Trådar som upprepade gånger reagerar på varandra – till exempel både att släppa och begära en låsning samtidigt – kan låsas live utan att någonsin blockeras. Det förekommer ofta i logik för återförsök och backoff som saknar slumpmässighet.

Maskininlärningsmodeller studerar CPU-, schemaläggnings- och resursanvändningsmönster för att flagga processer som bränner cykler utan att fortskrida. Detta hjälper operatörer att upptäcka livelock tidigare än fastställda tröskelvärden, särskilt i stora moln- och datacenterarbetsbelastningar med många interagerande processer.

Ja. GitHub Copilot kan föreslå slumpmässiga backoff, timeouts och konsekventa låsordningsmönster som minskar både risken för livelock och deadlock. Utvecklare bör fortfarande granska den genererade samtidighetslogiken noggrant, eftersom subtila timingbuggar är lätta att missa.

Ibland. Om tidpunkten förändras – till exempel genom slumpmässiga återförsöksintervall – kan processer bryta mönstret och fortsätta. Utan sådana ändringar kan livelock bestå på obestämd tid, vilket slösar CPU medan ingen process slutför sin uppgift.

Sammanfatta detta inlägg med: