bloques strips

Dpto. Lenguajes y
Ciencias de la Computación

Programación de
Sistemas y
Concurrencia
Práctica nº5
Tema 6 - Semáforos

1. En un sistema industrial existen tres sensores que realizan mediciones del nivel de
temperatura, humedad y luz respectivamente. Cuando se han recogido mediciones de
los tres sensores, existe un dispositivo “trabajador” encargado de realizar ciertas tareas
según lasmediciones realizadas.
El dispositivo no puede comenzar a realizar sus tareas hasta que se han recogido
mediciones de los tres sensores, y los sensores no pueden volver a realizar mediciones
hasta que el dispositivo finaliza sus tareas. El proceso se repite de forma indefinida de
manera que cuando el dispositivo finaliza sus tareas, volverá a esperar a que haya
mediciones de los tressensores.
Realizar utilizando semáforos el modelado de dicho sistema. Modelar el dispositivo
trabajador y cada sensor como una hebra (con lo cual habrá un total de 4 hebras).
Modelar el proceso de realizar mediciones y las tareas del dispositivo con retrasos
aleatorios y valores de tipo entero. Inicialmente puede suponerse que los sensores
pueden comenzar haciendo peticiones.
2. En una cadena demontaje existe un robot encargado de colocar productos de 3 tipos
diferentes (1, 2 o 3) en la cadena de montaje. Otros robots, retiran los productos de la
cadena de montaje para realizar su empaquetado, teniendo en cuenta que están
especializados en un solo tipo de producto (1, 2 o 3), ignorando los que no son de su
tipo. Finalmente, se quiere llevar un control del total de productosempaquetados
(independientemente de su tipo).
Modelar utilizando semáforos el sistema descrito con las siguientes indicaciones:
- Modelar cada robot como una hebra (1 colocador y 3 empaquetadores, uno para cada
tipo de producto).
- Los productos son colocados de uno en uno en la cadena, y solamente en posiciones
libres (se puede considerar que en la cadena de montaje caben un máximo N de
elementos).Si no hay posiciones libres el robot colocador tendrá que esperar hasta que
algún producto sea retirado de la cadena.
- Los robots empaquetadores se especializan en un tipo de producto (1, 2 o 3) en tiempo
de inicialización.
- Los robots empaquetadores comprueban si hay algún elemento de su tipo en la cadena
ignorando los productos que no sean de su tipo. Si hay algún producto de su tipo loretiran de la cadena (sólo 1 producto cada vez) y la posición queda libre para colocar
nuevos productos, en caso contrario se quedan a la espera de que haya nuevos
productos.

- Los robots empaquetadores de distinto tipo pueden funcionar a la vez.
- Tanto el colocador como los empaquetadores nunca acaban.
- Cada vez que un robot empaquetador procesa un producto, la cuenta total de productosempaquetados debe aumentar y mostrarse un mensaje por pantalla.
3. Se quiere realizar la simulación simplificada del tráfico aéreo de un aeropuerto
teniendo en cuenta las siguientes características:
- Se dispone de una única pista de aterrizaje compartida por todos los aviones.
- Los aviones pueden aproximarse por el norte o por el sur, por ello, para
controlar el tráfico aéreo existe unahebra controladora para el norte y otra para
el sur.
- Existen N aviones representados cada uno con una hebra que periódicamente
intentan aterrizar en el aeropuerto (por el lado que se desee). El procedimiento
para aterrizar es el siguiente:
o El avión “solicita permiso” para aterrizar al controlador del lado por el
que se aproxima y queda a la espera (utilizando algún semáforo) de que
se ledé permiso.
o Los procesos controladores atienden peticiones de aterrizaje (de una en
una). Cuando les llega una petición, tienen que esperar hasta que la pista
esté disponible y entonces avisan al avión correspondiente de que ya
puede aterrizar. Si no hay peticiones, las hebras controladoras deben
dormirse. Cuando el avión haya terminado de aterrizar se indicará a la
hebra controladora...