Realtidssystem. - Dödläge - EDAF85 - Realtidssystem (Helsingborg) Elin A. Topp. Föreläsning 5

Transkript

1 Realtidssystem - Dödläge - EDAF85 - Realtidssystem (Helsingborg) Elin A. Topp Föreläsning 5 Kursens innehåll motsvarar tidigare omgångar under beteckning EDA698 Stora delar baserad på: Föreläsningsmaterial EDA040 (Klas Nilsson, Mathias Haage) samt EDA698 (Mats Lilja) 1

2 Innehåll Dödläge Hold-wait Resource allocation graphs (Resursallokeringsgrafer) 2

3 Deadlock - dödläge För att få en anställning behövs ett personnummer För att få ett personnummer behövs ett uppehållstillstånd För att få uppehållstillstånd behövs en anställning 3

4 Deadlock - dödläge 4

5 Deadlock - dödläge Om det blir en cirkel i villkoren, eller snarare väntandet på att villkoren uppfylls, hamnar systemet i ett dödläge (deadlock) Om det är teoretiskt möjligt att aktörer (trådar, bilar, personer) måste vänta på varandra i en cirkel, finns det en risk för dödläge (deadlock risk) 4

6 Dödläge - definition och bakgrund 5

7 Dödläge - definition och bakgrund Ömsesidig uteslutning betyder att en tråd kan vara försenad (blockerad) pga 5

8 Dödläge - definition och bakgrund Ömsesidig uteslutning betyder att en tråd kan vara försenad (blockerad) pga En tråd får inte komma in i en kritisk sekvens (av en delad resurs) om den är upptagen av en annan tråd 5

9 Dödläge - definition och bakgrund Ömsesidig uteslutning betyder att en tråd kan vara försenad (blockerad) pga En tråd får inte komma in i en kritisk sekvens (av en delad resurs) om den är upptagen av en annan tråd För att systemet ( och all data) ska vara konsistent, för att beräkningar och resultat ska vara förutsägbara och för effektivitetens skull, kan tillgång till en sådan resurs inte bli avbruten, eller utsättas för en sk roll-back ( bakåt-behandling ) 5

10 Dödläge - definition och bakgrund Ömsesidig uteslutning betyder att en tråd kan vara försenad (blockerad) pga En tråd får inte komma in i en kritisk sekvens (av en delad resurs) om den är upptagen av en annan tråd För att systemet ( och all data) ska vara konsistent, för att beräkningar och resultat ska vara förutsägbara och för effektivitetens skull, kan tillgång till en sådan resurs inte bli avbruten, eller utsättas för en sk roll-back ( bakåt-behandling ) Vi har alltså ingen resource preemption (inget lov för avbrott på resurser annat än -OBS skillnaden! - beräkningstid, dvs processorn, som hanteras med preemptive scheduling - avbrytbar schemaläggning.) 5

11 Dödläge - definition och bakgrund Ömsesidig uteslutning betyder att en tråd kan vara försenad (blockerad) pga En tråd får inte komma in i en kritisk sekvens (av en delad resurs) om den är upptagen av en annan tråd För att systemet ( och all data) ska vara konsistent, för att beräkningar och resultat ska vara förutsägbara och för effektivitetens skull, kan tillgång till en sådan resurs inte bli avbruten, eller utsättas för en sk roll-back ( bakåt-behandling ) Vi har alltså ingen resource preemption (inget lov för avbrott på resurser annat än -OBS skillnaden! - beräkningstid, dvs processorn, som hanteras med preemptive scheduling - avbrytbar schemaläggning.) Om blockeringen inte tar slut, kan man konstatera ett dödläge (deadlock). 5

12 Dödläge - definition och bakgrund Ömsesidig uteslutning betyder att en tråd kan vara försenad (blockerad) pga En tråd får inte komma in i en kritisk sekvens (av en delad resurs) om den är upptagen av en annan tråd För att systemet ( och all data) ska vara konsistent, för att beräkningar och resultat ska vara förutsägbara och för effektivitetens skull, kan tillgång till en sådan resurs inte bli avbruten, eller utsättas för en sk roll-back ( bakåt-behandling ) Vi har alltså ingen resource preemption (inget lov för avbrott på resurser annat än -OBS skillnaden! - beräkningstid, dvs processorn, som hanteras med preemptive scheduling - avbrytbar schemaläggning.) Om blockeringen inte tar slut, kan man konstatera ett dödläge (deadlock). Wikipedia säger: Deadlock refers to a specific condition when two or more processes are each waiting for the other to release a resource, or more than two processes are waiting in a circular chain. 5

13 Dödläge med semaforer Två trådar vill komma åt två resurser och hamnar i ett speciellt läge (som kan bli dödläge), nämligen i ett hold - wait state T1 res 1 res 2 T2 take take take take

14 Dödläge med semaforer, kod-exempel T1 T2 T1 T2... S2.take(); S1.take();... S1.give(); S2.give();... S1.take(); S2.take();... S2.give(); S1.give(); S2.take(); S1.take(); S1.take(); S2.take(); blocked blocked 7

15 Dödläge med semaforer, kod-exempel T1 T2 T1 T2... S2.take(); S1.take();... S1.give(); S2.give();... S1.take(); S2.take();... S2.give(); S1.give(); S2.take(); S1.take(); S1.take(); S2.take(); blocked blocked Ett dödläge kan uppstå om en tråd utför take och blir sen avbruten av schemaläggaren (context switch, kontextbyte, trådbyte). 7

16 Dödläge med monitor, kod-exempel T1 T2 M1... M1 m1; m1.op1(); M2 m2; m2.op1();... T1 M2 T2 class M1 { M2 m2; synchronized void op1() { m2.op2(); } class M2 { M1 m1; synchronized void op1() { m1.op2(); } } synchronized void op2() { wait(); } } synchronized void op2() { wait(); } 8

17 Färdiga lösningar (?) 9

18 Färdiga lösningar (?) Som så ofta finns det programmeringsspråk eller -verktyg som tvingar programmeraren att bygga säkra system 9

19 Färdiga lösningar (?) Som så ofta finns det programmeringsspråk eller -verktyg som tvingar programmeraren att bygga säkra system Concurrent Pascal (Hansen, 1979) är ett sådant språk som använder enbart monitorer för ömsesidig uteslutning och tillåter inga referenser framåt, från monitor till monitor. 9

20 Färdiga lösningar (?) Som så ofta finns det programmeringsspråk eller -verktyg som tvingar programmeraren att bygga säkra system Concurrent Pascal (Hansen, 1979) är ett sådant språk som använder enbart monitorer för ömsesidig uteslutning och tillåter inga referenser framåt, från monitor till monitor. Fördelen är såklart att man undviker problem, Concurrent Pascal påstås göra dödläge omöjligt... 9

21 Färdiga lösningar (?) Som så ofta finns det programmeringsspråk eller -verktyg som tvingar programmeraren att bygga säkra system Concurrent Pascal (Hansen, 1979) är ett sådant språk som använder enbart monitorer för ömsesidig uteslutning och tillåter inga referenser framåt, från monitor till monitor. Fördelen är såklart att man undviker problem, Concurrent Pascal påstås göra dödläge omöjligt nackdelen är dock att man förlorar flexibilitet och att det kan kosta mycket (resurser, beräkningstid, etc). 9

22 Färdiga lösningar (?) Som så ofta finns det programmeringsspråk eller -verktyg som tvingar programmeraren att bygga säkra system Concurrent Pascal (Hansen, 1979) är ett sådant språk som använder enbart monitorer för ömsesidig uteslutning och tillåter inga referenser framåt, från monitor till monitor. Fördelen är såklart att man undviker problem, Concurrent Pascal påstås göra dödläge omöjligt nackdelen är dock att man förlorar flexibilitet och att det kan kosta mycket (resurser, beräkningstid, etc). Dessutom kan man faktiskt fortfarande bygga ett dödläge med en egen enkel resurshantering med monitorer utan framåt-referenser: 9

23 Färdiga lösningar (?) Som så ofta finns det programmeringsspråk eller -verktyg som tvingar programmeraren att bygga säkra system Concurrent Pascal (Hansen, 1979) är ett sådant språk som använder enbart monitorer för ömsesidig uteslutning och tillåter inga referenser framåt, från monitor till monitor. Fördelen är såklart att man undviker problem, Concurrent Pascal påstås göra dödläge omöjligt nackdelen är dock att man förlorar flexibilitet och att det kan kosta mycket (resurser, beräkningstid, etc). Dessutom kan man faktiskt fortfarande bygga ett dödläge med en egen enkel resurshantering med monitorer utan framåt-referenser: class R { boolean occupied = false; } synchronized void request() { while( occupied) wait(); occupied = true; } synchronized void release() { occupied = false; notify(); } R R1, R2; class P1 extends Thread {... R1.request(); R2.request();... } class P2 extends Thread {... R2.request(); R1.request();... } 9

24 Krav för dödläge (Peterson / Silberschatz) 10

25 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 10

26 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 10

27 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 10

28 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 3. Ingen resource-preemption (avbrott under resursnyttjande) - en tråd kan inte tvingas att lämna en resurs när den väl har kommit in 10

29 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 3. Ingen resource-preemption (avbrott under resursnyttjande) - en tråd kan inte tvingas att lämna en resurs när den väl har kommit in 4. Cirkulärt vänteläge - när det finns en cirkel i tråd-resurs-beroenden 10

30 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 3. Ingen resource-preemption (avbrott under resursnyttjande) - en tråd kan inte tvingas att lämna en resurs när den väl har kommit in 4. Cirkulärt vänteläge - när det finns en cirkel i tråd-resurs-beroenden För Java - monitorer gäller följande: 10

31 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 3. Ingen resource-preemption (avbrott under resursnyttjande) - en tråd kan inte tvingas att lämna en resurs när den väl har kommit in 4. Cirkulärt vänteläge - när det finns en cirkel i tråd-resurs-beroenden För Java - monitorer gäller följande: 1. Monitor - enbart en tråd kan komma in, ömsesidig uteslutning är uppfylld 10

32 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 3. Ingen resource-preemption (avbrott under resursnyttjande) - en tråd kan inte tvingas att lämna en resurs när den väl har kommit in 4. Cirkulärt vänteläge - när det finns en cirkel i tråd-resurs-beroenden För Java - monitorer gäller följande: 1. Monitor - enbart en tråd kan komma in, ömsesidig uteslutning är uppfylld 2. Anrop av en metod i en annan monitor inifrån en monitor-metod är möjligt 10

33 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 3. Ingen resource-preemption (avbrott under resursnyttjande) - en tråd kan inte tvingas att lämna en resurs när den väl har kommit in 4. Cirkulärt vänteläge - när det finns en cirkel i tråd-resurs-beroenden För Java - monitorer gäller följande: 1. Monitor - enbart en tråd kan komma in, ömsesidig uteslutning är uppfylld 2. Anrop av en metod i en annan monitor inifrån en monitor-metod är möjligt 3. En monitor friges enbart om en tråd lämnar den tillfälligt (wait()) eller lämnar efter avslutad jobb, ingen resource-preemption, därmed kan det bli dödläge 10

34 Krav för dödläge (Peterson / Silberschatz) Följande punkter måste vara uppfyllda för att det ska bli dödläge: 1. Ömsesidig uteslutning - enbart en tråd åt gången kan komma åt en resurs. 2. Hold and Wait (hålla och vänta) - en tråd kan reservera (ta) en resurs och vänta sedan på en annan 3. Ingen resource-preemption (avbrott under resursnyttjande) - en tråd kan inte tvingas att lämna en resurs när den väl har kommit in 4. Cirkulärt vänteläge - när det finns en cirkel i tråd-resurs-beroenden För Java - monitorer gäller följande: 1. Monitor - enbart en tråd kan komma in, ömsesidig uteslutning är uppfylld 2. Anrop av en metod i en annan monitor inifrån en monitor-metod är möjligt 3. En monitor friges enbart om en tråd lämnar den tillfälligt (wait()) eller lämnar efter avslutad jobb, ingen resource-preemption, därmed kan det bli dödläge 4. Cirkulärt vänteläge är det som man måste åtgärda själv, allt annat KAN man inte ändra 10

35 Dining philosophers - en klassiker... Philosopher while( true) { think(); preproto(); eat(); postproto(); } preproto() = take fork(s) postproto() = give fork(s) 11

36 Resursallokeringsgrafer 12

37 Resursallokeringsgrafer Ett verktyg för att upptäcka cirkulära hold-wait situationer, och för att förstå, vilka trådar och resurser kan inblandas i ett dödläge, 12

38 Resursallokeringsgrafer Ett verktyg för att upptäcka cirkulära hold-wait situationer, och för att förstå, vilka trådar och resurser kan inblandas i ett dödläge, 1. Rita resurserna (monitorer, semaforer...) 12

39 Resursallokeringsgrafer Ett verktyg för att upptäcka cirkulära hold-wait situationer, och för att förstå, vilka trådar och resurser kan inblandas i ett dödläge, 1. Rita resurserna (monitorer, semaforer...) 2. Rita alla hold-wait situationer. Pil från en upptagen resurs till en markör för tråden som håller i resursen (kan bli flera markörer för en tråd, en för varje hold-wait) och pil från trådmarkör till resursen den väntar på. 12

40 Resursallokeringsgrafer Ett verktyg för att upptäcka cirkulära hold-wait situationer, och för att förstå, vilka trådar och resurser kan inblandas i ett dödläge, 1. Rita resurserna (monitorer, semaforer...) 2. Rita alla hold-wait situationer. Pil från en upptagen resurs till en markör för tråden som håller i resursen (kan bli flera markörer för en tråd, en för varje hold-wait) och pil från trådmarkör till resursen den väntar på. 3. Cirkel i ritningen? Då är det risk för dödläge. Hold-wait förbindelserna i cirkeln visar hur många och vilka trådar kan orsaka ett dödläge. 12

41 Resursallokeringsgrafer Ett verktyg för att upptäcka cirkulära hold-wait situationer, och för att förstå, vilka trådar och resurser kan inblandas i ett dödläge, 1. Rita resurserna (monitorer, semaforer...) 2. Rita alla hold-wait situationer. Pil från en upptagen resurs till en markör för tråden som håller i resursen (kan bli flera markörer för en tråd, en för varje hold-wait) och pil från trådmarkör till resursen den väntar på. 3. Cirkel i ritningen? Då är det risk för dödläge. Hold-wait förbindelserna i cirkeln visar hur många och vilka trådar kan orsaka ett dödläge. 12

42 Resursallokeringsgrafer, exempel T1... A.take(); B.take(); C.take();... C.give(); B.give(); A.give(); T2... D.take(); C.take(); B.take();... B.give(); C.give(); D.give(); 13

43 Resursallokeringsgrafer, exempel T1... A.take(); B.take(); C.take();... C.give(); B.give(); A.give(); T2... D.take(); C.take(); B.take();... B.give(); C.give(); D.give(); Ett dödläge kan uppstå om T1 lyckas komma till B.take() och blir sen avbruten av T2, som då lyckas komma till C.take() och börjar vänta på B (som är upptagen av T1). När då T1 får exekvera igen, väntar den i sin tur på C (som är upptagen av T2). 13

44 Dödläge i cirkel - tåg på räls E F D A C B 14

45 Dödläge i cirkel - tåg på räls E F D A C B Även i system där ordningen av semafor.take()-anropen är samma för alla trådar, kan det bli problem (se programmet!) 14

46 Dödläge - svält - livelock 15

47 Deadlock (dödläge) Dödläge - svält - livelock 15

48 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 15

49 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 2. Ifall att ordningen av resursallokering är olyckligt gjort, eller antalet trådar går över en gräns, kan det bli dödläge, dvs ingen tråd lyckas exekvera eller få tillgång till resurserna den behöver. 15

50 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 2. Ifall att ordningen av resursallokering är olyckligt gjort, eller antalet trådar går över en gräns, kan det bli dödläge, dvs ingen tråd lyckas exekvera eller få tillgång till resurserna den behöver. Starvation (svält) 15

51 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 2. Ifall att ordningen av resursallokering är olyckligt gjort, eller antalet trådar går över en gräns, kan det bli dödläge, dvs ingen tråd lyckas exekvera eller få tillgång till resurserna den behöver. Starvation (svält) 1. Om en tråd vill ha en resurs så måste den lyckas någon gång för att inte hamna i svält-läge 15

52 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 2. Ifall att ordningen av resursallokering är olyckligt gjort, eller antalet trådar går över en gräns, kan det bli dödläge, dvs ingen tråd lyckas exekvera eller få tillgång till resurserna den behöver. Starvation (svält) 1. Om en tråd vill ha en resurs så måste den lyckas någon gång för att inte hamna i svält-läge 2. Vi accepterar att det kan bli svält för mindre prioriterade aktiviteter, så att det som är viktigt kan utföras (jfr buffer-exemplet, föreläsning 3). 15

53 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 2. Ifall att ordningen av resursallokering är olyckligt gjort, eller antalet trådar går över en gräns, kan det bli dödläge, dvs ingen tråd lyckas exekvera eller få tillgång till resurserna den behöver. Starvation (svält) 1. Om en tråd vill ha en resurs så måste den lyckas någon gång för att inte hamna i svält-läge 2. Vi accepterar att det kan bli svält för mindre prioriterade aktiviteter, så att det som är viktigt kan utföras (jfr buffer-exemplet, föreläsning 3). Livelock (levande låsning) 15

54 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 2. Ifall att ordningen av resursallokering är olyckligt gjort, eller antalet trådar går över en gräns, kan det bli dödläge, dvs ingen tråd lyckas exekvera eller få tillgång till resurserna den behöver. Starvation (svält) 1. Om en tråd vill ha en resurs så måste den lyckas någon gång för att inte hamna i svält-läge 2. Vi accepterar att det kan bli svält för mindre prioriterade aktiviteter, så att det som är viktigt kan utföras (jfr buffer-exemplet, föreläsning 3). Livelock (levande låsning) 1. Om flera trådar försöker komma åt samma resurs(er) men träda tillbaka hela tiden innan de lyckas få tillgång till allt de behöver, hamnar man i ett slags zombie -läge; trådarna är vid liv, men gör ingen nytta. 15

55 Deadlock (dödläge) Dödläge - svält - livelock 1. När flera trådar försöker komma åt samma resurs måste en av de lyckas någon gång - annars har vi ett dödläge. 2. Ifall att ordningen av resursallokering är olyckligt gjort, eller antalet trådar går över en gräns, kan det bli dödläge, dvs ingen tråd lyckas exekvera eller få tillgång till resurserna den behöver. Starvation (svält) 1. Om en tråd vill ha en resurs så måste den lyckas någon gång för att inte hamna i svält-läge 2. Vi accepterar att det kan bli svält för mindre prioriterade aktiviteter, så att det som är viktigt kan utföras (jfr buffer-exemplet, föreläsning 3). Livelock (levande låsning) 1. Om flera trådar försöker komma åt samma resurs(er) men träda tillbaka hela tiden innan de lyckas få tillgång till allt de behöver, hamnar man i ett slags zombie -läge; trådarna är vid liv, men gör ingen nytta. 2. Utifrån ser det ut som dödläge, men kollar man upp det, är trådarna aktiva, fast det händer ingenting 15

56 Övning 3 Resource allocation graphs, kort exempel Programmeringsuppgift på papper Kort introduktion laboration 3 (tvättmaskin) 16

57 Sammanfattning Dödläge Resource allocation graphs Man borde kunna rita RAGs och analysera ett system för att hitta risk för dödläge, både utifrån kod eller en systembeskrivning Man borde kunna skriva kod (sekvenser) när man har gjort ett system riskfritt med hjälp av en RAG. Lästips: e-bok: Kap 4, Deadlock (s ) Artikel Resource Allocation Graphs, Roger Henriksson (länk på kursens materialsida, rekommenderas!) 17