Exclusión mutua de secciones criticas

el método de comunicación entre los procesos de un programa concurrente es el uso común de unas variables de datos. evita errores en el programa ya que el acceso concurrente puede hacer que la acción de un proceso interfiera en las acciones de otro.

SECCION CRITICA Las partes de los procesos concurrentes que no pueden ejecutarse de forma concurrente o, que desde otro proceso se ven como si fueran una única instrucción.

REQUISISTOS PARA LA EXCLUSION MUTUA     Debe tener permiso para entrar en ella.     No critica debe hacerlo sin interferir con los otros procesos.     No puede permitirse el interbloqueo.     Para entrar en ella debe hacerlo sin demora.     No se debe suponer sobre la velocidad o el numero de procesadores.     permanece en su sección critica por un tiempo finito.

ALGORITMO DE DEKKER ALGORITMO DE PETERSON Este método tiene la ventaja de ilustrar la mayoría de los errores habituales que se producen en la construcción de programas concurrentes. ALGORITMO DE PETERSON La variable global señal indica La posición de cada proceso con respecto a la exclusión mutua y la variable global turno resuelve los conflictos de simultaneidad.

SINCRONIZACION DE PROCESOS Sincronización: el uso de operaciones atómicas para asegurar la operación correcta de los procesos colaboradores.

Características de la sincronización Envío bloqueante, recepción bloqueante. El E y el R se bloquean hasta que se entrega el mensaje (Rendezvous). Envío no bloqueante, recepción bloqueante. El E puede continuar, pero R se bloquea hasta que llega el mensaje.

Sobre los procesos cooperantes: Pueden compartir espacios de direcciones o datos a través de un archivo. Problema a considerar: Como evitar la inconsistencia de los datos compartidos Como acceder a espacios critico de código compartido.

Alternativas de sincronización Semáforos Monitores Paso de mensajes

Sección crítica (definición) Sean un conjunto de procesos cooperantes. Cada proceso tiene un segmento de código en el cual puede modificar variables comunes, o un archivo, o una tabla. Llamamos sección crítica (SC) a ese segmento de código.

Exclusión mutua Cuando un proceso esta ejecutando ese segmento de código crítico, ningún otro proceso puede ejecutarlo. La ejecución de la sección crítica es mutuamente exclusiva en el tiempo.

Semáforos Sirve para solucionar el problema de la sección crítica. Sirve para solucionar problemas de sincronización.

Monitores Es una construcción de alto nivel para sincronización. Es mas fácil de controlar que los semáforos. Se implementan como biblioteca de programas.

Interacción por pase de mensajes Se implementa por las primitivas send y receive El proceso emisor (E, sender) envía información (mensaje) al receptor (R, receive)