Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS

OS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

Sistemas Distribuidos
Estado global y registro instantneo de algoritmos a

Yamilet de los A. salvador Hernandez Adriana Cuj Cervera Marvin Amadeo Salazar Villamayor

July 12, 2011

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

Introduccin o
Registrar el estado global de un sistema distribuido en el instante es un paradigma importante. La falta de memoria global compartida, reloj global y un mensaje impredecible retrasa en un sistema distribuido hacer este problema no insignicante. Los primeros capitulos denen los estados globales consistentes y se hablo deemisiones acerda de direcciones de computo instantaneo de consistencias distribuidas. Entonces varios algoritmos a decidir en el instante de este tipo de instantaneas es por ahora de varios tipos de redes.

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

MODELO DE SISTEMA
El sistema consiste de una coleccion de n procesos p1, p2,...,pn que estan conectados por canales. alli no esta compartida la memoria global y el reloj gobal sico y comunicar procesos por paso de mensajes atraves de canales de comunicacion.

Cij denotan el canal de los procesos pi el proceso pj yelestadoesdenotadoporSCij .lasaccionesseejecutanporunprocesoquee eventosinternos, eleventodeenviodemensajesyeleventoderecibodemens

de un mensaje mij esteesenviadoporelprocesopi alprocesopj , permiteelenvio(mij )yrecibir (mi

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

en cualquier instante, el estado del proceso pi, denotado por LSi , esunresultadodelasecuenciadeeventosejecutadosporpihastaaquelin de un evento e u un estado de proceso LSi,LSi si e no esta en la / secuencia de eventos va tomando procesos pi al estado LSi.

de un canal Cij , lasiguienteseriedemensajespuedeserdenidabajoelestadolocaldeprocesos transicion: transicion(LSi , LSj )=mij |envia(mij ) LSi rec(mij )LSi /

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

MODELOS DE COMUNICACION
Recordando,hay tres modelos de comunicacion: FIFO, non-FIFO, y Co. En el modelo FIFO, cada canal actua como un primer-dentro, primer-fuera cola de mensaje y de esta manera, ordenando el mensaje is preservado por un canal. en el modelo non-FIFO, un canal actua como una serie en aquellos procesos remitentes aadiendo mensajes y el proceso n receptor elimina mensajes de orden aleatorio. un sistema sostiene una entrega de mensajes que satisfacen la siguiente propiedad: de cualquiera de dos mensajes mij ymkj , sienvia(mij ) envia(mkj ), entoncesrec(mkj ) rec(mkj ).
Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

ESTADO GLOBAL CONSISTENTE

El estado global de un sistema distribuido es una coleccion de los estados locales de los procesos y los canales. anotacion, el estado global GS es denido de esta manera: GS={i LSi ,i ,j SCij }

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES

Cortes en un diagrama de spacetime proporcionan una ayuda graca poderosa en representacion y razonamiento sobre los estados globales de una computadora. Un corte es una linea uniendo un punto arbitrario en cada linea de proceso que rebana el diagrama de spacetime en un PAST y un FUTURE.

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

Un estado global consistente corresponde a un cut in que cada mensaje recibido en el PAST del corte haya sido enviado en el PAST de ese corte. Tal un corte es conocido como un corte consistente. Todos los mensajes que cruzan el corte de el PAST al FUTURE se capturan en el estado correspondiente de canal. Por ejemplo, considere el diagrama de spacetime para la computacin ilustrado en la gura 4.2. o

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

ASUNTOS AL REGISTRAR UN ESTADO GLOBAL

Si un reloj f sico global estaba disponible, el procedimiento simple siguiente pueda estar acostumbrado a registrar una instantnea global consistente de un sistema distribuido. a En esto, el iniciador de la coleccin de instantnea decide un o a tiempo futuro a que la instantnea se toma y emite esta vez a a cada proceso. Todos los procesos toman sus instantneas locales a ese a instante en el tiempo global.

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

Claramente, si los canales no son FIFO, un plan de deteccin o de terminacin ser necesario para determine cuando para o a parar de esperar para mensajes en los canales. Sin embargo, un reloj f sico global no es disponible en un sistema distribuido y los dos asuntos siguientes necesitan ser dirigidos en la grabacin de un consistente la instantnea o a global de un sistema distribuido. I1: Cmo distinguir entre los mensajes para registrarse en la o instantnea ( o en un estado de canal o un proceso manieste a ) de esos no para registrarse. La respuesta a que esto venga de condiciona C1 y C2 como sigue:

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

Cualquier mensaje se se envia por un proceso antes de e registrar su instantnea, se deba registrar en la instantnea a a global (de C1). Cualquier mensaje se se envia por un proceso despus de e e registrar su instantnea, debe no registre se en la instantnea a a global (de C2). I2: Cmo determinar en el mismo momento en que cuando un o proceso toma su instantnea. La respuesta para esto viene de a C2 de condicin como sigue: o un pj de proceso debe registrar su instantnea antes de a procesar un mij de mensaje eso se enviaba por pi de proceso despus de registrar su instantnea. e a

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

EL ALGORITMO DE CHANDY-LAMPORT
El algoritmo de Lamport de The Chandy usa un mensaje de control, llamado marcador. El papel de marcadores en un sistema FIFO es actuar como delimitadores para los mensajes en los canales. Los procesos mltiples pueden iniciar el algoritmo u concurrentemente.Cada iniciacin necesita ser distinguidos por o un marcador unico. Este es el algoritmo: El marcador enviando la regla para el pi de proceso (1) Procese el pi registra su estado.

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

(2) Para cada salida acanale c en que un marcador no haya sido enviado, empastele envia un marcador a lo largo de la c antes del pi envia los mensajes adicionales a lo largo de C. La regla receptora del marcador para el pj de proceso En recibir un marcador a lo largo de acanalar c: si el pj no ha registrado su estado entonces Registre el estado de la c como el conjunto vac o Ejecute el marker enviando rule

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

original Marker sending rule for process pi (1) Process pi records its state. (2) For each outgoing channel C on which a marker has not been sent, pi sends a marker along C before pi sends further messages along C. Marker receiving rule for process pj On receiving a marker along channel C: if pj has not recorded its state then Record the state of C as the empty set Execute the marker sending rule else Record the state of C as the set of messages received along C after pj ,s state was recorded and before pj received the marker along C
Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

CORRECCION Para probar la correccin del algoritmo, o mostramos que una instantnea registrada satisfaga C1 y C2 a de condiciones. Desde un proceso registra su instantnea a cuando reciba el primer marcador en cualquier canal entrante, ningunos mensajes que siguen marcadores en los canales la entrada a ello se registra en el proceso la instantnea de s. a Adems, un proceso para de registrar el estado de un canal a entrante cundo un marcador es recibido en ese canal. a COMPLEJIDAD La parte de grabacin de un caso sencillo del o algoritmo requiere de e o envio de mensajes y de d o de tiempo, donde la e es el nmero de introduccion en la red y d u es el dimetro de la red. a

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos

Introduccin o MODELO DE SISTEMA Y DEFINICIONES INTERPRETACION DESDE EL PUNTO DE VISTA DE LOS CORTES ASUNTOS AL REGISTRAR UN ESTADO GLOBAL LOS ALGORITMOS INSTANTANEOS PARA CANALES FIFO PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

PROPIEDADES DEL REGISTRO DEL ESTADO GLOBAL

El registro del estado global no puede corresponder a cualquiera de los estados globales, esto sucede durante el calculo.

Yamilet de los A. salvador HernandezAdriana Cuj CerveraMarvin Amadeo Salazar Villamayor Sistemas Distribuidos