You are on page 1of 19

MEMORIA COMPARTIDA DISTRIBUIDA

Pirela Melissa De Sousa David

MEMORIA COMPARTIDA DISTRIBUIDA

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

Consistencia Secuencial. Coherencia Consistencia D)&il. Consistencia +ela'ada.

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

de o&'etos del ti!o de &lo$ueos y &arreras.

a memoria( !ara garanti%ar e'ecuciones cuyos resultados sean e$uivalentes a los o&tenidos con consistencia secuencial.

THRASHING (FUSTIGAMI NT!"


n sistema MCD est1 en thrashing cuando reali%a un gasto desmesurado de tiem!o en la invalidaci,n y trans"erencia de datos com!artidos en com!araci,n con el tiem!o em!leado !or los !rocesos de a!licaci,n en la reali%aci,n de tra&a'o *til.

CONSISTENCIA SECUENCIAL: CASO IVY


El Modelo del Sistema

.os !rocesos com!arten un segmento de .os !rocesos se e'ecutan so&re unidades

MCD.

de gesti,n de memoria !aginada.

CONSISTENCIA SECUENCIAL: CASO IVY


El Modelo del Sistema

.a !aginaci,n es trans!arente a los

com!onentes de la a!licaci,n dentro de los !rocesos.

Para mantener la consistencia secuencial

se restringen los accesos a !1ginas cuando se !rocesan lecturas y escrituras.

CONSISTENCIA SECUENCIAL: CASO IVY


Escritura Actuali a!te

Si el sistema MCD est1 &asado en

!1ginas( s,lo se usa si las escrituras !ueden ser almacenadas en &u""ers.

CONSISTENCIA SECUENCIAL: CASO IVY


I!"alidaci#! de Escritura

Se utili%a la !rotecci,n de !1ginas !ara

"or%ar la consistencia en la com!artici,n de datos.

Cuando un !roceso est1 actuali%ando una

!1gina( tiene localmente los !ermisos de lectura y escritura so&re dicha !1gina.

CONSISTENCIA SECUENCIAL: CASO IVY


I!"alidaci#! de Escritura

Cuando uno o m1s !rocesos est1n

leyendo una !1gina( s,lo tienen !ermiso de lectura.

CONSISTENCIA SECUENCIAL: CASO IVY


T$ras$i!% +es!onsa&ilidad del !rogramador evitar el

thrashing.

OTROS MODELOS DE CONSISTENCIA

Modelos

ni"ormes:

2o distinguen entre di"erentes ti!os de accesos a memoria.

Modelos 3#&ridos:

Distinguen entre accesos ordinarios y de sincroni%aci,n.

OTROS MODELOS DE CONSISTENCIA


Modelos Uni#or$es Consistencia Causal. Consistencia de Procesador . +0M encau%ada.

OTROS MODELOS DE CONSISTENCIA


Modelos H%bridos Consistencia con 0dmisi,n. Consistencia de 4m&ito. Consistencia D)&il.

You might also like