Download Deadlock Resolution PDF

TitleDeadlock Resolution
LanguageEnglish
File Size1.4 MB
Total Pages41
Table of Contents
                            Introduction
Deadlock
The 7 Cases
Conditions
Modelling
Handling
summary
                        
Document Text Contents
Page 1

Operating Systems
Lecture #7: Deadlock Resolution

Written by David Goodwin
based on the lecture series of Dr. Dayou Li

and the book Understanding Operating Systems 4thed.
by I.M.Flynn and A.McIver McHoes (2006)

Department of Computer Science and Technology,
University of Bedfordshire.

Operating Systems, 2013

11th March 2013

Page 2

41

Lecture #7 Deadlock
Resolution

David Goodwin
University of
Bedfordshire

Introduction

Deadlock

The 7 Cases

Conditions

Modelling

Handling

summary

Operating Systems

Outline

1 Introduction

2 Deadlock

3 The 7 Cases

4 Conditions

5 Modelling

6 Handling

7 summary

Page 20

41

Lecture #7 Deadlock
Resolution

David Goodwin
University of
Bedfordshire

Introduction

Deadlock

The 7 Cases

Conditions

20Modelling

Handling

summary

Operating Systems

DEADLOCK MODELLING

� Graph
� Graph is a maths term and also a data structure which

contains a number of nodes linked with edges
� Directed graph has all its edges associated with arrows

representing information flow
� Directed graph used for deadlock modelling

� Circle: a type of node representing a process
� Rectangle: a type of node representing a resource
� Edge with arrow from a circle to a rectangle: the process

requesting the resource
� Edge with arrow from a rectangle to a circle: the process

holding the resource
� No connection: resource is released
� A cycle in a directed graph: deadlock

Page 21

deadlockgraph.eps


41

Lecture #7 Deadlock
Resolution

David Goodwin
University of
Bedfordshire

Introduction

Deadlock

The 7 Cases

Conditions

21Modelling

Handling

summary

Operating Systems

DEADLOCK MODELLING

Page 40

41

Lecture #7 Deadlock
Resolution

David Goodwin
University of
Bedfordshire

Introduction

Deadlock

The 7 Cases

Conditions

Modelling

Handling

40summary

Operating Systems

Exercise 1

� Exercise 1:
� Is there any deadlock in the following graph?

Page 41

41

Lecture #7 Deadlock
Resolution

David Goodwin
University of
Bedfordshire

Introduction

Deadlock

The 7 Cases

Conditions

Modelling

Handling

41summary

Operating Systems

Exercise 2

� Exercise 2:
� Is there any deadlock in the following graph?

Similer Documents