Phát biểu bài toán Sản xuất-Tiêu thụ với giải pháp đồng bộ hóa công việc các tiến trình sãn xuất-tiêu thụ bằng 3 đèn hiệu

Hai quá trình cùng chia sẻ một vùng đệm có kích thước giới hạn n. Biến semaphore mutex cung cấp sự loại trừ hỗ tương để truy xuất vùng đệm và được khởi tạo với giá trị 1. Các biến semaphore empty và full đếm số khe trống và đầy tương ứng. Biến semaphore empty được khởi tạo tới giá trị n; biến semaphore full được khởi tạo tới giá trị 0.
– Dữ liệu chia sẻ:
SEMAPHORE full, empty, mutex;
– Khởi tạo:
full = 0;
empty = BUFFER_SIZE;
mutex = 1;
https://2img.net/r/ihimg/f/255/58038716.jpg/