SoloCodigo

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);