12.07.2015 Views

Introducción - Departamento de Lenguajes y Sistemas Informáticos

Introducción - Departamento de Lenguajes y Sistemas Informáticos

Introducción - Departamento de Lenguajes y Sistemas Informáticos

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Programación Concurrente. I.T. <strong>Sistemas</strong> y Gestión. Relación <strong>de</strong> Problemas 3EsperarPor (A:actividad) {espera que acabe la actividad A}Acabar (A:actividad) {hace constar, actividad A acabada}A B CD E FG H Ique permitan la sincronización perfecta <strong>de</strong> las activida<strong>de</strong>s <strong>de</strong>l grafo. Prever que el grafo <strong>de</strong>activida<strong>de</strong>s pue<strong>de</strong> ser ejecutado más <strong>de</strong> una vez.11. ¿Qué significa un ciclo en un grafo <strong>de</strong> sincronización?Tema 2. Exclusión Mutua.12. ¿Qué diferencia fundamental existe entre un bucle <strong>de</strong> espera activa y una variableinterruptor que da turnos para la sincronización <strong>de</strong> los procesos?13. ¿Utiliza espera ocupada el Algoritmo <strong>de</strong> Dekker, si el segundo proceso está en susección, Turno= 1 y el proceso 1 está intentando entrar en su sección?14. Demostrar que el A. <strong>de</strong> Dekker hace posible que un proceso espere in<strong>de</strong>finidamente("inanición") a entrar en su sección Crítica, con la suposición <strong>de</strong> que siempre que unproceso entra en la sección Crítica eventualmente la abandonará.15. Generalizar el A. <strong>de</strong> Dekker para 3 procesos.16. ¿Podría pensarse que una posible solución al problema <strong>de</strong> la exclusión mutua, Sería elsiguiente algoritmo que no necesita compartir una variable "Turno" entre los 2 procesos?a) ¿Se satisface la exclusión mutua?b) ¿Se satisfacen las propieda<strong>de</strong>s <strong>de</strong> vivacidad?Compararlo con el Algoritmo <strong>de</strong> Dekker. Imaginar escenarios que <strong>de</strong>muestren lascontestaciones.Proceso ici=0;while cj=0 dobeginci:=1;while cj=0 do;ci=0;end;(*Seccion Critica*)ci:=1;17. ¿No se podría construir una solución más simple al problema <strong>de</strong> la exclusión mutua queel Algoritmo <strong>de</strong> Dekker utilizando la instrucción atómica TestAndSet(l)? ¿Cuál Sería dichasolución?.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!