SlideShare a Scribd company logo
DEADLOCKS
DEADLOCKS
Definition and example of deadlock
System Model
Deadlock Characterization
Methods for Handling Deadlocks
 Deadlock Prevention
Deadlock Avoidance
Deadlock Detection
Recovery from Deadlock
2
CHAPTER OBJECTIVES
To develop a description of deadlocks,
which prevent sets of concurrent
processes from completing their tasks.
To present a number of different
methods for preventing or avoiding
deadlocks in a computer system.
3
DEFINITION OF DEADLOCK
 A set of two or more processes are deadlocked if
they are blocked (i.e., in the waiting state) each
holding a resource and waiting to acquire a
resource held by another process in the set.
Or
 A process is deadlocked if it is waiting for an
event which is never going to happen.
 Deadlocks can occur via system calls, locking, etc.
4
EXAMPLE OF DEADLOCK
 Semaphores A and B, each initialized to 1:
P_0 P_1
---------- ----------
A.wait(); B.wait();
B.wait(); A.wait();
A.signal(); B.signal();
B.signal(); A.signal();
5
DEADLOCK EXAMPLE
6
SYSTEM MODEL
 System consists of resources
 Resource types R1, R2, . . ., Rm
CPU cycles, memory space, I/O devices
 Each resource type Ri has Wi instances.
 Each process utilizes a resource as follows:
request
use
Release
7
DEADLOCK CHARACTERIZATION
 Mutual exclusion: only one process at a time can use a
resource
 Hold and wait: a process holding at least one resource
is waiting to acquire additional resources held by other
processes
 No preemption: a resource can be released only
voluntarily by the process holding it, after that process
has completed its task
 Circular wait: there exists a set {P0, P1, …, Pn} of
waiting processes such that P0 is waiting for a resource
that is held by P1, P1 is waiting for a resource that is held
by P2, …, Pn–1 is waiting for a resource that is held by Pn,
and Pn is waiting for a resource that is held by P0.
Deadlock can arise if four conditions hold simultaneously.
8
RESOURCE-ALLOCATION GRAPH
 V is partitioned into two types:
 P = {P1, P2, …, Pn}, the set consisting of all the
processes in the system
 R = {R1, R2, …, Rm}, the set consisting of all
resource types in the system
 request edge – directed edge Pi → Rj
 assignment edge – directed edge Rj → Pi
A set of vertices V and a set of edges E.
9
RESOURCE-ALLOCATION GRAPH
(CONT.)
 Process
 Resource Type with 4 instances
 Pi requests instance of Rj
 Pi is holding an instance of Rj
Pi
Pi
Rj
Rj 10
EXAMPLE OF A RESOURCE ALLOCATION
GRAPH
11
RESOURCE ALLOCATION GRAPH WITH A
DEADLOCK
12
GRAPH WITH A CYCLE BUT NO DEADLOCK
13
BASIC FACTS
 If graph contains no cycles ⇒ no deadlock
 If graph contains a cycle ⇒
if only one instance per resource type, then
deadlock
if several instances per resource type,
possibility of deadlock
14
QUESTION 1
 Suppose there are three processes P1, P2 and P3.
P1 requires 2 resources, P2 requires 3 resources
P3 requires 4 resources. What are the minimum
no. of resources required so that system will
never enter in deadlock?
Solution:
 Assign one less no. of resources than required to
each process.
 i.e. firstly assign 1---P1, 2---P2, 3---P3. Then, to
complete any of given process we simply need 1
more resource.
 So total no resources required: 1+2+3+1=7
15
QUESTION 2
 Suppose there are three processes P1, P2 and P3.
P1 requires 3 resources, P2 requires 5 resources
P3 requires 7 resources. What are the minimum
no. of resources required so that system will
never enter in deadlock?
Answer: 13
The minimum 13 resources are required so that
system must be in safe state.
16
MINIMUM RESOURCES REQUIRED
 In general, minimum no. of resources required so
that system must be in safe state:
{(R1-1)+(R2-1)+(R3-1)+--------------+(Rn-1)}+1
(∑Ri-n)+1 where i is from 1 to n
17
(∑Ri-n)+1
QUESTION 3
 Suppose there are five processes P1, P2, P3, P4
and P5. P1 requires 4 resources, P2 requires 3
resources, P3 requires 2 resources, P4 requires 9
resources, P5 requires 8 resources. What are the
minimum no. of resources required so that
system will never enter in deadlock?
 Solution:
R=26, n=5.
Minimum no. of resources required: 26-5+1=22
18
MAXIMUM PROCESSES FOR SAFE
STATE
 If total no. of resources and need of each
process are given, then no. of process can also
be calculated.
 This can be calculated by using same concept.
19
QUESTION 4
 Suppose each process needs 5 units of resources
and total no. of resources are 15. What are the
maximum no. of process should run in safe state?
 Solution:
 (r-1)*n +1<=R where r is no. of resources
required, n is no. of processes, R is total no. of
process.
r=5, R=15
(5-1)*n+1<=15 => 4*n+1<=15
n<=14/4 => n<=3.5
So, no. of max. processes n=3 20
QUESTION 5
 Suppose each process needs 3 units of resources
and total no. of resources are 100. What are the
maximum no. of process should run in safe state?
Answer :49
21
METHODS FOR HANDLING
DEADLOCKS
 Ensure that the system will never enter a
deadlock state:
Deadlock prevention
Deadlock avoidence
 Allow the system to enter a deadlock state and
then recover
 Ignore the problem and pretend that deadlocks
never occur in the system; used by most
operating systems, including UNIX
22
DEADLOCK PREVENTION
 Mutual Exclusion – not required for
sharable resources (e.g., read-only files); must
hold for non-sharable resources
 Hold and Wait – must guarantee that
whenever a process requests a resource, it
does not hold any other resources
Require process to request and be allocated
all its resources before it begins execution,
or allow process to request resources only
when the process has none allocated to it.
Low resource utilization; starvation
possible
Restrain the ways request can be made
23
DEADLOCK PREVENTION (CONT.)
 No Preemption –
 If a process that is holding some resources
requests another resource that cannot be
immediately allocated to it, then all resources
currently being held are released
 Preempted resources are added to the list of
resources for which the process is waiting
 Process will be restarted only when it can regain
its old resources, as well as the new ones that it
is requesting
 Circular Wait – impose a total ordering of all
resource types, and require that each process
requests resources in an increasing order of
enumeration
24
DEADLOCK AVOIDANCE
 Simplest and most useful model requires
that each process declare the maximum
number of resources of each type that it
may need
 The deadlock-avoidance algorithm
dynamically examines the resource-
allocation state to ensure that there can
never be a circular-wait condition
 Resource-allocation state is defined by the
number of available and allocated resources,
and the maximum demands of the processes
Requires that the system has some additional a priori information
available
25
SAFE STATE
 When a process requests an available resource, system
must decide if immediate allocation leaves the system in a
safe state
 System is in safe state if there exists a sequence <P1, P2,
…, Pn> of ALL the processes in the systems such that for
each Pi, the resources that Pi can still request can be
satisfied by currently available resources + resources held
by all the Pj, with j < I
 That is:
 If Pi resource needs are not immediately available,
then Pi can wait until all Pj have finished
 When Pj is finished, Pi can obtain needed resources,
execute, return allocated resources, and terminate
 When Pi terminates, Pi +1 can obtain its needed
resources, and so on
26
BASIC FACTS
 If a system is in safe state ⇒ no deadlocks
 If a system is in unsafe state ⇒ possibility
of deadlock
 Avoidance ⇒ ensure that a system will
never enter an unsafe state.
27
SAFE, UNSAFE, DEADLOCK STATE
28
AVOIDANCE ALGORITHMS
 Single instance of a resource type
Use a resource-allocation graph
 Multiple instances of a resource type
 Use the banker’s algorithm
29
RESOURCE-ALLOCATION GRAPH
SCHEME
 Claim edge Pi → Rj indicated that process Pj
may request resource Rj; represented by a
dashed line
 Claim edge converts to request edge when a
process requests a resource
 Request edge converted to an assignment edge
when the resource is allocated to the process
 When a resource is released by a process,
assignment edge reconverts to a claim edge
 Resources must be claimed a priori in the
system
30
RESOURCE-ALLOCATION GRAPH
31
UNSAFE STATE IN RESOURCE-ALLOCATION
GRAPH
32
RESOURCE-ALLOCATION GRAPH
ALGORITHM
 Suppose that process Pi requests a resource Rj
 The request can be granted only if converting
the request edge to an assignment edge does
not result in the formation of a cycle in the
resource allocation graph
33
BANKER’S ALGORITHM
 Multiple instances
 Each process must a priori claim maximum
use
 When a process requests a resource it may
have to wait
 When a process gets all its resources it must
return them in a finite amount of time
34
DATA STRUCTURES FOR THE BANKER’S
ALGORITHM
 Available: Vector of length m. If available [j] = k, there are k
instances of resource type Rj available
 Max: n x m matrix. If Max [i,j] = k, then process Pi may
request at most k instances of resource type Rj
 Allocation: n x m matrix. If Allocation[i,j] = k then Pi is
currently allocated k instances of Rj
 Need: n x m matrix. If Need[i,j] = k, then Pi may need k more
instances of Rj to complete its task
Need [i,j] = Max[i,j] – Allocation [i,j]
Let n = number of processes, and m = number of resources types.
35
SAFETY ALGORITHM
1. Let Work and Finish be vectors of length m and n, respectively.
Initialize:
Work = Available
Finish [i] = false for i = 0, 1, …, n- 1
2. Find an i such that both:
(a) Finish [i] = false
(b) Needi ≤ Work
If no such i exists, go to step 4
3. Work = Work + Allocationi
Finish[i] = true
go to step 2
4. If Finish [i] == true for all i, then the system is in a safe state
36
RESOURCE-REQUEST ALGORITHM FOR
PROCESS PI
Requesti = request vector for process Pi. If Requesti [j] = k
then process Pi wants k instances of resource type Rj
1. If Requesti ≤ Needi go to step 2. Otherwise, raise error
condition, since process has exceeded its maximum claim
2. If Requesti ≤ Available, go to step 3. Otherwise Pi must
wait, since resources are not available
3. Pretend to allocate requested resources to Pi by modifying
the state as follows:
Available = Available – Requesti;
Allocationi = Allocationi + Requesti;
Needi = Needi – Requesti;
If safe ⇒ the resources are allocated to Pi
If unsafe ⇒ Pi must wait, and the old resource-allocation
state is restored
37
EXAMPLE OF BANKER’S ALGORITHM
 5 processes P0 through P4;
3 resource types:
A (10 instances), B (5instances), and C (7 instances)
 Snapshot at time T0:
Allocation Max Available
A B C A B C A B C
P0 0 1 0 7 5 3 3 3 2
P1 2 0 0 3 2 2
P2 3 0 2 9 0 2
P3 2 1 1 2 2 2
P4 0 0 2 4 3 3
38
EXAMPLE (CONT.)
 The content of the matrix Need is defined to be Max – Allocation
Need
A B C
P0 7 4 3
P1 1 2 2
P2 6 0 0
P3 0 1 1
P4 4 3 1
 The system is in a safe state since the sequence < P1, P3, P4, P2, P0>
satisfies safety criteria
39
EXAMPLE: P1 REQUEST (1,0,2)
 Check that Request ≤ Available (that is, (1,0,2) ≤ (3,3,2) ⇒ true
Allocation Need Available
A B C A B C A B C
P0 0 1 0 7 4 3 2 3 0
P1 3 0 2 0 2 0
P2 3 0 2 6 0 0
P3 2 1 1 0 1 1
P4 0 0 2 4 3 1
 Executing safety algorithm shows that sequence < P1, P3, P4, P0, P2>
satisfies safety requirement
 Can request for (3,3,0) by P4 be granted?
 Can request for (0,2,0) by P0 be granted? 40
DEADLOCK DETECTION
 Allow system to enter deadlock state
 Detection algorithm
 Recovery scheme
41
SINGLE INSTANCE OF EACH RESOURCE
TYPE
 Maintain wait-for graph
Nodes are processes
Pi → Pj if Pi is waiting for Pj
 Periodically invoke an algorithm that searches for
a cycle in the graph. If there is a cycle, there
exists a deadlock
 An algorithm to detect a cycle in a graph requires
an order of n2
operations, where n is the number
of vertices in the graph
42
RESOURCE-ALLOCATION GRAPH AND WAIT-
FOR GRAPH
Resource-Allocation Graph Corresponding wait-for graph
43
SEVERAL INSTANCES OF A
RESOURCE TYPE
 Available: A vector of length m indicates
the number of available resources of each
type
 Allocation: An n x m matrix defines the
number of resources of each type currently
allocated to each process
 Request: An n x m matrix indicates the
current request of each process. If Request
[i][j] = k, then process Pi is requesting k
more instances of resource type Rj. 44
DETECTION ALGORITHM
1.Let Work and Finish be vectors of length m and
n, respectively Initialize:
(a) Work = Available
(b)For i = 1,2, …, n, if Allocationi ≠ 0, then
Finish[i] = false; otherwise, Finish[i] = true
2.Find an index i such that both:
(a)Finish[i] == false
(b)Requesti ≤ Work
If no such i exists, go to step 4
45
DETECTION ALGORITHM (CONT.)
3.Work = Work + Allocationi
Finish[i] = true
go to step 2
4.If Finish[i] == false, for some i, 1 ≤ i ≤ n, then
the system is in deadlock state. Moreover, if
Finish[i] == false, then Pi is deadlocked
Algorithm requires an order of O(m x n2
)
operations to detect whether the system is in
deadlocked state
46
EXAMPLE OF DETECTION
ALGORITHM
 Five processes P0 through P4;three resource types
A (7 instances), B (2 instances), and C (6 instances)
 Snapshot at time T0:
Allocation Request Available
A B C A B C A B C
P0 0 1 0 0 0 0 0 0 0
P1 2 0 0 2 0 2
P2 3 0 3 0 0 0
P3 2 1 1 1 0 0
P4 0 0 2 0 0 2
 Sequence <P0, P2, P3, P1, P4> will result in Finish[i] = true for all i
47
EXAMPLE (CONT.)
 P2 requests an additional instance of type C
Request
A B C
P0 0 0 0
P1 2 0 2
P2 0 0 1
P3 1 0 0
P4 0 0 2
 State of system?
 Can reclaim resources held by process P0, but insufficient
resources to fulfill other processes; requests
 Deadlock exists, consisting of processes P1, P2, P3, and P4
48
DETECTION-ALGORITHM USAGE
 When, and how often, to invoke depends on:
 How often a deadlock is likely to occur?
 How many processes will need to be rolled
back?
 one for each disjoint cycle
 If detection algorithm is invoked arbitrarily,
there may be many cycles in the resource graph
and so we would not be able to tell which of the
many deadlocked processes “caused” the
deadlock.
49
RECOVERY FROM DEADLOCK: PROCESS
TERMINATION
 Abort all deadlocked processes
 Abort one process at a time until the deadlock cycle is eliminated
 In which order should we choose to abort?
1. Priority of the process
2. How long process has computed, and how much longer to
completion
3. Resources the process has used
4. Resources process needs to complete
5. How many processes will need to be terminated
6. Is process interactive or batch?
50
RECOVERY FROM DEADLOCK: RESOURCE
PREEMPTION
 Selecting a victim – minimize cost
 Rollback – return to some safe state, restart
process for that state
 Starvation – same process may always be picked
as victim, include number of rollback in cost factor
51

More Related Content

What's hot

Inter Process Communication Presentation[1]
Inter Process Communication Presentation[1]Inter Process Communication Presentation[1]
Inter Process Communication Presentation[1]Ravindra Raju Kolahalam
 
deadlock handling
deadlock handlingdeadlock handling
deadlock handling
Suraj Kumar
 
Chapter 7 - Deadlocks
Chapter 7 - DeadlocksChapter 7 - Deadlocks
Chapter 7 - Deadlocks
Wayne Jones Jnr
 
Deadlock- Operating System
Deadlock- Operating SystemDeadlock- Operating System
Deadlock- Operating System
Rajan Shah
 
Deadlock Detection in Distributed Systems
Deadlock Detection in Distributed SystemsDeadlock Detection in Distributed Systems
Deadlock Detection in Distributed Systems
DHIVYADEVAKI
 
Processes and threads
Processes and threadsProcesses and threads
deadlock avoidance
deadlock avoidancedeadlock avoidance
deadlock avoidancewahab13
 
System calls
System callsSystem calls
System calls
Bernard Senam
 
OS - Process Concepts
OS - Process ConceptsOS - Process Concepts
OS - Process Concepts
Mukesh Chinta
 
Demand paging
Demand pagingDemand paging
Demand paging
Trinity Dwarka
 
Process management os concept
Process management os conceptProcess management os concept
Process management os concept
priyadeosarkar91
 
Memory Management in OS
Memory Management in OSMemory Management in OS
Memory Management in OS
Kumar Pritam
 
Semaphore
SemaphoreSemaphore
Semaphore
Arafat Hossan
 
Deadlock in Distributed Systems
Deadlock in Distributed SystemsDeadlock in Distributed Systems
Deadlock in Distributed Systems
Pritom Saha Akash
 
Critical section problem in operating system.
Critical section problem in operating system.Critical section problem in operating system.
Critical section problem in operating system.
MOHIT DADU
 
Operating System: Deadlock
Operating System: DeadlockOperating System: Deadlock
Operating System: Deadlock
InteX Research Lab
 
Memory Management in OS
Memory Management in OSMemory Management in OS
Memory Management in OS
vampugani
 
Cpu scheduling in operating System.
Cpu scheduling in operating System.Cpu scheduling in operating System.
Cpu scheduling in operating System.
Ravi Kumar Patel
 

What's hot (20)

Inter Process Communication Presentation[1]
Inter Process Communication Presentation[1]Inter Process Communication Presentation[1]
Inter Process Communication Presentation[1]
 
deadlock handling
deadlock handlingdeadlock handling
deadlock handling
 
Deadlock ppt
Deadlock ppt Deadlock ppt
Deadlock ppt
 
Chapter 7 - Deadlocks
Chapter 7 - DeadlocksChapter 7 - Deadlocks
Chapter 7 - Deadlocks
 
Deadlock- Operating System
Deadlock- Operating SystemDeadlock- Operating System
Deadlock- Operating System
 
Deadlock Detection in Distributed Systems
Deadlock Detection in Distributed SystemsDeadlock Detection in Distributed Systems
Deadlock Detection in Distributed Systems
 
Processes and threads
Processes and threadsProcesses and threads
Processes and threads
 
deadlock avoidance
deadlock avoidancedeadlock avoidance
deadlock avoidance
 
System calls
System callsSystem calls
System calls
 
OS - Process Concepts
OS - Process ConceptsOS - Process Concepts
OS - Process Concepts
 
Paging and segmentation
Paging and segmentationPaging and segmentation
Paging and segmentation
 
Demand paging
Demand pagingDemand paging
Demand paging
 
Process management os concept
Process management os conceptProcess management os concept
Process management os concept
 
Memory Management in OS
Memory Management in OSMemory Management in OS
Memory Management in OS
 
Semaphore
SemaphoreSemaphore
Semaphore
 
Deadlock in Distributed Systems
Deadlock in Distributed SystemsDeadlock in Distributed Systems
Deadlock in Distributed Systems
 
Critical section problem in operating system.
Critical section problem in operating system.Critical section problem in operating system.
Critical section problem in operating system.
 
Operating System: Deadlock
Operating System: DeadlockOperating System: Deadlock
Operating System: Deadlock
 
Memory Management in OS
Memory Management in OSMemory Management in OS
Memory Management in OS
 
Cpu scheduling in operating System.
Cpu scheduling in operating System.Cpu scheduling in operating System.
Cpu scheduling in operating System.
 

Similar to Deadlock

OSLec14&15(Deadlocksinopratingsystem).pptx
OSLec14&15(Deadlocksinopratingsystem).pptxOSLec14&15(Deadlocksinopratingsystem).pptx
OSLec14&15(Deadlocksinopratingsystem).pptx
ssusere16bd9
 
Chapter 5(five).pdf
Chapter 5(five).pdfChapter 5(five).pdf
Chapter 5(five).pdf
amanuel236786
 
CH07.pdf
CH07.pdfCH07.pdf
CH07.pdf
ImranKhan880955
 
Operating System
Operating SystemOperating System
Operating System
Subhasis Dash
 
Module-2Deadlock.ppt
Module-2Deadlock.pptModule-2Deadlock.ppt
Module-2Deadlock.ppt
KAnurag2
 
Ch8 OS
Ch8 OSCh8 OS
Ch8 OSC.U
 
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
Rai University
 
deadlock in OS.pptx
deadlock in OS.pptxdeadlock in OS.pptx
deadlock in OS.pptx
Monirul Islam
 
Sucet os module_3_notes
Sucet os module_3_notesSucet os module_3_notes
Sucet os module_3_notes
SRINIVASUNIVERSITYEN
 
Os unit 4
Os unit 4Os unit 4
Os unit 4
Krupali Mistry
 
Deadlock
DeadlockDeadlock
Deadlock
Abhinaw Rai
 
Gp1242 007 oer ppt
Gp1242 007 oer pptGp1242 007 oer ppt
Gp1242 007 oer ppt
Nivedita Kasturi
 
Deadlock Avoidance - OS
Deadlock Avoidance - OSDeadlock Avoidance - OS
Deadlock Avoidance - OS
MsAnita2
 
Mch7 deadlock
Mch7 deadlockMch7 deadlock
Mch7 deadlockwahab13
 
Deadlock.ppt
Deadlock.pptDeadlock.ppt
Deadlock.ppt
JeelBhanderi4
 
Deadlocks 160928121516-160928183232
Deadlocks 160928121516-160928183232Deadlocks 160928121516-160928183232
Deadlocks 160928121516-160928183232
marangburu42
 

Similar to Deadlock (20)

OSLec14&15(Deadlocksinopratingsystem).pptx
OSLec14&15(Deadlocksinopratingsystem).pptxOSLec14&15(Deadlocksinopratingsystem).pptx
OSLec14&15(Deadlocksinopratingsystem).pptx
 
Chapter 5(five).pdf
Chapter 5(five).pdfChapter 5(five).pdf
Chapter 5(five).pdf
 
CH07.pdf
CH07.pdfCH07.pdf
CH07.pdf
 
Operating System
Operating SystemOperating System
Operating System
 
Ice
IceIce
Ice
 
Module-2Deadlock.ppt
Module-2Deadlock.pptModule-2Deadlock.ppt
Module-2Deadlock.ppt
 
Ch8 OS
Ch8 OSCh8 OS
Ch8 OS
 
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
 
deadlock in OS.pptx
deadlock in OS.pptxdeadlock in OS.pptx
deadlock in OS.pptx
 
Sucet os module_3_notes
Sucet os module_3_notesSucet os module_3_notes
Sucet os module_3_notes
 
OS_Ch8
OS_Ch8OS_Ch8
OS_Ch8
 
OSCh8
OSCh8OSCh8
OSCh8
 
Os unit 4
Os unit 4Os unit 4
Os unit 4
 
Deadlock
DeadlockDeadlock
Deadlock
 
Gp1242 007 oer ppt
Gp1242 007 oer pptGp1242 007 oer ppt
Gp1242 007 oer ppt
 
Os module 2 d
Os module 2 dOs module 2 d
Os module 2 d
 
Deadlock Avoidance - OS
Deadlock Avoidance - OSDeadlock Avoidance - OS
Deadlock Avoidance - OS
 
Mch7 deadlock
Mch7 deadlockMch7 deadlock
Mch7 deadlock
 
Deadlock.ppt
Deadlock.pptDeadlock.ppt
Deadlock.ppt
 
Deadlocks 160928121516-160928183232
Deadlocks 160928121516-160928183232Deadlocks 160928121516-160928183232
Deadlocks 160928121516-160928183232
 

More from Rajandeep Gill

Chronic Kidney Disease Prediction
Chronic Kidney Disease PredictionChronic Kidney Disease Prediction
Chronic Kidney Disease Prediction
Rajandeep Gill
 
Graph traversal-BFS & DFS
Graph traversal-BFS & DFSGraph traversal-BFS & DFS
Graph traversal-BFS & DFS
Rajandeep Gill
 
4. avl
4. avl4. avl
Asymptotic Notation and Complexity
Asymptotic Notation and ComplexityAsymptotic Notation and Complexity
Asymptotic Notation and Complexity
Rajandeep Gill
 
Operating system quiz
Operating system quizOperating system quiz
Operating system quiz
Rajandeep Gill
 
Software Engineering Methodology
Software Engineering MethodologySoftware Engineering Methodology
Software Engineering Methodology
Rajandeep Gill
 
Enterprise and Enterprise Application
Enterprise and Enterprise ApplicationEnterprise and Enterprise Application
Enterprise and Enterprise Application
Rajandeep Gill
 

More from Rajandeep Gill (7)

Chronic Kidney Disease Prediction
Chronic Kidney Disease PredictionChronic Kidney Disease Prediction
Chronic Kidney Disease Prediction
 
Graph traversal-BFS & DFS
Graph traversal-BFS & DFSGraph traversal-BFS & DFS
Graph traversal-BFS & DFS
 
4. avl
4. avl4. avl
4. avl
 
Asymptotic Notation and Complexity
Asymptotic Notation and ComplexityAsymptotic Notation and Complexity
Asymptotic Notation and Complexity
 
Operating system quiz
Operating system quizOperating system quiz
Operating system quiz
 
Software Engineering Methodology
Software Engineering MethodologySoftware Engineering Methodology
Software Engineering Methodology
 
Enterprise and Enterprise Application
Enterprise and Enterprise ApplicationEnterprise and Enterprise Application
Enterprise and Enterprise Application
 

Recently uploaded

weather web application report.pdf
weather web application report.pdfweather web application report.pdf
weather web application report.pdf
Pratik Pawar
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
bakpo1
 
HYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generationHYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generation
Robbie Edward Sayers
 
Architectural Portfolio Sean Lockwood
Architectural Portfolio Sean LockwoodArchitectural Portfolio Sean Lockwood
Architectural Portfolio Sean Lockwood
seandesed
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
AafreenAbuthahir2
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
obonagu
 
Halogenation process of chemical process industries
Halogenation process of chemical process industriesHalogenation process of chemical process industries
Halogenation process of chemical process industries
MuhammadTufail242431
 
LIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.pptLIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.ppt
ssuser9bd3ba
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
JoytuBarua2
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
R&R Consult
 
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
AJAYKUMARPUND1
 
power quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptxpower quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptx
ViniHema
 
Courier management system project report.pdf
Courier management system project report.pdfCourier management system project report.pdf
Courier management system project report.pdf
Kamal Acharya
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
ankuprajapati0525
 
The Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdfThe Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdf
Pipe Restoration Solutions
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
Amil Baba Dawood bangali
 
Democratizing Fuzzing at Scale by Abhishek Arya
Democratizing Fuzzing at Scale by Abhishek AryaDemocratizing Fuzzing at Scale by Abhishek Arya
Democratizing Fuzzing at Scale by Abhishek Arya
abh.arya
 
ethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.pptethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.ppt
Jayaprasanna4
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
MdTanvirMahtab2
 
Vaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdfVaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdf
Kamal Acharya
 

Recently uploaded (20)

weather web application report.pdf
weather web application report.pdfweather web application report.pdf
weather web application report.pdf
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
 
HYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generationHYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generation
 
Architectural Portfolio Sean Lockwood
Architectural Portfolio Sean LockwoodArchitectural Portfolio Sean Lockwood
Architectural Portfolio Sean Lockwood
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
 
Halogenation process of chemical process industries
Halogenation process of chemical process industriesHalogenation process of chemical process industries
Halogenation process of chemical process industries
 
LIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.pptLIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.ppt
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
 
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
 
power quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptxpower quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptx
 
Courier management system project report.pdf
Courier management system project report.pdfCourier management system project report.pdf
Courier management system project report.pdf
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
 
The Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdfThe Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdf
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
 
Democratizing Fuzzing at Scale by Abhishek Arya
Democratizing Fuzzing at Scale by Abhishek AryaDemocratizing Fuzzing at Scale by Abhishek Arya
Democratizing Fuzzing at Scale by Abhishek Arya
 
ethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.pptethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.ppt
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
 
Vaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdfVaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdf
 

Deadlock

  • 2. DEADLOCKS Definition and example of deadlock System Model Deadlock Characterization Methods for Handling Deadlocks  Deadlock Prevention Deadlock Avoidance Deadlock Detection Recovery from Deadlock 2
  • 3. CHAPTER OBJECTIVES To develop a description of deadlocks, which prevent sets of concurrent processes from completing their tasks. To present a number of different methods for preventing or avoiding deadlocks in a computer system. 3
  • 4. DEFINITION OF DEADLOCK  A set of two or more processes are deadlocked if they are blocked (i.e., in the waiting state) each holding a resource and waiting to acquire a resource held by another process in the set. Or  A process is deadlocked if it is waiting for an event which is never going to happen.  Deadlocks can occur via system calls, locking, etc. 4
  • 5. EXAMPLE OF DEADLOCK  Semaphores A and B, each initialized to 1: P_0 P_1 ---------- ---------- A.wait(); B.wait(); B.wait(); A.wait(); A.signal(); B.signal(); B.signal(); A.signal(); 5
  • 7. SYSTEM MODEL  System consists of resources  Resource types R1, R2, . . ., Rm CPU cycles, memory space, I/O devices  Each resource type Ri has Wi instances.  Each process utilizes a resource as follows: request use Release 7
  • 8. DEADLOCK CHARACTERIZATION  Mutual exclusion: only one process at a time can use a resource  Hold and wait: a process holding at least one resource is waiting to acquire additional resources held by other processes  No preemption: a resource can be released only voluntarily by the process holding it, after that process has completed its task  Circular wait: there exists a set {P0, P1, …, Pn} of waiting processes such that P0 is waiting for a resource that is held by P1, P1 is waiting for a resource that is held by P2, …, Pn–1 is waiting for a resource that is held by Pn, and Pn is waiting for a resource that is held by P0. Deadlock can arise if four conditions hold simultaneously. 8
  • 9. RESOURCE-ALLOCATION GRAPH  V is partitioned into two types:  P = {P1, P2, …, Pn}, the set consisting of all the processes in the system  R = {R1, R2, …, Rm}, the set consisting of all resource types in the system  request edge – directed edge Pi → Rj  assignment edge – directed edge Rj → Pi A set of vertices V and a set of edges E. 9
  • 10. RESOURCE-ALLOCATION GRAPH (CONT.)  Process  Resource Type with 4 instances  Pi requests instance of Rj  Pi is holding an instance of Rj Pi Pi Rj Rj 10
  • 11. EXAMPLE OF A RESOURCE ALLOCATION GRAPH 11
  • 12. RESOURCE ALLOCATION GRAPH WITH A DEADLOCK 12
  • 13. GRAPH WITH A CYCLE BUT NO DEADLOCK 13
  • 14. BASIC FACTS  If graph contains no cycles ⇒ no deadlock  If graph contains a cycle ⇒ if only one instance per resource type, then deadlock if several instances per resource type, possibility of deadlock 14
  • 15. QUESTION 1  Suppose there are three processes P1, P2 and P3. P1 requires 2 resources, P2 requires 3 resources P3 requires 4 resources. What are the minimum no. of resources required so that system will never enter in deadlock? Solution:  Assign one less no. of resources than required to each process.  i.e. firstly assign 1---P1, 2---P2, 3---P3. Then, to complete any of given process we simply need 1 more resource.  So total no resources required: 1+2+3+1=7 15
  • 16. QUESTION 2  Suppose there are three processes P1, P2 and P3. P1 requires 3 resources, P2 requires 5 resources P3 requires 7 resources. What are the minimum no. of resources required so that system will never enter in deadlock? Answer: 13 The minimum 13 resources are required so that system must be in safe state. 16
  • 17. MINIMUM RESOURCES REQUIRED  In general, minimum no. of resources required so that system must be in safe state: {(R1-1)+(R2-1)+(R3-1)+--------------+(Rn-1)}+1 (∑Ri-n)+1 where i is from 1 to n 17 (∑Ri-n)+1
  • 18. QUESTION 3  Suppose there are five processes P1, P2, P3, P4 and P5. P1 requires 4 resources, P2 requires 3 resources, P3 requires 2 resources, P4 requires 9 resources, P5 requires 8 resources. What are the minimum no. of resources required so that system will never enter in deadlock?  Solution: R=26, n=5. Minimum no. of resources required: 26-5+1=22 18
  • 19. MAXIMUM PROCESSES FOR SAFE STATE  If total no. of resources and need of each process are given, then no. of process can also be calculated.  This can be calculated by using same concept. 19
  • 20. QUESTION 4  Suppose each process needs 5 units of resources and total no. of resources are 15. What are the maximum no. of process should run in safe state?  Solution:  (r-1)*n +1<=R where r is no. of resources required, n is no. of processes, R is total no. of process. r=5, R=15 (5-1)*n+1<=15 => 4*n+1<=15 n<=14/4 => n<=3.5 So, no. of max. processes n=3 20
  • 21. QUESTION 5  Suppose each process needs 3 units of resources and total no. of resources are 100. What are the maximum no. of process should run in safe state? Answer :49 21
  • 22. METHODS FOR HANDLING DEADLOCKS  Ensure that the system will never enter a deadlock state: Deadlock prevention Deadlock avoidence  Allow the system to enter a deadlock state and then recover  Ignore the problem and pretend that deadlocks never occur in the system; used by most operating systems, including UNIX 22
  • 23. DEADLOCK PREVENTION  Mutual Exclusion – not required for sharable resources (e.g., read-only files); must hold for non-sharable resources  Hold and Wait – must guarantee that whenever a process requests a resource, it does not hold any other resources Require process to request and be allocated all its resources before it begins execution, or allow process to request resources only when the process has none allocated to it. Low resource utilization; starvation possible Restrain the ways request can be made 23
  • 24. DEADLOCK PREVENTION (CONT.)  No Preemption –  If a process that is holding some resources requests another resource that cannot be immediately allocated to it, then all resources currently being held are released  Preempted resources are added to the list of resources for which the process is waiting  Process will be restarted only when it can regain its old resources, as well as the new ones that it is requesting  Circular Wait – impose a total ordering of all resource types, and require that each process requests resources in an increasing order of enumeration 24
  • 25. DEADLOCK AVOIDANCE  Simplest and most useful model requires that each process declare the maximum number of resources of each type that it may need  The deadlock-avoidance algorithm dynamically examines the resource- allocation state to ensure that there can never be a circular-wait condition  Resource-allocation state is defined by the number of available and allocated resources, and the maximum demands of the processes Requires that the system has some additional a priori information available 25
  • 26. SAFE STATE  When a process requests an available resource, system must decide if immediate allocation leaves the system in a safe state  System is in safe state if there exists a sequence <P1, P2, …, Pn> of ALL the processes in the systems such that for each Pi, the resources that Pi can still request can be satisfied by currently available resources + resources held by all the Pj, with j < I  That is:  If Pi resource needs are not immediately available, then Pi can wait until all Pj have finished  When Pj is finished, Pi can obtain needed resources, execute, return allocated resources, and terminate  When Pi terminates, Pi +1 can obtain its needed resources, and so on 26
  • 27. BASIC FACTS  If a system is in safe state ⇒ no deadlocks  If a system is in unsafe state ⇒ possibility of deadlock  Avoidance ⇒ ensure that a system will never enter an unsafe state. 27
  • 29. AVOIDANCE ALGORITHMS  Single instance of a resource type Use a resource-allocation graph  Multiple instances of a resource type  Use the banker’s algorithm 29
  • 30. RESOURCE-ALLOCATION GRAPH SCHEME  Claim edge Pi → Rj indicated that process Pj may request resource Rj; represented by a dashed line  Claim edge converts to request edge when a process requests a resource  Request edge converted to an assignment edge when the resource is allocated to the process  When a resource is released by a process, assignment edge reconverts to a claim edge  Resources must be claimed a priori in the system 30
  • 32. UNSAFE STATE IN RESOURCE-ALLOCATION GRAPH 32
  • 33. RESOURCE-ALLOCATION GRAPH ALGORITHM  Suppose that process Pi requests a resource Rj  The request can be granted only if converting the request edge to an assignment edge does not result in the formation of a cycle in the resource allocation graph 33
  • 34. BANKER’S ALGORITHM  Multiple instances  Each process must a priori claim maximum use  When a process requests a resource it may have to wait  When a process gets all its resources it must return them in a finite amount of time 34
  • 35. DATA STRUCTURES FOR THE BANKER’S ALGORITHM  Available: Vector of length m. If available [j] = k, there are k instances of resource type Rj available  Max: n x m matrix. If Max [i,j] = k, then process Pi may request at most k instances of resource type Rj  Allocation: n x m matrix. If Allocation[i,j] = k then Pi is currently allocated k instances of Rj  Need: n x m matrix. If Need[i,j] = k, then Pi may need k more instances of Rj to complete its task Need [i,j] = Max[i,j] – Allocation [i,j] Let n = number of processes, and m = number of resources types. 35
  • 36. SAFETY ALGORITHM 1. Let Work and Finish be vectors of length m and n, respectively. Initialize: Work = Available Finish [i] = false for i = 0, 1, …, n- 1 2. Find an i such that both: (a) Finish [i] = false (b) Needi ≤ Work If no such i exists, go to step 4 3. Work = Work + Allocationi Finish[i] = true go to step 2 4. If Finish [i] == true for all i, then the system is in a safe state 36
  • 37. RESOURCE-REQUEST ALGORITHM FOR PROCESS PI Requesti = request vector for process Pi. If Requesti [j] = k then process Pi wants k instances of resource type Rj 1. If Requesti ≤ Needi go to step 2. Otherwise, raise error condition, since process has exceeded its maximum claim 2. If Requesti ≤ Available, go to step 3. Otherwise Pi must wait, since resources are not available 3. Pretend to allocate requested resources to Pi by modifying the state as follows: Available = Available – Requesti; Allocationi = Allocationi + Requesti; Needi = Needi – Requesti; If safe ⇒ the resources are allocated to Pi If unsafe ⇒ Pi must wait, and the old resource-allocation state is restored 37
  • 38. EXAMPLE OF BANKER’S ALGORITHM  5 processes P0 through P4; 3 resource types: A (10 instances), B (5instances), and C (7 instances)  Snapshot at time T0: Allocation Max Available A B C A B C A B C P0 0 1 0 7 5 3 3 3 2 P1 2 0 0 3 2 2 P2 3 0 2 9 0 2 P3 2 1 1 2 2 2 P4 0 0 2 4 3 3 38
  • 39. EXAMPLE (CONT.)  The content of the matrix Need is defined to be Max – Allocation Need A B C P0 7 4 3 P1 1 2 2 P2 6 0 0 P3 0 1 1 P4 4 3 1  The system is in a safe state since the sequence < P1, P3, P4, P2, P0> satisfies safety criteria 39
  • 40. EXAMPLE: P1 REQUEST (1,0,2)  Check that Request ≤ Available (that is, (1,0,2) ≤ (3,3,2) ⇒ true Allocation Need Available A B C A B C A B C P0 0 1 0 7 4 3 2 3 0 P1 3 0 2 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1  Executing safety algorithm shows that sequence < P1, P3, P4, P0, P2> satisfies safety requirement  Can request for (3,3,0) by P4 be granted?  Can request for (0,2,0) by P0 be granted? 40
  • 41. DEADLOCK DETECTION  Allow system to enter deadlock state  Detection algorithm  Recovery scheme 41
  • 42. SINGLE INSTANCE OF EACH RESOURCE TYPE  Maintain wait-for graph Nodes are processes Pi → Pj if Pi is waiting for Pj  Periodically invoke an algorithm that searches for a cycle in the graph. If there is a cycle, there exists a deadlock  An algorithm to detect a cycle in a graph requires an order of n2 operations, where n is the number of vertices in the graph 42
  • 43. RESOURCE-ALLOCATION GRAPH AND WAIT- FOR GRAPH Resource-Allocation Graph Corresponding wait-for graph 43
  • 44. SEVERAL INSTANCES OF A RESOURCE TYPE  Available: A vector of length m indicates the number of available resources of each type  Allocation: An n x m matrix defines the number of resources of each type currently allocated to each process  Request: An n x m matrix indicates the current request of each process. If Request [i][j] = k, then process Pi is requesting k more instances of resource type Rj. 44
  • 45. DETECTION ALGORITHM 1.Let Work and Finish be vectors of length m and n, respectively Initialize: (a) Work = Available (b)For i = 1,2, …, n, if Allocationi ≠ 0, then Finish[i] = false; otherwise, Finish[i] = true 2.Find an index i such that both: (a)Finish[i] == false (b)Requesti ≤ Work If no such i exists, go to step 4 45
  • 46. DETECTION ALGORITHM (CONT.) 3.Work = Work + Allocationi Finish[i] = true go to step 2 4.If Finish[i] == false, for some i, 1 ≤ i ≤ n, then the system is in deadlock state. Moreover, if Finish[i] == false, then Pi is deadlocked Algorithm requires an order of O(m x n2 ) operations to detect whether the system is in deadlocked state 46
  • 47. EXAMPLE OF DETECTION ALGORITHM  Five processes P0 through P4;three resource types A (7 instances), B (2 instances), and C (6 instances)  Snapshot at time T0: Allocation Request Available A B C A B C A B C P0 0 1 0 0 0 0 0 0 0 P1 2 0 0 2 0 2 P2 3 0 3 0 0 0 P3 2 1 1 1 0 0 P4 0 0 2 0 0 2  Sequence <P0, P2, P3, P1, P4> will result in Finish[i] = true for all i 47
  • 48. EXAMPLE (CONT.)  P2 requests an additional instance of type C Request A B C P0 0 0 0 P1 2 0 2 P2 0 0 1 P3 1 0 0 P4 0 0 2  State of system?  Can reclaim resources held by process P0, but insufficient resources to fulfill other processes; requests  Deadlock exists, consisting of processes P1, P2, P3, and P4 48
  • 49. DETECTION-ALGORITHM USAGE  When, and how often, to invoke depends on:  How often a deadlock is likely to occur?  How many processes will need to be rolled back?  one for each disjoint cycle  If detection algorithm is invoked arbitrarily, there may be many cycles in the resource graph and so we would not be able to tell which of the many deadlocked processes “caused” the deadlock. 49
  • 50. RECOVERY FROM DEADLOCK: PROCESS TERMINATION  Abort all deadlocked processes  Abort one process at a time until the deadlock cycle is eliminated  In which order should we choose to abort? 1. Priority of the process 2. How long process has computed, and how much longer to completion 3. Resources the process has used 4. Resources process needs to complete 5. How many processes will need to be terminated 6. Is process interactive or batch? 50
  • 51. RECOVERY FROM DEADLOCK: RESOURCE PREEMPTION  Selecting a victim – minimize cost  Rollback – return to some safe state, restart process for that state  Starvation – same process may always be picked as victim, include number of rollback in cost factor 51