Sistemas Distribuidos

Clase 10: comunicación y sincronización.

Resumen
En un SD es común el uso de copias con la finalidad de
que cada elemento del sistema posea los datos
necesarios y se facilite el desempeño.

El problema con lo anterior radica en cómo asegurar

que todos los elementos del sistema tendrán una
copia “fresca” o que todos los elementos tendrán la
misma copia.

Note que el problema surge debido a los accesos

concurrentes que pudieran suceder.
Resumen
A grandes rasgos, decimos que un dato es consistente
si todos los elementos o procesos que intervienen
leen el mismo valor.

La reglas entre el software y la memoria de tal forma

que los datos en memoria trabajen de forma correcta,
se denomina modelo de consistencia.

Existen varios tipos de consistencia:

Resumen
• Consistencia estricta: cuando cualquier lectura
retorna el valor guardado por la última operación
de escritura.
• Consistencia secuencia: cuando el resultado de
cualquier ejecución es el mismo que si las
operaciones de los procesos fueran ejecutados en
algún orden secuencial. Todos los procesos el
mismo intercalado.
Resumen
Decimos:

P1: W(x)a . . . W(z)a

P2: R(x)a W(y)b . . . W(u)a

Consistencia causal: las escrituras potencialmente

relacionadas de forma causal son vistas por todos los
procesos en el mismo orden. Las escrituras
concurrentes pueden ser vistas en orden diferente.
Resumen
Ejemplos:
P1: R(X)a
P2: W(X)a R(X)b
P3: W(X)b
P1: R(X)a W(X)b R(X)c R(X)b
P2: R(X)a W(X)c
P3: R(X)a R(X)b R(X)c
P1: R(X)a W(X)b
P2: W(X)a R(X)b R(X)a
P3: R(X)a R(X)b
Espacio de Tuplas
Otra manera o esquema de comunicación, bajo el
esquema de compartir un espacio de datos, se conoce
como espacio de tuplas. Sin embargo, en este caso
dicho espacio posee determinada organización.

Una tupla es un registro de datos etiquetado,

compuesto de varios campos.
Espacio de Tuplas
La comunicación por lo tanto, se logra compartiendo
una colección de tuplas, lo cual se conoce como
espacio de tuplas.

Las operaciones que pueden realizarse en dicho

espacio son:

• Write.
• Read.
• Take.
Espacio de Tuplas
Notemos que las tuplas no son enteros o algún otro
tipo simple, son “registros” en donde, para ser
seleccionados es necesario una especificación, lo cual
se conoce como direccionamiento asociativo.

Ejemplos:

read (<string, 12>)

take (<string, integer>)
Espacio de Tuplas
Las tuplas con inmutables, es decir, no pueden ser
alteradas o modificadas.

Ejemplo:
Fin de Clase 10