sistema operativos

Sistemas Operativos

30/04/2003

Departamento de Lenguajes y Ciencias de la
Computación Universidad de Málaga

Sistemas Operativos
TEMA 4:
Curso 2002/2003

E.T.S.I. Informática

Interbloqueo

Profesor:
Francisco Rus Mansilla

SISTEMAS OPERATIVOS

Tema 4:

Interbloqueo

http://www.lcc.uma.es/~rusman

Índice de contenidos
•
•
•
•
•

Introducción al interbloqueoRecursos
Condiciones para que se produzca el interbloqueo
Modelado del interbloqueo
Métodos para el tratamiento del interbloqueo
– Prevención
– Evitación
• Trayectoria de recursos
• Estados seguros

– Detección
– Recuperación
– Estrategia combinada para el manejo de interbloqueos

• Fuentes de información
Francisco Rus Mansilla
Departamento de Lenguajes y Ciencias de la Computación.Universidad de Málaga

Tema 4: Interbloqueo

2

1

30/04/2003

SISTEMAS OPERATIVOS

Tema 4:

Interbloqueo

Sistemas Operativos

Introducción

• La administración de los recursos es una de las
principales tareas del sistema operativo.
• Los sistemas operativos tienen que ofrecer
mecanismos que permitan a los procesos acceder
de forma exclusiva a este tipo de recursos.
•Cuando un proceso solicita ciertos recursos y
éstos no están disponibles en ese momento,
entra en un estado de espera.
• Requerir el acceso exclusivo no sólo a un
recurso, sino a varios.

Francisco Rus Mansilla
Departamento de Lenguajes y Ciencias de la Computación. Universidad de Málaga

SISTEMAS OPERATIVOS

Tema 4:

Interbloqueo

Introducción

Interbloqueo

• Deadlock
• Abrazomortal
• Bloqueo mutuo

Un conjunto de procesos se encuentra en estado de
interbloqueo cuando cada uno de ellos espera un
suceso que sólo puede originar otro proceso del
mismo conjunto

Francisco Rus Mansilla
Departamento de Lenguajes y Ciencias de la Computación. Universidad de Málaga

Tema 4: Interbloqueo

3

4

2

30/04/2003

SISTEMAS OPERATIVOS

Tema 4:

InterbloqueoSistemas Operativos

Recursos
• Un sistema se compone de un número finito de
recursos que se distribuyen entre varios procesos
que compiten por ellos.
– Físicos
– Lógicos

• Recursos
– expropiables
– no expropiables

• Modo de operación:
– Solicitud
– Utilización
– Liberación

Llamadas al sistema

SISTEMAS OPERATIVOS

Tema 4:

Interbloqueo

Francisco Rus MansillaDepartamento de Lenguajes y Ciencias de la Computación. Universidad de Málaga

Condiciones para que se produzca
interbloqueo
• Puede surgir si y sólo si en un sistema se
presentan simultáneamente las condiciones:

–
–
–
–

Exclusión mutua.
Retención y espera
No expropiación
Espera circular

• No son completamente independientes

Francisco Rus Mansilla
Departamento de Lenguajes yCiencias de la Computación. Universidad de Málaga

Tema 4: Interbloqueo

5

6

3

30/04/2003

SISTEMAS OPERATIVOS

Tema 4:

Interbloqueo

Sistemas Operativos

Modelado del interbloqueo
•

Los interbloqueos pueden describirse utilizando un grafo dirigido
y bipartito G(N,A) llamado grafo de asignación de recursos

•

que consta en un conjunto de N nodos (vértices) y E arcos.•

2 tipos de nodos

•

2 tipos de arcos

Procesos
Recursos

• Arco de solicitud. Es un arco que parte de un proceso Pi hacia un tipo de
recurso Rj y se representa por Pi → Rj (o (Pi, Rj)). Significa que el
proceso Pi solicitó una instancia del recurso Rj y se encuentra esperándolo.
• Arco de asignación. Es un arco que sale de un tipo de recurso Rj y se
dirige a un proceso Pi(representado por Rj → Pi o (Rj, Pi)). Significa
que se ha asignado un ejemplar del tipo de recurso Rj al proceso Pi.

SISTEMAS OPERATIVOS

Tema 4:

Interbloqueo

Francisco Rus Mansilla
Departamento de Lenguajes y Ciencias de la Computación. Universidad de Málaga

Modelado del interbloqueo
•

Gráficamente, se representa cada proceso con un círculo y cada
tipo de recurso con un...