Soluciones software para la exclusin mutua

Concepto
Es un programa que tiene mas de una lnea lgica de ejecucin, es decir, es un programa que parece que varias partes del mismo se ejecutan simultneamente.

Caractersticas
Indeterminismo: De esta forma si se ejecuta un programa concurrente varias veces pude producir resultados diferentes partiendo de los mismos datos. Interaccin entre procesos: - Los procesos que comparten recursos y compiten por el acceso a los mismos. - Los procesos que se comunican entre si intercambiar datos. para

EXCLUSIN MUTUA: SOLUCIONES POR SOFTWARE

Pueden implementarse soluciones de software para los procesos concurrentes que se ejecuten en mquinas monoprocesador o multiprocesador con memoria principal compartida.

En un sistema monoprocesador La forma de sincronizar y comunicar procesos ser pues mediante el uso de variables compartidas.

Un sistema multiprocesador
Es aquel en el que existe ms de un procesador. Esto permite que exista un paralelismo real entre los procesos ya que idealmente cada procesador podra ejecutar un proceso. Siendo realistas, lo normal en un sistema concurrente es tener ms procesos que procesadores.

Dentro de los sistemas multiprocesadores

Sistemas fuertemente acoplados: tanto los procesadores como otros dispositivos (incluida la memoria) estn conectados a un bus. Comparten las misma memoria

Sistema multiprocesador con memoria compartida

Sistemas dbilmente acoplados

Aqu no existe una memoria compartida por los procesadores. Cada procesador tiene su propia memoria local y est conectado con otros procesadores mediante algn tipo de enlace de comunicacin.
Formados por un conjunto de nodos distribuidos geogrficamente El sistema distribuido es el internet

Ejemplos
Este es un algoritmo garantiza la exclusin mutua. Si dos procesos con distinto ritmo de ejecucin, compiten por la regin crtica se adoptara el ritmo del proceso mas lento. El otro problema viene dado por que si un proceso falla tanto dentro como fuera de su seccin crtica, el otro proceso queda bloqueado indefinidamente.

Si un proceso se cae fuera de su regin crtica, afecta al funcionamiento del otro proceso?. S, ya que la variable turno se queda a 1 y el otro proceso nunca tendra la condicin para ejecutar su seccin crtica. Esto ocurre aunque el proceso1 haya logrado cambiar turno a 0, porque una vez que el proceso 0 ejecuta y cambia turno a 1, no encuentra respuesta en el otro proceso.