Phát biểu bài toán sản xuất và tiêu thụ

//Đoạn tương tranh nhà sản xuất
Producer
- - wait(semEmply);
- - wait(critsec);
//đưa sản phẩm vào bộ đếm Buffer
- - signal(semFull);
signal(critsec);

//Đoạn tương tranh nhà tiêu thụ
Consumer
- - wait(semFull);
- - wait(critsec);
//lấy sản phẩm khỏi Buffer
- - signal(semEmpty);
signal(critsec);

- semEmpty và semFull là hai đèn hiệu.
- semEmpty là biến dùng chứa mục quản của đèn hiệu, quản lý số khoan trống trong bộ nhớ đệm.
- semFull là biến chứa mục quản của đèn hiệu quản lý số sản phẩm trong bộ đệm Buffer.
- critsec là biến dùng để chứa đối tượng thuộc lớp Critsec_section, dùng để làm đèn hiệu nhị phân để bảo vệ đoạn tương tranh tương ứng.[right]