Exclusin mutua

Haga clic por hardware Solucinpara modificar el estilo de subttulo del patrn

4/28/12

Es la comunicacin requerida entre dos o ms procesos que se estn ejecutando en paralelo y que necesitan a la vez el uso de un recurso no compartible. Se asegura el correcto uso del recurso.

Concepto de exclusin mutua

4/28/12

Slo un proceso, de todos los que poseen secciones crticas por el mismo recurso compartido, debe tener permiso para entrar en ella en un momento dado. proceso que se interrumpe en una seccin no crtica debe hacerlo sin interferir con los otros procesos.

Un

proceso no debe poder solicitar acceso a una seccin crtica para despus ser demorado indefinidamente, no puede permitirse el 4/28/12 interbloqueo o inanicin. Requisitoslapara la exclusin

Un

Si ningn proceso est en su seccin crtica, cualquier proceso que solicite entrar en la suya debe poder hacerlo sin demora. se debe suponer sobre la velocidad relativa de los procesos o el nmero de procesadores. proceso permanece en su seccin crtica por un tiempo finito.

No

Un

Requisitos para la exclusin 4/28/12 mutua.

Interbloqueo.

Inanicin.

Hacer que se cumpla la exclusin mutua crea dos problemas de control adicionales. 4/28/12

Soluciones

software. hardware. aportadas por el Sistema

Soluciones

Soluciones

Operativo.

Hay tres tipos de solucin del problema de la exclusin mutua: 4/28/12

 Optimistas.

Consideran que lo ms probable es que no haya conflictos, y si los hay sea en nmero reducido, por lo que permiten cualquier acceso a la variable compartida. En caso de conflicto, mantienen la integridad del sistema descartando las actualizaciones.
Pesimistas.

Bloquean todo aquello que pueda interferir. Actualizan la variable. Desbloquean lo bloqueado al principio.

Las soluciones hardware se dividen en dos tipos:

4/28/12

Inhabilitacin de interrupciones
En

una mquina monoprocesador, la ejecucin de procesos concurrentes no puede superponerse; los procesos solo pueden intercalarse. Es ms, un proceso continuar ejecutndose hasta que solicite un servicio el sistema operativo o hasta que sea interrumpido. Por lo tanto, para garantizar la exclusin mutua, es suficiente con impedir que un proceso sea interrumpido. Esta capacidad por hardware Solucin puede ofrecerse en forma de primitivas definidas por el ncleo del sistema para habilitar o inhabilitar las interrupciones. 4/28/12

Instrucciones especiales de la mquina

En

configuraciones de multiprocesador, varios procesadores comparten el acceso a una memoria principal comn. En este caso, no hay una relacin maestro/esclavo, sino que los procesadores funcionan independientemente en una relacin de igualdad. No hay un mecanismo de interrupciones entre los procesadores en el que se pueda basar la exclusin mutua.

Solucin por hardware

4/28/12

 La

instruccin Comparar y Fijar (TS, Test and Set) puede definirse de la siguiente forma:

function TS (var i: entero): booleano; begin if i = 0 then begin i := I; TS := cierto; end else TS := falso end. Instruccin comparar y fijar.
4/28/12

 La

instruccin Intercambiar se puede definir como sigue:

procedure intercambiar (var r: registro; var m: memoria); var temp; begin temp := m; m := r; r := temp end.

Instruccin intercambiar.
4/28/12

Soporte de hardware para la 4/28/12 exclusin mutua.

El uso de instrucciones especiales de la mquina para hacer cumplir la exclusin mutua tiene varias ventajas:

Es aplicable a cualquier nmero de procesos en sistemas con memoria compartida, tanto de monoprocesador como de multiprocesador. Es simple y fcil de verificar. Puede usarse para disponer de varias secciones crticas

Propiedades de las soluciones con instrucciones de mquina.

4/28/12

Desventajas:
Se

emplea espera activa. producirse inanicin. producirse interbloqueo.

Puede

Puede

Propiedades de las soluciones con instrucciones de mquina.

4/28/12