Programación Concurrente Prácticas 1, 2 y 3 - Profe Saul

Curso 2006/2007 — Convocatoria de Febrero 5
Una solucion que maximiza el peso en lo posible es esperar a todos los robots en una barrera,
calcular qué combinación de pastas de entre las disponibles daría un mejor resultado, elegir la
mejor de las pastas, depositar sólo esa pasta repetir el ciclo. Sin embargo esta solución tiene una
concurrencia muy baja, ya que tiende a que en cada momento sólo un robot acceda a la caja y al
mostrador.
El conteo de número de brazos robot accediendo a la caja es necesario para implementar una
exclusión parcial (como en los problemas de Lectores y Escritores) que impida que se inicie una
reposición de la caja mientras un brazo robot accede a la misma. Ello podría suceder si mientras
se deposita (físicamente) una pasta, otro robot excede el peso máximo y pide un cambio de caja
que se inicia mientras el anterior está aún dejando la pasta. Por otra parte, se permite que varios
brazos robots dejen simultáneamente pastas en la caja.
3. Prácticas
3.1. Primera práctica
La entrega de la primera práctica constará de una implementación del recurso en Ada 95 usando
objetos protegidos, basada en la especificación dada en el enunciado. La implementación a realizar
debe estar contenida en un fichero llamado cajas de pastas.adb (ver el apartado 4).
3.2. Segunda práctica
La entrega de la segunda práctica constará de una implementación del recurso compartido en Ada
95 mediante rendez-vous y/o paso de mensajes y basada en la especificación entregada en el enunciado.
La implementación deberá estar contenida en un fichero llamado cajas de pastas.adb
(ver el apartado 4).
3.3. Tercera práctica
Supongamos una variación del problema original en la que los robots empaquetadores no
registran el peso de las pastas, sino que la plataforma en que está la caja tiene una balanza y en el
paquete Cadena se dispone de una operación
Peso_Balanza(P: out Peso)
que es no bloqueante y de ejecución prácticamente inmediata.
La entrega de la tercera práctica constará de una memoria en papel con un nuevo diseño que
debe cumplir en lo posible los mismos requisitos que se tenían para el problema inicial. Puede
modificarse todo lo que sea necesario, tanto en el diseño del recurso como en el código de las
tareas. Debe entregarse el grafo de procesos y recursos (si ha variado), la especificación formal
del recurso necesario para la sincronización de los procesos y el código de los procesos en función
de la interfaz del recurso especificado.