BLOQUEOS MUTUOS SISTEMAS OPERATIVOS

BLOQUEOS MUTUOS El bloqueo mutuo (también conocido como interbloqueo, traba mortal, deadlock, abrazo mortal) es el bloqueo permanente de un conjunto de procesos o hilos de ejecución en un sistema concurrente que compiten por recursos del sistema o bien se comunican entre ellos. A diferencia de otros problemas de concurrencia de procesos, no existe una solución general para los interbloqueos

El bloqueo mutuo (también conocido como interbloqueo, traba mortal, deadlock, abrazo mortal) es el bloqueo permanente de un conjunto de procesos o hilos de ejecución en un sistema concurrente que compiten por recursos del sistema o bien se comunican entre ellos. A diferencia de otros problemas de concurrencia de procesos, no existe una solución general para los interbloqueos

BLOQUEOS MUTUOS Un sistema consta de un número finito de recursos que serán distribuidos entre los procesos que compiten por ellos. Un proceso debe solicitar un recurso antes de usarlo y liberarlo después de usarlo. Un proceso puede requerir tantos recursos como requiera necesario para llevar a cabo su tarea asignada

Un sistema consta de un número finito de recursos que serán distribuidos entre los procesos que compiten por ellos.

Un proceso debe solicitar un recurso antes de usarlo y liberarlo después de usarlo.

Un proceso puede requerir tantos recursos como requiera necesario para llevar a cabo su tarea asignada

BLOQUEOS MUTUOS Operación de un proceso: Solicitud Uso Liberación

Operación de un proceso:

Solicitud

Uso

Liberación

BLOQUEOS MUTUOS CONDICIONES NECESARIAS Situaciones para un bloqueo mutuo Exclusión mutua: Solamente un proceso podrá utilizar el recurso. Retención y espera: Un proceso deberá estar retenido en al menos un recurso. No apropiación: Liberar el recurso cuando la tarea del proceso haya terminado. Espera circular: Debe existir un conjunto de procesos en espera de un recurso que está retenido por el siguiente proceso y este a su vez esta en espera de un recurso que está retenido por su siguiente proceso.

CONDICIONES NECESARIAS

Situaciones para un bloqueo mutuo

Exclusión mutua: Solamente un proceso podrá utilizar el recurso.

Retención y espera: Un proceso deberá estar retenido en al menos un recurso.

No apropiación: Liberar el recurso cuando la tarea del proceso haya terminado.

Espera circular: Debe existir un conjunto de procesos en espera de un recurso que está retenido por el siguiente proceso y este a su vez esta en espera de un recurso que está retenido por su siguiente proceso.

BLOQUEOS MUTUOS Representación de la asignación de recursos Ejemplo de representación de Bloqueo Mutuo en grafos de asignación de recursos con dos procesos A y B , y dos recursos R1 y R2 .

Representación de la asignación de recursos

Ejemplo de representación de Bloqueo Mutuo en grafos de asignación de recursos con dos procesos A y B , y dos recursos R1 y R2 .

BLOQUEOS MUTUOS MÉTODOS PARA EL MANEJO Usar un protocolo de aseguramiento del sistema a entrar a un estado de bloqueo mutuo Permitir la entrada a un estado de bloqueo mutuo y luego hacer una recuperación Ignorar el problema, (creer que nunca ocurrirán)

MÉTODOS PARA EL MANEJO

Usar un protocolo de aseguramiento del sistema a entrar a un estado de bloqueo mutuo

Permitir la entrada a un estado de bloqueo mutuo y luego hacer una recuperación

Ignorar el problema, (creer que nunca ocurrirán)

BLOQUEOS MUTUOS PREVENCIÓN Exclusión mutua Retener y esperar No apropiación Espera circular

PREVENCIÓN

Exclusión mutua

Retener y esperar

No apropiación

Espera circular

BLOQUEOS MUTUOS EVITANDO… Los bloqueos mutuos pueden ser evitados si se sabe cierta información sobre los procesos antes de la asignación de recursos. Para cada petición de recursos, el sistema controla si satisfaciendo el pedido entra en un estado inseguro, donde puede producirse un bloqueo mutuo. De esta forma, el sistema satisface los pedidos de recursos solamente si se asegura que quedará en un estado seguro. Para que el sistema sea capaz de decidir si el siguiente estado será seguro o inseguro, debe saber por adelantado y en cualquier momento el número y tipo de todos los recursos en existencia, disponibles y requeridos. Existen varios algoritmos para evitar bloqueos mutuos: Algoritmo del banquero , introducido por Dijkstra . Algoritmo de grafo de asignación de recursos. Algoritmo de Seguridad. Algoritmo de solicitud de recursos.

EVITANDO…

Los bloqueos mutuos pueden ser evitados si se sabe cierta información sobre los procesos antes de la asignación de recursos. Para cada petición de recursos, el sistema controla si satisfaciendo el pedido entra en un estado inseguro, donde puede producirse un bloqueo mutuo. De esta forma, el sistema satisface los pedidos de recursos solamente si se asegura que quedará en un estado seguro. Para que el sistema sea capaz de decidir si el siguiente estado será seguro o inseguro, debe saber por adelantado y en cualquier momento el número y tipo de todos los recursos en existencia, disponibles y requeridos. Existen varios algoritmos para evitar bloqueos mutuos:

Algoritmo del banquero , introducido por Dijkstra .

Algoritmo de grafo de asignación de recursos.

Algoritmo de Seguridad.

Algoritmo de solicitud de recursos.