Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modelo de Consistencia. Thrashing (Fustigamiento). Consistencia Secuencial: Caso Ivy. Otros Modelos de Consistencia.
MODELO DE CONSISTENCIA
n modelo de consistencia de memoria es!eci"ica las garant#as de consistencia $ue un sistema MCD reali%a so&re los valores $ue los !rocesos leen desde los o&'etos( dado $ue en realidad acceden so&re una r)!lica de cada o&'eto y $ue m*lti!les !rocesos !ueden actuali%ar los o&'etos.
MODELO DE CONSISTENCIA
MODELO DE CONSISTENCIA
Consistencia Secuencial Para cual$uier e'ecuci,n e-iste alg*n entrela%ado de las series de o!eraciones reali%adas satisa"acen: !or todos los !rocesos $ue
MODELO DE CONSISTENCIA
.a secuencia entrela%ada de o!eraciones es tal $ue si L(x)a ocurre en la secuencia( entonces( o la *ltima o!eraci,n de escritura $ue ocurri, antes en la secuencia entrela%ada "ue E(x)a, o no ha ocurrido ninguna o!eraci,n de escritura antes $ue ella. /l orden de las o!eraciones en el entrela%ado es consistente con el orden de !rograma en $ue dichas o!eraciones "ueron e'ecutadas !or cada cliente individual.
MODELO DE CONSISTENCIA
Coherencia Cada !roceso llega a acuerdos so&re el orden de las o!eraciones de escritura so&re la misma !osici,n( !ero no acuerdan necesariamente el orden de las o!eraciones de escritura so&re las !osiciones di"erentes.
MODELO DE CONSISTENCIA
Consistencia Dbil 0!rovecha el conocimiento de las
o!eraciones de sincroni%aci,n !ara rela'ar la consistencia de memoria( mientras se muestra al !rogramador !ara im!lementar una consistencia secuencial.
MODELO DE CONSISTENCIA
Consistencia Relajada
Me'orar las !restaciones. Preservar la sem1ntica de sincroni%aci,n .imitar el sola!amiento entre los accesos
a memoria( !ara garanti%ar e'ecuciones cuyos resultados sean e$uivalentes a los o&tenidos con consistencia secuencial.
MCD.
!1gina( tiene localmente los !ermisos de lectura y escritura so&re dicha !1gina.
thrashing.
Modelos
ni"ormes:
Modelos 3#&ridos: