Grafos de Precedencia PDF

GRAFOS DE PRECEDENCIA
Grafo acclico orientado cuyos nodos corresponden a

sentencias individuales.
Un arco de un nodo Si al nodo Sj significa que la sentencia

Sj puede ejecutarse slo cuando ha acabado Si.
Ejemplo:
S1
S3
S2
S4
S5
S6
S7
1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS
ESPECIFICACIN DE LA CONCURRENCIA
Los grafos no se pueden usar en programacin.
Necesitamos otras herramientas:
FORK / JOIN
FORK L
Genera dos ejecuciones concurrentes en un programa:
1. Una se inicia en la instruccin siguiente a FORK
2. Otra empieza en la instruccin etiquetada L
JOIN
Permite recombinar varias ejecuciones paralelas en una
sola. La rama que ejecuta primero la instruccin JOIN
termina su ejecucin.
Para saber el nmero de ramas que se deben reunir se usa

un parmetro con JOIN (una variable entera no negativa
que se inicializa con el nmero de ejecuciones paralelas a
reunir).
La ejecucin de una instruccin JOIN CONT tiene el

siguiente efecto:
CONT := CONT -1;

IF CONT 0 THEN <TERMINAR RAMA>;
La instruccin JOIN tiene que ejecutarse indivisiblemente

es decir, la ejecucin concurrente de dos instrucciones
JOIN es equivalente a la ejecucin secuencial en un orden
indeterminado.
EJEMPLO:
S1
Implementar, usando
S2
FORK/JOIN, el grafo de
S4
precedencia de la figura.
S5
S3
S6
S7
S1;
CONT := 3;
FORK L1;
S2;
S4;
FORK L2;
S5;
GOTO L3;
L2: S6;
GOTO L3;
L1: S3;
L3: JOIN CONT;
S7;
COBEGIN / COEND
Es de mayor nivel que la pareja FORK/JOIN y tiene la

forma siguiente:
COBEGIN
S0
S1;
S2;
S1
S2
...
Sn
...
Sn;
Sn+1
COEND;
Todas las instrucciones insertadas entre las palabras clave

COBEGIN y COEND se ejecutarn concurrentemente.
EJEMPLO:
S1
Implementar, usando
S3
S2
COBEGIN/COEND,
S4
el grafo de precedencia
de la figura adjunta.
S5
S6
S7
S1;
COBEGIN
S3;
BEGIN
S2;
S4;
COBEGIN
S5;
S6;
COEND
END
COEND;
S7;
COMPARATIVA
La instruccin concurrente (COBEGIN/COEND) se
aade fcilmente a un lenguaje de alto nivel.
No es capaz de reflejar todos los grafos de precedencia.
S1
S3
S2
S4
S5
S6
S7
Para modelar grafos, FORK/JOIN es ms potente. Con

ella se puede simular COBEGIN/COEND.
El inconveniente de FORK/JOIN es su estructura de
control difcil de usar (semejante a GOTO).
Aunque la instruccin concurrente no basta por s misma
para implementar todos los grficos,
otros mecanismos para que as sea (
Implementacin de COBEGIN/COEND con FORK/JOIN

COBEGIN
S1;
S2;
....
Sn;
COEND;
CONT := n;
FORK L2;
FORK L3;
...
FORK Ln;
S1;
GOTO L1;
L2: S2;
GOTO L1;
L3: S3;
GOTO L1;
...
Ln: Sn;
L1: JOIN CONT;
EJERCICIO:
Dada la expresin (A + B) * (C + D) - (E/F)
Establecer el grafo correspondiente que extraiga el
mximo grado de paralelismo e implementar dicho grafo
utilizando:
A) La pareja COBEGIN/COEND
B) La construccin FORK/JOIN
EL PROBLEMA DE LA SECCIN CRTICA
Problema de la exclusin mutua:

Acceso exclusivo a determinados recursos (fsicos o
lgicos). Para garantizar el acceso exclusivo a un recurso
hay que garantizar el acceso exclusivo a las instrucciones
que lo manejan.
Existen trayectos en los que el resultado final de la

ejecucin de los procesos puede ser distinto en funcin del
orden en que se lleven a cabo.
El problema de la seccin crtica est en disear un

protocolo que pueda ser usado por los procesos para
cooperar entre s y que garantice la exclusin mutua de sus
secciones crticas:
SOLICITAR_ACCESO (SECCIN_CRTICA);
LIBERAR (SECCIN_CRTICA);
10
REQUISITOS DE LAS SOLUCIONES

Una solucin al problema de la seccin crtica debe
cumplir los tres requisitos siguientes:
1. Exclusin mutua.
Si un proceso Pi se est ejecutando en su seccin
crtica, entonces ningn otro proceso se puede estar
ejecutando en la suya.
2. Progresin.
Ningn proceso suspendido fuera de su seccin
crtica debe impedir progresar a otros procesos.
3. Espera limitada.
Si un proceso ha solicitado entrar en su SC, debe
haber un lmite al nmero de veces que otros
procesos entren en sus respectivas SC, antes de que
el primero lo consiga.
Se supone que cada proceso se ejecuta a una velocidad no

nula, aunque no se puede asegurar nada sobre las
velocidades relativas de los procesos.
11
Al presentar los algoritmos se definen slo las variables

utilizadas para sincronizacin.
Cada proceso tendr la siguiente estructura:
Pi: repeat
...
CDIGO DE ENTRADA
SECCIN CRTICA
CDIGO DE SALIDA
SECCIN RESIDUAL
until false;
Lo que cambiar de una solucin a otra es la forma de

llevar a cabo los recuadros marcados.
12
SOLUCIONES PARA DOS PROCESOS
Algoritmo 1
var turno: 0..1;
Pi: repeat
while turno i do no-op;
SECCIN CRTICA
turno := j;
SECCIN RESIDUAL
until false;
C Se garantiza la exclusin mutua

D No se garantiza la progresin
D Hay espera improductiva
13
Algoritmo 2
var indicador: array [0..1] of boolean;
Pi: repeat
indicador[i] := true;
while indicador[j] do no-op;
SECCIN CRTICA
indicador[i] := false;
SECCIN RESIDUAL
until false;

D No se garantiza la progresin
14
Algoritmo 2 (variante)
Pi: repeat
while indicador[j] do no-op;

SECCIN CRTICA
indicador[i] := false;
SECCIN RESIDUAL
until false;
C No se garantiza la exclusin mutua

D Se garantiza la progresin
15
Algoritmo 3 (Peterson)
turno: 0..1;
Pi: repeat
turno := j;
while (indicador[j] and turno=j) do no-op;
SECCIN CRTICA
indicador[i] = false;
SECCIN RESIDUAL
until false;
C Se garantiza exclusin mutua (ver)

C Se garantiza la progresin
C Se garantiza la espera limitada
16
SOPORTE HARDWARE PARA SINCRONIZACIN
La solucin ms simple es INHABILITAR/HABILITAR

interrupciones.
Inconvenientes:
Peligroso en manos del usuario.
No sirve si se tienen dos o ms CPUs.
Existen otras soluciones (software) que requieren algo de

ayuda del hardware. Instrucciones especiales:
Test-and-Set
Swap
17
Test-and-Set (Evaluar-y-asignar)
Puede definirse (de forma algortmica) como una funcin:
function TAS (var objetivo: boolean): boolean;

begin
TAS := objetivo;
objetivo := true;
end;
La caracterstica esencial es que la instruccin se ejecuta

, es decir, como una unidad ininterrumpible
(en un slo ciclo de memoria).
Si se ejecutan dos TAS simultneamente lo harn
siguiendo algn orden arbitrario.
18
Solucin con Test-and-Set
var cerradura: boolean (:= false);
Pi: repeat
while TAS(cerradura) do no-op;
SECCIN CRTICA
cerradura := false;
SECCIN RESIDUAL
until false;

D No se garantiza la espera limitada
19
Swap (Intercambiar)
Puede definirse algortmicamente como un procedimiento:
procedure SWAP (var a, b: boolean);

var temp: boolean;
begin
temp := a;
a := b;
b := temp;
end;
Como en el caso de la instruccin TAS, la caracterstica

esencial es que la instruccin se ejecuta
20
Solucin con Swap

var cerradura: boolean (:= false);
Pi: var clave: boolean;

repeat
llave := true;
repeat
SWAP(cerradura, llave);
until llave = false;
SECCIN CRTICA
cerradura := false;
SECCIN RESIDUAL
until false;

D No se garantiza la espera limitada
21
Algoritmo de Burns (para n procesos)

var esperando: array[0..n-1] of boolean (:= false);
cerradura: boolean (:= false);
Pi: var j: 0..n-1;

llave: boolean;
repeat
esperando[i] := true;
llave := true;
while (esperando[i] and llave) do
llave := TAS(cerradura);
esperando[i] := false;
SECCIN CRTICA
j := i +1 mod n;
while (ji) and (not esperando[j]) do
j := j+1 mod n;
if j=i then cerradura := false
else esperando[j] := false;
SECCIN RESIDUAL
until false;
22
SEMFOROS
Un semforo es una variable entera protegida que, aparte

de la inicializacin, slo puede ser accedida por medio de
dos operaciones indivisibles estndar:
P(s)
WAIT(s)
V(s)
SIGNAL(s)
ESPERA(s)
SEAL(s)
Las definiciones clsicas de estas operaciones son:

WAIT(s):
while s 0 do no-operacin;
s := s - 1;
SIGNAL(s):
s := s + 1;
23
USO DE SEMFOROS PARA EXCLUSIN MUTUA
var mutex: semforo;
Pi: repeat
wait(mutex);
SECCIN CRTICA
signal(mutex);
SECCIN RESIDUAL
until false;
Esta solucin es aplicable a n procesos.
Se asocia un semforo a cada recurso de acceso exclusivo.

El valor inicial del semforo se establece a 1 de modo que
slo un proceso pueda ejecutar la operacin wait con
xito.
La inicializacin es responsabilidad del proceso padre.
24
REVISIN DE LA DEFINICIN DE SEMFORO
Problema de la espera activa:

Cuando un proceso ejecuta la operacin wait sobre un
semforo con valor no positivo, tiene que hacer una espera
que es improductiva.
Para evitarlo, el proceso debera bloquearse a s mismo.

El bloqueo sita al proceso en estado de espera y
transfiere el control al Sistema Operativo, que puede
seleccionar a otro proceso de la cola de preparados.
Un proceso bloqueado en un semforo es reactivado por

otro proceso que ejecute la operacin signal sobre el
mismo semforo.
El proceso despierta por una operacin que cambie el

estado del proceso bloqueado y lo ponga en la cola de
preparado para ejecucin.
Por ello se redefine el concepto de semforo como un

entero ms una lista de procesos.
25
type semforo =
record
valor: integer;
L: lista de proceso;
end;
Las operaciones wait y signal se redefinen como:
wait(S): S.valor := S.valor - 1;

if S.valor < 0 then
begin
<aadir proceso a S.L>;
bloquear;
end;
signal(S): S.valor := S.valor + 1;

if S.valor 1 then
begin
<sacar proceso P de S.L>;
despertar(P);
end;
26
Con esta definicin, el valor del semforo puede ser

negativo. En tal caso, su magnitud equivale al nmero de
procesos que estn esperando en el semforo.
El aspecto clave es que las operaciones sobre un semforo

se ejecuten de forma indivisible.
Esta es una nueva situacin de seccin crtica que puede

resolverse usando cualquiera de las soluciones vistas.
No se ha eliminado completamente el problema de la

espera activa.
Lo que se consigue es:

Eliminarla del programa de aplicacin.
Limitarla a las S.C. de wait y signal, que son
bastante cortas.
As, la espera improductiva no se produce casi nunca y,

cuando se produce, ocurre durante un periodo muy breve.
27
USO DE SEMFOROS PARA SINCRONIZACIN
Sean P1 y P2 dos procesos que se estn ejecutando

concurrentemente y supongamos que P1 incluye una
instruccin (S1) que slo puede ser ejecutada despus de
que se haya ejecutado una instruccin (S2) de P 2.
Se usa un semforo compartido inicializado a cero (0).
var S: semforo (S.valor := 0);
P1:repeat
P2: repeat
...
...
wait(S);
S2;
S1;
signal(S);
...
...
until false;
until false;
Si P1 ejecuta wait antes que P 2 haga signal P1 espera a

P2
Si P2 ejecuta signal antes de que P1 haga wait P1 hace
wait sin bloquearse
28
Usando semforos para sincronizacin en combinacin de

COBEGIN/COEND, puede resolverse cualquier grafo de
precedencia.
EJEMPLO:
S1
El grafo de precedencia
adjunto
no
tiene
S3
S2
un
S4
programa correspondiente
usando slo la instruccin
S5
concurrente.
S6
S7
var A, B, C, D, E, F, G: semforo (:= 0, 0, 0, 0, 0, 0, 0);
cobegin
begin S1; signal(A); signal(B); end;
begin wait(A); S2; S4; signal(C); signal(D); end;
begin wait(B); S3; signal(E); end;
begin wait(C); S5; signal(F); end;
begin wait(D); wait (E); S6; signal(G); end;
begin wait(F); wait (G); S7; end;
coend
29
EJERCICIOS
1. Resolver el problema anterior usando el menor nmero

posible de semforos.
2. Sincronizar, usando el menor nmero de semforos

posible, el siguiente grafo de precedencia:
3. Resolver el ejercicio anterior usando semforos binarios

(un semforo binario slo puede tomar dos valores, 1 o
0, es decir que si se hacen dos signal consecutivos sobre
l, el segundo no tendr efecto).
30
PROBLEMA PRODUCTORES/CONSUMIDORES
Sea un conjunto de procesos:

unos producen datos que
otros consumen con
diferentes ritmos de produccin y consumicin
Se trata de disear un protocolo de sincronizacin que:

Permita a productores y consumidores funcionar de
forma concurrente a sus ritmos respectivos de forma
los elementos producidos sean consumidos en el
orden exacto en el que son producidos
Ejemplos de productores/consumidores:
Controlador de impresora que produce caracteres
que son consumidos por la impresora
Compilador que produce cdigo ensamblador que
es consumido por el ensamblador
Dependiendo de la capacidad de la memoria intermedia

usada (finita o infinita), tendremos diferentes problemas.
31
P/C CON BUFFER ILIMITADO

var producido, mutex: semforo (:= 0, 1);
Prod:
repeat
<Produce mensaje>
wait(mutex);
<Deposita mensaje>
signal(mutex);
signal(producido);
...
until false;
Cons.:
repeat
...
wait(producido);
wait(mutex);
<Recoge mensaje>
signal(mutex);
<Consume mensaje>
until false;
32
P/C CON BUFFER LIMITADO (Capacidad n)

var lleno, vaco, mutex: semforo (:= 0, n, 1);
P: repeat
<Produce mensaje>
Bloquea al productor
wait(vaco);
en espera de huecos
wait(mutex);
<Deposita mensaje>
signal(mutex);
signal(lleno);
until false;
C:
Incrementa el
nmero de llenos
repeat
wait(lleno);
Bloquea al consumidor
wait(mutex);
en espera de mensajes
<Recoge mensaje>
signal(mutex);
signal(vacio);
<Consume mensaje>
Incrementa el
nmero de huecos
until false;
33
PROBLEMA DE LOS LECTORES/ESCRITORES
Sean dos categoras de procesos que usan una estructura

compartida de datos:
un lector nunca modifica la estructura de datos
(puede haber acceso simultneo de varios lectores)
un escritor puede leer y escribir de ella (es
necesario que tengan acceso exclusivo)
Se trata de disear un protocolo de sincronizacin que:

Asegure la consistencia de los datos comunes a la vez
que se mantiene el mayor grado de concurrencia que
sea posible
Ejemplo:
Control de acceso a ficheros en sistemas de bases
de datos multiusuario
34
El
problema
de
Lectores/Escritores
tiene
distintas
variantes, segn se d prioridad a unos o a otros:

Primer problema de L/E (prioridad a lectores).
Ningn lector espera, a menos que un escritor haya
obtenido ya permiso para modificar.
Segundo problema de L/E (prioridad a escritores).
Una vez que se detecta una peticin de escritura,
sta se realiza tan pronto como sea posible. Es
decir, si un escritor est esperando, ningn lector
puede comenzar a leer.
Ambas estrategias pueden provocar espera indefinida

(inanicin de escritores o lectores, respectivamente).
Existen estrategias ms complejas que garantizan el

avance de lectores y escritores en un tiempo finito
(Hoare).
35
PRIMER PROBLEMA DE L/E

var escribe, mutex: semforo (:= 1, 1);
cont_lect: integer(:= 0);
L: repeat
wait(mutex);
cont_lect := cont_lect + 1;
if cont_lect = 1 then wait(escribe);
signal(mutex);
Lectura
wait(mutex);
cont_lect := cont_lect -1;
if cont_lect = 0 then signal(escribe);
signal(mutex);
until false;
E: repeat
wait(escribe);
Escritura
signal(escribe);
until false;
36
EJEMPLO: EL BUFFER CIRCULAR (semforos)
var buzon: array[o..n-1] of T;

p, c: o..n-1 (:=0, 0);
lleno, vaco: semforo (:= 0, n);
mutexp, mutexc: semforo (:= 1, 1);
P: repeat
<Produce mensaje>
wait(vaco);
wait(mutexp);
buzon[p] := mensaje;
p := (p+1) mod n;
signal(mutexp);
signal(lleno);
until false;
C:
repeat
wait(lleno);
wait(mutexc);
mensaje := buzon[c];
c := (c+1) mod n;
signal(mutexc);
signal(vacio);
<Consume mensaje>
until false;
F mensaje es una variable local de tipo T en productores

y en consumidores.
37
PROBLEMAS DE LOS SEMFOROS
Supongamos que se est usando semforos para resolver el

problema de la seccin crtica. Si no se respeta el
protocolo (aunque slo sea un proceso), se pueden
presentar varias situaciones problemticas:
PROBLEMA
Un proceso intercambia las
Se viola el principio de la
operaciones wait y signal
exclusin mutua
Un proceso cambia signal
Situacin de interbloqueo
por wait
Un proceso omite wait,
Se violar la exclusin
signal o ambas
mutua o se producir una

situacin de interbloqueo
Dos procesos usan wait y
Situacin de posible
signal adecuadamente sobre
interbloqueo
dos semforos de exclusin

mutua, en orden opuesto
38

Grafos de Precedencia PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Grafos de Precedencia PDF

Uploaded by

Copyright:

Available Formats

GRAFOS DE PRECEDENCIA

Grafo acclico orientado cuyos nodos corresponden a

Un arco de un nodo Si al nodo Sj significa que la sentencia

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Para saber el nmero de ramas que se deben reunir se usa

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

La ejecucin de una instruccin JOIN CONT tiene el

CONT := CONT -1;

La instruccin JOIN tiene que ejecutarse indivisiblemente

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Es de mayor nivel que la pareja FORK/JOIN y tiene la

Todas las instrucciones insertadas entre las palabras clave

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Para modelar grafos, FORK/JOIN es ms potente. Con

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Implementacin de COBEGIN/COEND con FORK/JOIN

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

EL PROBLEMA DE LA SECCIN CRTICA

Problema de la exclusin mutua:

Existen trayectos en los que el resultado final de la

El problema de la seccin crtica est en disear un

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

REQUISITOS DE LAS SOLUCIONES

Se supone que cada proceso se ejecuta a una velocidad no

Al presentar los algoritmos se definen slo las variables

Cada proceso tendr la siguiente estructura:

Lo que cambiar de una solucin a otra es la forma de

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

SOLUCIONES PARA DOS PROCESOS

var turno: 0..1;

C Se garantiza la exclusin mutua

var indicador: array [0..1] of boolean;

C Se garantiza la exclusin mutua

var indicador: array [0..1] of boolean;

while indicador[j] do no-op;

C No se garantiza la exclusin mutua

C Se garantiza exclusin mutua (ver)

SOPORTE HARDWARE PARA SINCRONIZACIN

La solucin ms simple es INHABILITAR/HABILITAR

Existen otras soluciones (software) que requieren algo de

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Puede definirse (de forma algortmica) como una funcin:

function TAS (var objetivo: boolean): boolean;

La caracterstica esencial es que la instruccin se ejecuta

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Solucin con Test-and-Set

var cerradura: boolean (:= false);

while TAS(cerradura) do no-op;

C Se garantiza la exclusin mutua

Puede definirse algortmicamente como un procedimiento:

procedure SWAP (var a, b: boolean);

Como en el caso de la instruccin TAS, la caracterstica

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Solucin con Swap

Pi: var clave: boolean;

C Se garantiza la exclusin mutua

Algoritmo de Burns (para n procesos)

Pi: var j: 0..n-1;

1.8. APNDICE: COMUNICACIN Y SINCRONIZACIN ENTRE PROCESOS

Un semforo es una variable entera protegida que, aparte

Las definiciones clsicas de estas operaciones son: