ProgramaciÃ³n Concurrente PrÃ¡cticas 1, 2 y 3 - Profe Saul

More documents

Recommendations

Info

2 Programación <strong>Concurrente</strong> 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 "
Curso 2006/2007 — Convocatoria de Febrero 3 2. Diseño Tras el análisis del problema, se incluye un diseño propuesto: grafo de recursos y procesos, código de los procesos y especificación del recurso. Asumimos que el recurso está contenido en una variable Cont_Caja accesible por los procesos cuyo tipo es Control_Caja Tomar_Pasta (E,P) Reponer_Caja Caja Empaquetadores (E) Comunicar_Peso (Caja, P) Incrementar_Peso (Caja, P) Notificar_Reposicion Brazo Notificar_Pasta_En_Caja (Caja) Preparar_Reposicion Soltar_Pasta (E) Retirar_Caja Declaración de recurso: Cont_Caja : Control_Caja; Controlador de empaquetador: loop Tomar_Pasta (E, Peso_Pasta); Put_Line ("Emp." & Id_Empaquetador’Image (E) & " tomó pasta " & Tipo_Peso’Image (Peso_Pasta)); Comunicar_Peso (Cont_Caja, Peso_Pasta); Incrementar_Peso (Cont_Caja, Peso_Pasta); Soltar_Pasta (E); Put_Line ("Emp." & Id_Empaquetador’Image (E) & " soltó pasta " & Tipo_Peso’Image (Peso_Pasta)); Notificar_Pasta_En_Caja (Cont_Caja); end loop; Controlador de reponedor: loop Preparar_Reposicion (Cont_Caja); Put_Line ("+++ Retiramos caja"); Retirar_Caja; Put_Line ("+++ Reponemos caja"); Reponer_Caja; Notificar_Reposicion (Cont_Caja); end loop; Especificación del recurso: C-TADSOL Control Caja OPERACIONES ACCIÓN Preparar Reposicion: Control Caja[io] ACCIÓN Notificar Reposicion: Control Caja[io] ACCIÓN Comunicar Peso: Control Caja[io] × Peso[i] ACCIÓN Incrementar Peso: Control Caja[io] × Peso[i] ACCIÓN Notificar Pasta En Caja: Control Caja[io] SEMÁNTICA DOMINIO:
Page 1: Programación Concurrente Práctica
Page 5 and 6: Curso 2006/2007 — Convocatoria de

ProgramaciÃ³n Concurrente PrÃ¡cticas 1, 2 y 3 - Profe Saul

Create successful ePaper yourself

Delete template?

Save as template?