Exelente

Antes de revisar los algorítmos mas clásicos de la programación concurrente, veamos algunos conceptos importantes:

Conceptos:

Sección Crítica
Semáforos
Monitores
Algorítmos:Escritores-Lectores
Consumidores-Productores
Los cinco filósofos
Conceptos

1.Sección Crítica

Sección crítica (SC) es el trozo de código que provoca la condición de competencia por una variable entredos mas procesos.

El problema de la sección crítica

Modelo: n procesos, { P0, P1, ... , Pn-1}, cada uno de los cuales tiene un trozo de código llamado sección crítica, en el que accesavariables, o en general, recursos compartidos. El problema de la sección crítica consiste en encontrar un mecanismo o protocolo que permita que los procesos cooperen de manera tal que se cumplan lassiguientes condiciones:

Exclusión mutua. La ejecución de las respectivas secciones críticas es mutuamente exclusiva, es decir, nunca hay más de un proceso ejecutando su sección crítica.
Ausencia depostergación innecesaria. Si un proceso quiere entrar en su sección crítica, entonces podrá hacerlo si todos los demás procesos están ejecutando sus secciones no-críticas.
Entrada garantizada (ausencia deinanición). Si un proceso quiere entrar a la sección crítica, entonces (algún día) entrará.
Solicitud de ingreso a la SC:

· Si Pi quiere ingresar a su SC envía el mensaje REQUEST(TSi,i) a todos losprocesos en Ri y coloca la solicitud en Request_Queuei.(TSi,i) corresponde a la marca de tiempo de la solicitud

· Cuando un proceso Pj recibe mensaje REQUEST(TSi, i) desde Pi responde enviando aPi un mensaje REPLY con un TS y pone REQUEST(TSi,i)en Request_Queuej

Ejecución de la SC:

El proceso Pi ingresa a la SC si se cumple que:

· Pi ha recibido un mensaje con marca de tiempo mayorque (TSi,i)de todos los procesos

· La solicitud de Pi está de primero en Request_Queuei

Liberación de la SC:

· Al salir Pi de la SC remueve su solicitud de Request_Queuei y envia un mensaje...