Académique Documents
Professionnel Documents
Culture Documents
Exclusin Mutua
Seguridad
Viveza
Orden
Algoritmo de Lamport
La forma ms simple de presentar un sistema distribuido la present Lamport en 1978,
y se basa en la utilizacin de un proceso servidor como coordinador de la regin
crtica.
Siempre que un proceso
cliente P2 quiera entrar en la
regin crtica, enva un
mensaje de solicitud al
coordinador, indicndole la
regin crtica en la que desea
entrar.
Si ningn otro proceso est en ese momento dentro de la regin crtica, el coordinador
enva una respuesta otorgando el permiso.
Cuando le llega la respuesta al proceso solicitante, entra en la regin crtica. Cuando P2
sale de la regin crtica, se lo comunica al coordinador para liberar su acceso exclusivo.
Es fcil ver que este algoritmo cumple las tres reglas de exclusin mutua:
1) No hay ms de un proceso en un momento dado;
2) No hay inanicin, pues cuando un proceso sale entra otro (si est esperando), y
3) La concesin de permisos de acceso se realiza por orden.
Este algoritmo consigue su cometido con tres mensajes:
1. Solicitud
2. Concesin y
3. Liberacin
y puede utilizarse para cualquier poltica de asignacin de recursos.
Referencias
http://www.slideshare.net/andalmi/estructura-de-los-sistemas-operativos
http://www.sc.ehu.es/acwlaalm/sdi/introduccion-slides.pdf
http://www.sc.ehu.es/acwlaalm/sdi/1-Introduccion.pdf
http://www.sc.ehu.es/acwlaalm/sdi/tiempo-slides.pdf