Sistemas Operativos

MANEJO DE BLOQUEOS MUTUOS

Integrantes Natalia Ludea Andrea Novillo Keyner Abarca

PREVENCIN DE BLOQUEOS MUTUOS

Prevencin

De Bloqueos Mutuos

Todos los recursos del sistema se les asigna un nmero nico i slo si no est reteniendo un recurso con un nmero nico mayor que i. De manera similar, podemos utilizar el algoritmo de evitacin de bloqueos mutuos. Para controlar la apropiacin, se asigna un nmero de prioridad nico a cada proceso

Se utiliza los nmeros si un proceso Pi deber esperar a un proceso Pj Ejemplo podemos hacer que Pi espere a Pj si tiene una prioridad mayor que la de PJ en caso contrario se retrocede a Pi . Una dificulta con este esquema es la posibilidad de inanicin

El esquema espera morir

Se

basa en una tcnica no apropiativa. Cuando el proceso Pi solicita un recursos que actualmente est retenido por Pj a Pi se le permite esperar slo si tiene una marca de tiempo menor que Pj. En caso contrario Pi retrocede

El esquema herir esperar

Se

basa en un tcnica apropiativa es una contraparte del mtodo anterior. Cuando el proceso Pi solicita un recursoque actualmente esta retenido por Pj a Pi, se permite esperar slo si tiene una marca de tiempo mas grande que Pj. En caso contrario Pj retrocede

Diferencias
En el esquema espera-morir, un proceso ms antiguo debe esperar a que un proceso mas joven libere su recurso. Entre mas viejo se hace el proceso, ms tiende a esperar En el esquema herir-esperar, un proceso mas viejo, nunca espera a un mas joven

DETECCIN DE BLOQUEOS MUTUOS

Impide apropiacin de recursos innecesarios. Mediante un algoritmo de deteccin de bloqueos mutuos. Construye una grfica de espera que describa el estado de la asignacin de recursos. Un algoritmo para detectar un ciclo en una grfica requiere de n2 operaciones, donde n es el nmero de vrtices en la grfica. Cmo mantener la grfica en un sistema distribuido?

Cuando un proceso Pi en el sitio A necesita un recurso retenido por el proceso Pj en el sitio B, Pi enva un mensaje de solicitud al sitio B. La arista Pi->Pj se inserta entonces en la grfica de espera local del sitio B.

Si cualquier grfica de espera local tiene un ciclo, ha ocurrido un bloqueo mutuo. El hecho de que no haya ciclos en cualquiera de las grficas de espera locales no significa que no haya bloqueos mutuos. Para probar un bloqueo mutuo, debemos demostrar que la unin de las grficas locales es acclica. Existen diversos mtodos para organizar la grfica de espera en un sistema distribuido.

1.Enfoque Centralizado

Se construye una grfica de espera global: unin de las locales. Se mantiene en un proceso nico: el coordinador de deteccin de bloqueos mutuos. Grficas de espera: real y construida.

Para construir la grfica de espera:

Siempre que se inserte o remueva una nueva arista en una de las grficas locales. Peridicamente, cuando hayan ocurrido varios cambios en una grfica. Siempre que el coordinador necesite invocar al algoritmo de deteccin de ciclos.

Cuando se invoca al algoritmo de deteccin de bloqueos mutuos, el coordinador busca en su grfica global. Si encuentra un ciclo, se selecciona una vctima para su retroceso. El coordinador debe notificar a todos los sitios que se ha seleccionado un proceso particular como vctima. Pueden ocurrir retrocesos innecesarios, como resultado de 2 situaciones:
1. 2.

Ciclos falsos Ocurre Bloqueo mutuo y se ha escogido vctima, pero al mismo tiempo unos de los procesos fue abortado por otras razones.

Algoritmo centralizado para deteccin de bloqueos mutuos

Para evitar el reporte de bloqueos falsos, requerimos que las solicitudes de diferentes sitios se anexen con identificadores nicos o marcas de tiempo

1.

2.

3.

El controlador enva un mensaje de inicio a cada sitio en el sistema. Al recibir este mensaje, un sitio enva su grfica de espera local al coordinador. Cuando el controlador ha recibido una respuesta de cada sitio construye una grfica:
Vrtice para cada proceso 2. Arista-etiqueta TS
1.

2.Enfoque completamente distribuido

Todos los controladores comparten igualmente la responsabilidad de detectar Bloqueos Mutuos. Cada sitio constituye una grfica de espera que representa una parte de la grfica total, dependiendo del comportamiento dinmico del sistema