Sistemas Dist

4.2 Modelos de consistencia
El modelo de consistencia es un contrato entre el software y la memoria.
Si el software acuerda obedecer ciertas reglas, la memoria promete trabajar de modo correcto, siel software viola estas reglas ya no se garantiza que la operación de memoria sea correcta. Existen diferentes tipos de contratos que se mencionaran más adelante.
4.2.1 Consistencia estricta
Elmodelo de consistencia estricta se define médiate:
Cualquier lectura a una localidad de memoria X regresa el valor guardado por la operación de escritura más reciente en X.
Esto debe ocurrir sinimportar las posiciones de las maquinas y la cercanía de los tiempos en que se realice (T1, T2…).
Por ejemplo: el P1 realiza una escritura a la localidad x, con el valor 1. Después, P2 lee x y se ve el 1.Este es el comportamiento correcto para una memoria con consistencia estricta.
Todas las escrituras son visibles al instante a todos los procesos y se mantiene un orden de tiempo global absoluto.4.3 Memoria compartida distribuida en base a paginas
4.3.3 Granularidad
Cuando se refiere a una palabra de memoria no local, se trae un pedazo de memoria (una palabra, un bloque, una página o unsegmento), desde su posición actual y se coloca en la maquina que hace referencia. Con los sistemas DSM la granularidad es difícil o imposible debido a la forma en que funciona la MMU.
La integración deDSM con la memoria virtual hace más sencillo el diseño el diseño total pues se utiliza la misma unidad, al ocurrir una falla de pagina simplemente se trae la pagina faltante.
4.3.4 Obtención de laconsistencia secuencial
Existe una copia de cada página y esta se desplaza de un lugar a otro de manera dinámica según sus necesidades, si estas no se duplican no ay consistencia.
En los sistemas DSMcuando un proceso intenta leer una pagina remota, se crea una copia local
En los sistemas DSM el software no se sabe donde se escribirá o modificara el valor en la MMU por lo cual para descubrirlo...