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

2 Programación Concurrente
incluye la pasta en la caja; en otro caso, un operario debe retirar la caja que se estaba llenando y
sustituirla por otra vacía.
El objetivo consiste en llenar cada caja lo más posible. Esto puede ser conseguido por cualquiera
de los robots empaquetadores que intentan depositar simultáneamente alguna pasta. Se nos
asegura que no puede haber interferencias físicas entre brazos robot que intentan soltar pastas al
mismo tiempo en la caja. Se pretende que haya la máxima concurrencia posible entre los brazos
robot, es decir, que varios de ellos puedan retirar simultáneamente pastas de la cinta transportadora
y, también simultáneamente, dejarlas en la caja. Hay que evitar, por otro lado, que se sobrepase
el peso máximo admitido por la caja y que se intenten dejar pastas cuando no hay caja o cuando
se está reponiendo.
Para desarrollar el software de control se dispone de un paquete en Ada –ya programado–
que proporciona, entre otros, los siguientes procedimientos de acceso a los robots y dispositivos
mecánicos (se ignoran los hornos y la cinta; no es asunto del software de control):
with Basicos;
use Basicos;
package Cadena is
---------------------------------------------------------------------
N_EMPAQUETADORES : constant Positive := 10;
---------------------------------------------------------------------
-- PESO_MAXIMO : constant Peso;
-- function "=" (A, B : Peso) return Boolean;
-- function "