Condiciones de carrera de procesos

Exclusion Mutua Deadlock Starvation
Unidad 2

Exclusion Mutua

La exclusion mutua es en muchas formas el tema fundamental de la concurrencia. Es un requerimiento a la hora de que un proceso Pbloquee un recurso R, ningun otro proceso debe accesar dicho recurso hasta que P termine de utilizarlo.

Tres enfoques para implementar la exclusion mutua
Dejar la responsabilidad a los propiosprocesos; esta es la base de la mayoria de los enfoques de software. Este enfoque tiende a tener muchos errores y causa un uso excesivo de recursos.

cont...
Permitir acceso a recursos compartidospor medio de instrucciones de maquina de funciones especializadas. (p.e. Enfoque de Hardware) Estos enfoques son mas rapidos pero aun no pueden garantizar una solucion completa a los problemas como elDeadlock y el Starvation.

cont...
Proveen soporte por medio del sistema operativo o del lenguaje de programacion. Dentro de esta categoria podemos incluir tres subcategorias: Semaforos MonitoresEnvio de Mensajes

Pregunta.

¿Porque el resultado no siempre es el mismo?

Deadlock
Se define como el bloqueo permanente de un grupo de procesos que, una de dos, compite por utilizar recursosglobales o se comunica entre ellos. Ocurre cuando cada proceso esta bloqueado esperando a que ocurra un evento que solo puede ser disparado por otro proceso que a su vez se encuentra bloqueado, que asu vez necesita que el primer proceso desocupe su recurso.

Condiciones para un Deadlock
Exclusion Mutua: Solo un proceso puede utilizar un recurso en un tiempo determinado. Detener y Esperar: Unproceso retiene un recurso mientras espera a que se libere otro. No Interrupcion: Ningun proceso puede ser forzado a liberar un recurso,

Condiciones para un Deadlock
Para que un deadlock ocurra,por fuerza se debe cumplir la siguiente condicion. Espera Circular: Una cadena cerrada de procesos existe, para que cada proceso se encuentre bloqueado esperando a un recurso que es retenido por...