Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as.

First Section
Subsection Example

Memoria compartida distribuida

Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as.
Instituto Tecnol ogico Superior de los R os

Second Section

February 20, 2014

Introducci on
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

La memoria compartida distribuida (DSM) es una abstracci on utilizada para compartir datos entre computadores que no comparten memoria f sica. La principal caracter stica de DSM es que ahorra al programador todo lo concerniente al paso de mensajes al escribir sus aplicaciones. Es una herramienta para aplicaciones ya sean paralelas o aplicaciones distribuidas; en la que se puede acceder directamente a datos individuales que ellas comparten.

Second Section

Memoria compartida distribuida

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Second Section

Figure: Abstracci on de la memoria compartida distribuida.

DSM frente a paso de mensajes.

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Como mecanismo de comunicaci on, DSM es comparable con los sistemas de paso de mensaje en lugar de con la comunicaci on basada en peticiones y respuestas. Los sistemas de programaci on DSM y de paso de mensaje pueden compararse de la siguiente forma:

Second Section

DSM frente a paso de mensajes.

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Modelo de programaci on: En el modelo de paso de mensaje, las variables deben empaquetarse desde un cierto proceso, transmite y desempaquetarse sobre variable en el proceso receptor. Con memoria compartida, los procesos involucrados comparten directamente las variables de forma que el empaquetamiento no es necesario y por lo tanto no son necesarias operaciones de comunicaci on separadas.

Second Section

Arquictura DSM
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Existen varias formas de implantar f sicamente memoria compartida distribuida, a continuaci on se describen cada una de ellas. Memoria basada en circuitos: Existe una u nica area de memoria y cada micro tiene su propio bus de datos y direcciones (en caso de no tenerlo se vuelve un esquema centralizado) DSM basada en bus: En este esquema los micros comparten un bus de datos y direcciones por lo que es m as barato de implementar, se necesita tener una memoria cach e grande y sumamente r apida.

Second Section

Arquitectura DSM
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

MCD basada en anillos: Es m as tolerante a fallos, no hay coordinador central y se privilegia el uso de la memoria m as cercana MCD basada en conmutador: Varios micros se conectan entre s en forma de bus formando un grupo, los grupos est an interconectados entre s a trav es de un conmutador.

Second Section

Modelos de consistencia
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

La duplicidad de los bloques compartidos aumenta el rendimiento, pero produce un problema de consistencia entre las diferentes copias de la p agina en caso de una escritura. Si con cada escritura es necesario actualizar todas las copias, el env o de las p aginas por la red provoca que el tiempo de espera aumente demasiado, convirtiendo este m etodo en impracticable. Para solucionar este problema se proponen diferentes modelos de consistencia.

Second Section

Modelo de consistencia.
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Consistencia Estricta. El modelo de consistencia m as restrictivo es llamado consistencia estricta y es denido por la siguiente condici on: Cualquier lectura sobre un item de dato x retorna un valor correspondiente con la m as reciente escritura sobre x. Consistencia Causal: Es un debilitamiento de la consistencia secuencial. Se hace una diferenciaci on entre eventos que est an potencialmente relacionados en forma causal y aquellos que no. Las operaciones que no est an causalmente relacionadas se dicen concurrentes.

Second Section

Modelo de consistencia
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

La condici on a cumplir para que unos datos sean causalmente consistentes es: Escrituras que est an potencialmente relacionadas en forma causal deben ser vistas por todos los procesos en el mismo orden. Escrituras concurrentes pueden ser vistas en un orden diferente sobre diferentes m aquinas.

Second Section

Modelo de consistencia
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Consistencia D ebil Los accesos a variables de sincronizaci on asociadas con los datos almacenados son secuencialmente consistentes. Propiedades. No se permite operaci on sobre una variable de sincronizaci on hasta que todas las escrituras previas de hayan completado.

Second Section

Modelo de consistencia
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Consistencia liberaci on (Rel ease) se basa en el supuesto de que los accesos a variables compartidas se protegen en secciones cr ticas empleando primitivas de sincronizaci on, como por ejemplo locks.

Second Section

DSM en base a paginas

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

El esquema de DSM propone un espacio de direcciones de memoria virtual que integra la memoria de todas las computadoras del sistema, y su uso se realiza mediante paginaci on. Las p aginas quedan restringidas a estar necesariamente en un u nico nodo.

Second Section

Dise no Replica Granularidad Consistencia, propietario y copias

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

El sistema operativo, y en el caso del protocolo de consistencia de entrada, por acciones de sincronizaci on expl citas dentro del c odigo del usuario. El hecho que la especicaci on se encuentre dispersa diculta tanto la incorporaci on de nuevos protocolos de consistencia como la modicaci on de los ya existentes, debido a que los componentes tienen adem as de su funcionalidad b asica responsabilidades que no les corresponden.

Second Section

Figure: Ejemplo de replica

Dise no Replica Granularidad Consistencia, propietario y copias

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Hay dos razones principales para la replicaci on de datos: Conabilidad Continuidad de trabajo ante ca da de la r eplica, mayor cantidad de copias mejor protecci on contra la corrupci on de datos. Rendimiento El SD escala en n umero Escala en area geogr aca (disminuye el tiempo de acceso al dato) Consulta simult anea de los mismos datos.

Second Section

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Granularidad Se reere a la especicidad a la que se dene un nivel de detalle en una tabla, es decir, si hablamos de una jerarqu aa la granularidad empieza por la parte m as alta de la jerarqu a, siendo la granularidad m nima, el nivel m as bajo.

Second Section

References
Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

John Smith (2012) Title of the publication Journal Name 12(3), 45 678. George Coulouris, Jea Dollimore, Tim Kindberg (2010) Sistemas Distribuidos: Conceptos y dise no. Pearson Addison Wesley 800 pg.

Second Section

Sistemas Distribuidos Gerardo G. Jimenez Mojarraz, David G. Lopez Hernandez, Andr es Calder on Sacar as. First Section
Subsection Example

Second Section

The End... Pos cola de vaca!!