IntroducciÃ³n - Departamento de Lenguajes y Sistemas InformÃ¡ticos

More documents

Recommendations

Info

Programación Concurrente. I.T. Sistemas y Gestión. Relación de Problemas 6b) ¿Qué ocurriría si la instrucción primitiva EX fuese reemplazada por las 3 asignacionesanteriores?PROGRAM Intercambio; | BEGINVAR c:INTEGER; | c:=1;PROCEDURE P1; PROCEDURE P2; | COBEGINVAR l:INTEGER; VAR l:INTEGER; | P1;P2BEGIN BEGIN | COENDl:=0; l:=0; | END.REPEATREPEATREM1;REM2;REPEATREPEATEX(c,l);EX(c,l);UNTIL l=1;UNTIL l=1;CRIT1;CRIT2;EX(c,l);EX(c,l);FOREVER;FOREVER; END;END;END;
Programación Concurrente. I.T. Sistemas y Gestión. Relación de Problemas 724. Considerar el siguiente algoritmo de exclusión mutua para n procesos (algoritmo deKnuth):Proceso(i)c: ARRAY[0..n] OF (pasivo, solicitando, enS_C);c:= pasivo;Turno:= 0;. . .REPEATc[i]:= solicitando;j:= Turno;WHILE ji DOIF c[j]pasivo THEN j:=TurnoELSE j:=(j-1) MOD n ;c[i]:= en_SC;k:= 0;WHILE k= n;Turno:= i;(* SECCION CRITICA *)Turno:= (i-1) MOD n ;c[i]:= pasivo;Escribir un escenario en el que 2 procesos consiguen pasar el bucle de la instrucción (7),suponiendo que el turno lo tiene inicialmente el proceso P(0).25. Demostrar que en la generalización del algoritmo de Peterson para "n" procesos :REPEATFOR j:= 1 TO n-1 DOBEGINq[i]:=j;turno[j]:=i;WHILE (∃ki: q[k]>=j) AND (turno[j]=i) DO;END;.....SECCION CRITICA........q[i]:=0;UNTIL FALSE;cuando un proceso pasa a la etapa siguiente, se verifica una de estas dos condiciones:a) precede a todos los demásb) no estaba solo en la etapa que ha dejado
Page 1 and 2: Programación Concurrente. 3º Inge
Page 3 and 4: Programación Concurrente. I.T. Sis
Page 5: Programación Concurrente. I.T. Sis
Page 15: Programación Concurrente. I.T. Sis

IntroducciÃ³n - Departamento de Lenguajes y Sistemas InformÃ¡ticos

Create successful ePaper yourself

Delete template?

Save as template?