ĐÈN HIỆU (SEMAPHORES)

ĐÈN HIỆU (SEMAPHORES)
- Phương tiện đồng bộ hóa được E.W.Dijkstra đề xuất năm 1965.
- Đèn hiệu được miêu tả bằng 1 biến kiểu nguyên là wait và signal:
typedef int semaphore;
wait(semaphore S)
{
while(S<=0);//chờ bận nếu S<=0
S--;//giảm S đi 1
}
signal(semaphore S)
{
S++;//tăng S lên 1
}
Ví dụ: Thiết kế đèn hiệu S theo bài tập trên lớp. Sao cho cùng lúc 2 xe cùng hiện diện trên mặt cầu.
Chúng ta cần thiết kế thêm 1 đèn màu xanh nữa. khi đèn xanh 1 sáng: xe 1 chạy..xe 2 chờ đến khi đèn xanh 2 sáng thì xe 2 chạy, sau đó đèn đỏ.