Interbloqueo

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

Interbloqueo

E.T.S.I. Informática

Profesor: Francisco Rus Mansilla
http://www.lcc.uma.es/~rusman

Interbloqueo

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

SISTEMAS OPERATIVOS

Tema 4:

– 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álaga2

Tema 4: Interbloqueo

1

Sistemas Operativos

30/04/2003

Interbloqueo

Introducción

SISTEMAS OPERATIVOS

• 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 ciertosrecursos 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.

Tema 4:

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

3

Tema 4:

Interbloqueo

Introducción

Interbloqueo

• Deadlock • Abrazo mortal • Bloqueo mutuo

SISTEMAS OPERATIVOS

Unconjunto 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

4

Tema 4: Interbloqueo

2

Sistemas Operativos

30/04/2003

Interbloqueo

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

Tema 4:

SISTEMAS OPERATIVOS

• Recursos
– expropiables – no expropiables

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

Llamadas al sistema

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

5

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

Tema 4:

SISTEMAS OPERATIVOS

– – – –

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

• No son completamente independientes

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

Tema 4: Interbloqueo

3

Sistemas Operativos

30/04/2003

Interbloqueo

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 • Arco de solicitud. Es un arco que parte de un proceso Pihacia 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.

Tema 4:

ProcesosRecursos

SISTEMAS OPERATIVOS

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

7

Interbloqueo

Modelado del interbloqueo
• • • • Gráficamente, se representa cada proceso con un círculo y cada tipo de recurso con un rectángulo. Si de algún tipo de recurso existe más de un ejemplar, se representa cada uno con un punto dentro del...