SlideShare une entreprise Scribd logo
1  sur  23
6. Deadlocks ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Deadlocks ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Reusable/Consumable Resources ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Examples of Deadlocks ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Deadlock, Livelock, Starvation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Approaches to Deadlock Problem ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
System Model ,[object Object],[object Object],[object Object],[object Object],[object Object],Figure 6-1
System Model: State Transitions ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Figure 6-2
System Model ,[object Object],[object Object],[object Object],[object Object]
Example ,[object Object],[object Object],[object Object],Figure 6-3: Transitions by  p 1  only
Example ,[object Object],[object Object],[object Object],Figure 6-4: Transitions by  p 1  and  p2
Deadlock Detection ,[object Object],[object Object],[object Object],[object Object],[object Object],Figure 6-5
Special Cases of Detection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Special Cases of Detection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Special Cases of Detection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Figure 6-6
Detection in Distributed Systems ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Figure 6-7
Detection in Distributed Systems ,[object Object],[object Object],[object Object],[object Object],[object Object],Figure 6-8
Recovery from Deadlock ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Dynamic Deadlock Avoidance ,[object Object],[object Object],[object Object],[object Object],Figure 6-9
Dynamic Deadlock Avoidance ,[object Object],[object Object],[object Object],[object Object],[object Object],Figure 6-10
Dynamic Deadlock Avoidance ,[object Object],[object Object],[object Object],Figure 6-11
Deadlock Prevention ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Deadlock Prevention ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Contenu connexe

En vedette

Class9
 Class9 Class9
Class9
issbp
 
Os4 2
Os4 2Os4 2
Os4 2
issbp
 
Ch11 input output systems
Ch11 input output systemsCh11 input output systems
Ch11 input output systems
issbp
 
Class5
 Class5 Class5
Class5
issbp
 
Os10 2
Os10 2Os10 2
Os10 2
issbp
 
Class6
 Class6 Class6
Class6
issbp
 
0227 regularlanguages
 0227 regularlanguages 0227 regularlanguages
0227 regularlanguages
issbp
 
Os3 2
Os3 2Os3 2
Os3 2
issbp
 

En vedette (20)

Class9
 Class9 Class9
Class9
 
Os4 2
Os4 2Os4 2
Os4 2
 
Ch11 input output systems
Ch11 input output systemsCh11 input output systems
Ch11 input output systems
 
Class5
 Class5 Class5
Class5
 
Os4
Os4Os4
Os4
 
Design1
Design1Design1
Design1
 
Os5
Os5Os5
Os5
 
Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5
 
Os10 2
Os10 2Os10 2
Os10 2
 
Cspc final
Cspc finalCspc final
Cspc final
 
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
Automated Web Service Change Management (AWSCM) A tool published at IEEE Clou...
 
Pattern detection in mealy machine
Pattern detection in mealy machinePattern detection in mealy machine
Pattern detection in mealy machine
 
Os3
Os3Os3
Os3
 
Class6
 Class6 Class6
Class6
 
0227 regularlanguages
 0227 regularlanguages 0227 regularlanguages
0227 regularlanguages
 
Pumping Lemma and Regular language or not?
Pumping Lemma and Regular language or not?Pumping Lemma and Regular language or not?
Pumping Lemma and Regular language or not?
 
Software Engineering Unit 1
Software Engineering Unit 1Software Engineering Unit 1
Software Engineering Unit 1
 
Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1
 
Fundamental question and answer in cloud computing quiz by animesh chaturvedi
Fundamental question and answer in cloud computing quiz by animesh chaturvediFundamental question and answer in cloud computing quiz by animesh chaturvedi
Fundamental question and answer in cloud computing quiz by animesh chaturvedi
 
Os3 2
Os3 2Os3 2
Os3 2
 

Similaire à Os6

Operating System Deadlock Galvin
Operating System  Deadlock GalvinOperating System  Deadlock Galvin
Operating System Deadlock Galvin
Sonali Chauhan
 
Lecture5
Lecture5Lecture5
Lecture5
jntu
 
Galvin-operating System(Ch8)
Galvin-operating System(Ch8)Galvin-operating System(Ch8)
Galvin-operating System(Ch8)
dsuyal1
 

Similaire à Os6 (20)

Deadlock Detection in Distributed Systems
Deadlock Detection in Distributed SystemsDeadlock Detection in Distributed Systems
Deadlock Detection in Distributed Systems
 
Deadlock Detection Algorithm
Deadlock Detection AlgorithmDeadlock Detection Algorithm
Deadlock Detection Algorithm
 
6. Deadlock.ppt
6. Deadlock.ppt6. Deadlock.ppt
6. Deadlock.ppt
 
Os case study word
Os case study wordOs case study word
Os case study word
 
Deadlocks
Deadlocks Deadlocks
Deadlocks
 
Sucet os module_3_notes
Sucet os module_3_notesSucet os module_3_notes
Sucet os module_3_notes
 
Operating System Deadlock Galvin
Operating System  Deadlock GalvinOperating System  Deadlock Galvin
Operating System Deadlock Galvin
 
Lecture5
Lecture5Lecture5
Lecture5
 
Chapter 7
Chapter 7Chapter 7
Chapter 7
 
7308346-Deadlock.pptx
7308346-Deadlock.pptx7308346-Deadlock.pptx
7308346-Deadlock.pptx
 
Galvin-operating System(Ch8)
Galvin-operating System(Ch8)Galvin-operating System(Ch8)
Galvin-operating System(Ch8)
 
OS-Part-06.pdf
OS-Part-06.pdfOS-Part-06.pdf
OS-Part-06.pdf
 
CH07.pdf
CH07.pdfCH07.pdf
CH07.pdf
 
F33 book-depend-pres-pt6
F33 book-depend-pres-pt6F33 book-depend-pres-pt6
F33 book-depend-pres-pt6
 
Ch8: Deadlocks
Ch8: DeadlocksCh8: Deadlocks
Ch8: Deadlocks
 
Mca ii os u-3 dead lock & io systems
Mca  ii  os u-3 dead lock & io systemsMca  ii  os u-3 dead lock & io systems
Mca ii os u-3 dead lock & io systems
 
Gp1242 007 oer ppt
Gp1242 007 oer pptGp1242 007 oer ppt
Gp1242 007 oer ppt
 
Deadlock_SVVSDM_DWD
Deadlock_SVVSDM_DWDDeadlock_SVVSDM_DWD
Deadlock_SVVSDM_DWD
 
O ssvv62015
O ssvv62015O ssvv62015
O ssvv62015
 
Deadlocks
DeadlocksDeadlocks
Deadlocks
 

Plus de issbp

Os10
Os10Os10
Os10
issbp
 
Os9 2
Os9 2Os9 2
Os9 2
issbp
 
Os8 2
Os8 2Os8 2
Os8 2
issbp
 
Os7 2
Os7 2Os7 2
Os7 2
issbp
 
Class8
 Class8 Class8
Class8
issbp
 
Class7
 Class7 Class7
Class7
issbp
 
Class4
 Class4 Class4
Class4
issbp
 
Class3
 Class3 Class3
Class3
issbp
 
Class2
 Class2 Class2
Class2
issbp
 
Class1
 Class1 Class1
Class1
issbp
 

Plus de issbp (13)

Os10
Os10Os10
Os10
 
Os9 2
Os9 2Os9 2
Os9 2
 
Os9
Os9Os9
Os9
 
Os8 2
Os8 2Os8 2
Os8 2
 
Os8
Os8Os8
Os8
 
Os7 2
Os7 2Os7 2
Os7 2
 
Os7
Os7Os7
Os7
 
Class8
 Class8 Class8
Class8
 
Class7
 Class7 Class7
Class7
 
Class4
 Class4 Class4
Class4
 
Class3
 Class3 Class3
Class3
 
Class2
 Class2 Class2
Class2
 
Class1
 Class1 Class1
Class1
 

Os6

  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.