Instituto Tecnológico Superior de Centla.
Asignatura: Sistemas Operativos.
Profesor: José Roberto Torres López.
Exponente: María Guadalupe Hernández De la Cruz.
Guadalupe García García.
SEMESTRE: “6°” GRUPO: “B”
Temas: Modelo de Consistencia. Estricta, Casual, Propietaria y
Por Capa.
MODELO DE CONSISTENCIA
o Especifica las garantías de consistencia que un sistema
MCD realiza sobre los valores que los procesos leen
desde los objetos,dado que en realidad acceden sobre una
réplica de cada objeto y que múltiples procesos pueden
actualizar los objetos.
Para cualquier ejecución existe algún entrelazado de las
series de operaciones realizadas por todos los procesos
que satisfacen.
CONSISTENCIA ESTRICTA
El modelo de consistencia más restrictivo es llamado
consistencia estricta y es definido por la siguiente
condición, Cualquier lectura sobre un dato X retorna un
valor correspondiente con la más reciente escritura
sobre X.
CONSISTENCIA COHERENCIACada proceso llega a acuerdos sobre el orden de las
operaciones de escritura sobre la misma posición, pero no
acuerdan necesariamente el orden de las operaciones de
escritura sobre las posiciones diferentes.
EL MODELO DE CONSISTENCIA CASUAL
Es un debilitamiento de la consistencia secuencial. Se
hace una diferenciación entre eventos que están
potencialmente relacionados en forma causal y aquellos
que no. Las operaciones que no están causalmente
relacionadas se dicen concurrentes.
La condición a cumplir para que unos datos sean causalmenteconsistentes es:
Escrituras que están 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áquinas.
CONSISTENCIA DÉBIL Aprovecha el conocimiento de las operaciones de
sincronización para relajar la consistencia de memoria,
mientras se muestra al programador para implementa
una consistencia secuencial.
CONSISTENCIA RELAJADA Mejorar las prestaciones.
Preservar la semántica de sincronización de objetos del
tipo de bloqueos y barreras.
Limitar el solapamiento entre los accesos a memoria,
para garantizar ejecuciones cuyos resultados sean
equivalentes a los obtenidos con consistencia secuencial.