ADA - Orientacion para una practik

Orientacion para una practica

Hola, tengo q hacer una practik y no se como hacerla, si quieres echarme una mano te estare muy agradecido!

Aqui tienes el enunciado:

Simular mediante un programa concurrente escrito en ADA que utilice el
mecanismo de sincronización de SEMÁFOROS, el funcionamiento de un
productor y dos consumidores que actúan sobre un buffer de datos del que
insertan y consumen dichos datos.
Consideraremos que el buffer es una variable entera sobre la que se irá
incrementando o decrementando su valor mediante la tarea
correspondiente.
Para poder hacer uso de la librería que contiene las funciones de los
semáforos, será necesario especificar el siguiente código:
with Text_IO;
use Text_IO;
with Semaphore_Package;
use Semaphore_Package;
La declaración e inicialización de un semáforo se hace de la siguiente
forma:
S: Binary_Semaphore := Init(1);

Si estas interesado mandame un mail

Para abordar esta práctica, puedes seguir los siguientes pasos:

1. Importa las bibliotecas necesarias:

2. Declara e inicializa el semáforo:

3. Crea las tareas del productor y los dos consumidores:

4. Implementa la lógica del productor y los consumidores dentro de los bucles `loop` en las tareas correspondientes. Asegúrate de usar los procedimientos adecuados de la librería Semaphore_Package para realizar la sincronización y el acceso al buffer compartido.

Recuerda que el uso de semáforos te permitirá controlar el acceso al buffer compartido y evitar condiciones de carrera.