key_mutex | read-write mutex with await/async style | Reactive Programming library

I'm working on a project that solves the classic problem of producer / consumer scheduling. Linux Open Suse 42.3 Leep, API System V, C language

The project consists of three programs: producer, consumer and scheduler. The purpose of schedulers is to create 3 semaphores, shared memory in which there is a buffer (array) in which write (producer) and read (consumer) and to run n producer and m consumer processes.

Each producer must perform k write cycles to the buffer, and the consumer must perform k read cycles.

3 semaphores were used: mutex, empty and full. The value of the full semaphore is used in the program as an index in the array.

The problem is that: for example, when the buffer size is 3, producers write 4 portions of data, when the buffer size is 4 - 5 portions of data (although there should be 4) ...

Consumers read normally.

In addition, the program does not behave predictably when calling get_semVal fucntion.

Please help, I will be very, very grateful for the answer.

producer