Sistemas Operativos MANEJO DE BLOQUEOS MUTUOS Integrantes Natalia Ludeña Andrea Novillo Keyner Abarca

MANEJO DE BLOQUEOS MUTUOS

Integrantes

Natalia Ludeña

Andrea Novillo

Keyner Abarca

PREVENCIÓN DE BLOQUEOS MUTUOS

Prevención De Bloqueos Mutuos Todos los recursos del sistema se les asigna un número único i sólo si no está reteniendo un recurso con un número único mayor que i. De manera similar, podemos utilizar el algoritmo de evitación de bloqueos mutuos. Para controlar la apropiación, se asigna un número de prioridad único a cada proceso

Prevención De Bloqueos Mutuos

Todos los recursos del sistema se les asigna un número único i sólo si no está reteniendo un recurso con un número único mayor que i. De manera similar, podemos utilizar el algoritmo de evitación de bloqueos mutuos.

Para controlar la apropiación, se asigna un número de prioridad único a cada proceso

Se utiliza los números si un proceso P i deberá esperar a un proceso P j 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 inanición

Se utiliza los números si un proceso P i deberá esperar a un proceso P j

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 inanición

El esquema espera – morir Se basa en una técnica no apropiativa. Cuando el proceso Pi solicita un recursos que actualmente está retenido por Pj a Pi se le permite esperar sólo si tiene una marca de tiempo menor que Pj. En caso contrario Pi retrocede

Se basa en una técnica no apropiativa.

Cuando el proceso Pi solicita un recursos que actualmente está retenido por Pj a Pi se le permite esperar sólo si tiene una marca de tiempo menor que Pj. En caso contrario Pi retrocede

El esquema herir – esperar Se basa en un técnica apropiativa es una contraparte del método anterior. Cuando el proceso Pi solicita un recursoque actualmente esta retenido por Pj a Pi, se permite esperar sólo si tiene una marca de tiempo mas grande que Pj. En caso contrario Pj retrocede

Se basa en un técnica apropiativa es una contraparte del método anterior. Cuando el proceso Pi solicita un recursoque actualmente esta retenido por Pj a Pi, se permite esperar sólo si tiene una marca de tiempo mas grande que Pj. En caso contrario Pj retrocede

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

En el esquema espera-morir, un proceso más antiguo debe esperar a que un proceso mas joven libere su recurso. Entre mas viejo se hace el proceso, más tiende a esperar

En el esquema herir-esperar, un proceso mas viejo, nunca espera a un mas joven

DETECCIÓN DE BLOQUEOS MUTUOS

Impide apropiación de recursos innecesarios. Mediante un algoritmo de detección de bloqueos mutuos. Construye una gráfica de espera que describa el estado de la asignación de recursos. Un algoritmo para detectar un ciclo en una gráfica requiere de n 2 operaciones, donde n es el número de vértices en la gráfica. ¿Cómo mantener la gráfica en un sistema distribuido?

Impide apropiación de recursos innecesarios.

Mediante un algoritmo de detección de bloqueos mutuos.

Construye una gráfica de espera que describa el estado de la asignación de recursos.

Un algoritmo para detectar un ciclo en una gráfica requiere de n 2 operaciones, donde n es el número de vértices en la gráfica.

¿Cómo mantener la gráfica 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 envía un mensaje de solicitud al sitio B. La arista Pi->Pj se inserta entonces en la gráfica de espera local del sitio B.

Cuando un proceso Pi en el sitio A necesita un recurso retenido por el proceso Pj en el sitio B, Pi envía un mensaje de solicitud al sitio B.

La arista Pi->Pj se inserta entonces en la gráfica de espera local del sitio B.

Si cualquier gráfica de espera local tiene un ciclo, ha ocurrido un bloqueo mutuo. El hecho de que no haya ciclos en cualquiera de las gráficas de espera locales no significa que no haya bloqueos mutuos. Para probar un bloqueo mutuo, debemos demostrar que la unión de las gráficas locales es acíclica. Existen diversos métodos para organizar la gráfica de espera en un sistema distribuido.

Si cualquier gráfica de espera local tiene un ciclo, ha ocurrido un bloqueo mutuo.

El hecho de que no haya ciclos en cualquiera de las gráficas de espera locales no significa que no haya bloqueos mutuos.

Para probar un bloqueo mutuo, debemos demostrar que la unión de las gráficas locales es acíclica.

Existen diversos métodos para organizar la gráfica de espera en un sistema distribuido.

1.Enfoque Centralizado

Se construye una gráfica de espera global: unión de las locales. Se mantiene en un proceso único: el coordinador de detección de bloqueos mutuos. Gráficas de espera: real y construida.

Se construye una gráfica de espera global: unión de las locales.

Se mantiene en un proceso único: el coordinador de detección de bloqueos mutuos.

Gráficas de espera: real y construida.

Para construir la gráfica de espera: Siempre que se inserte o remueva una nueva arista en una de las gráficas locales. Periódicamente, cuando hayan ocurrido varios cambios en una gráfica. Siempre que el coordinador necesite invocar al algoritmo de detección de ciclos.

Siempre que se inserte o remueva una nueva arista en una de las gráficas locales.

Periódicamente, cuando hayan ocurrido varios cambios en una gráfica.

Siempre que el coordinador necesite invocar al algoritmo de detección de ciclos.

Cuando se invoca al algoritmo de detección de bloqueos mutuos, el coordinador busca en su gráfica global. Si encuentra un ciclo, se selecciona una víctima para su retroceso. El coordinador debe notificar a todos los sitios que se ha seleccionado un proceso particular como víctima. Pueden ocurrir retrocesos innecesarios, como resultado de 2 situaciones: Ciclos falsos Ocurre Bloqueo mutuo y se ha escogido víctima, pero al mismo tiempo unos de los procesos fue abortado por otras razones.

Cuando se invoca al algoritmo de detección de bloqueos mutuos, el coordinador busca en su gráfica global. Si encuentra un ciclo, se selecciona una víctima para su retroceso. El coordinador debe notificar a todos los sitios que se ha seleccionado un proceso particular como víctima.

Pueden ocurrir retrocesos innecesarios, como resultado de 2 situaciones:

Ciclos falsos

Ocurre Bloqueo mutuo y se ha escogido víctima, pero al mismo tiempo unos de los procesos fue abortado por otras razones.

Algoritmo centralizado para detección 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

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

El controlador envía un mensaje de inicio a cada sitio en el sistema. Al recibir este mensaje, un sitio envía su gráfica de espera local al coordinador. Cuando el controlador ha recibido una respuesta de cada sitio construye una gráfica: Vértice para cada proceso Arista-etiqueta TS

El controlador envía un mensaje de inicio a cada sitio en el sistema.

Al recibir este mensaje, un sitio envía su gráfica de espera local al coordinador.

Cuando el controlador ha recibido una respuesta de cada sitio construye una gráfica:

Vértice para cada proceso

Arista-etiqueta TS

2.Enfoque completamente distribuido

2.Enfoque completamente distribuido

Todos los controladores comparten igualmente la responsabilidad de detectar Bloqueos Mutuos. Cada sitio constituye una gráfica de espera que representa una parte de la gráfica total, dependiendo del comportamiento dinámico del sistema

Todos los controladores comparten igualmente la responsabilidad de detectar Bloqueos Mutuos.

Cada sitio constituye una gráfica de espera que representa una parte de la gráfica total, dependiendo del comportamiento dinámico del sistema