Memoria Compartida Distribuida

Por:
VICTOR JOEL PINARGOTE

Qu es MCD?
ProcesosdeAplicacin
P
2

P
1

P
4

P
3

P
2

P
1

SO

ProcesosdeAplicacin
P
3

P
1

P
2

P
4

P
3

ProgramacinDistribuida

SO

P
4

P
1

CPU
ProgramacinConcurrente

Qu es MCD?
Abstraccin de
memoria mediante
lectura y escritura.

Sistema de MCD:
conjunto formado
por todos los
procesos y la MCD.

SOD es asncrono y sin fallos. Tenemos un

conjunto de procesos todos correctos e
interconectados mediante canales bidireccionales
fiables

Modelo de coherencia: semntica (orden) de

las operaciones de lectura y escritura sobre la
MCD.

Modelos de Coherencia
Modelo atmico

Orden en un proceso (op <p op):

Si op es invocada por el proceso p
antes que op

Orden en tiempo-real (op <rt op):

Si op termina de ejecutarse antes
de que op comience a ser
ejecutada

Modelo atmico
erv
s
P

P0

M[s]8
w(s)8

M[z]4

A
C
K

M[s]

r(z)4

A
C
K

w(z)4

M[z]

r(s)8

P1

atom: w(s)8 w(z)4 r(s)8 r(z)4

Principal Desventaja es que no escala bien

Es Atmica y
Legal

Modelos de Coherencia
Modelo secuencial
Este modelo pretende relajar la
semntica para reducir la
latencia de las operaciones

Este modelo por cierta

situaciones puede atender a otro
proceso que recin llega sin
respetar el orden de
encolamiento

Modelo secuencial

Orden en un proceso (op <p op):

Si op es invocada por el proceso p
antes que op

Orden de ejecucin (op < op): Si ocurre algunos

de los siguientes casos:
1. op y op son invocadas por p, op< op
2. op=w(x)v y op=r(x)v.
3. Si existe op tal que op < op < op

Modelo secuencial

w0(x)1

w0(y)4

r0(x)2

P0
P1

w1(x)2

w1(y)3

r1(y)3

Vistaatmica(sec):w0(x)1w1(x)2r0(x)2w0(y)4w1(y)3r1(y)3

Modelo secuencial

w0(x)1

w0(y)4

r0(x)2

P0
P1

w1(x)2

w1(y)3

r1(y)3

Vistaatmica(sec):w0(x)1w1(x)2r0(x)2w0(y)4w1(y)3r1(y)3

Es mas rpido que el modelo atmico

Pero continan los problemas de escalabilidad

Modelo Causal

Orden en un proceso (op <p op):

Si op es invocada por el proceso p
antes que op

Orden de ejecucin (op < op): Si ocurre algunos

de los siguientes casos:
1. op y op son invocadas por p, op< op
2. op=w(x)v y op=r(x)v.
3. Si existe op tal que op < op < op

Modelo Causal

r0(y)3

w0(x)1

r0(x)2

P0

P1

w1(y)3

w1(x)2

cau0:w1(y)3r0(y)3w0(x)1w1(x)2r0(x)2
cau1:w1(y)3w1(x)2w0(x)1r1(x)1r1(y)3

r1(x)1

r1(y)3

Modelos de Coherencia
Modelo causal
- No hay problemas de escalabilidad
- Se consigue respuesta casi inmediata
- Latencia baja aun con un numero
elevado de procesos

Hay que volver a aprender a

programar porque el programador
tiene en su cabeza el modelo
atmico