Nhờ mọi người giải thích giùm bài giảng chương 7

slide số 11 chương 7, vẫn chưa hiểu cách thức chạy của P1, P2, mọi người chỉ giúp!!! thanks a lot


2. Giả sử P1 có mã S1 , P2 có mã S2 , cần tổ chức sao cho S2 chỉ thi hành sau S1 .
Ta dùng đèn hiệu sau:
semaphore synch = 0;
-----Cấu trúc P1 :----------------Cấu trúc P2 :
----------S1-----------------------wait (synch);
------signal (synch);-----------------S2

Mình có một số ý kiến đóng góp như thế này, có gì mọi người góp ý hoàn thiện thêm :
Ban đầu khởi tạo đèn hiệu có giá trị 0 (giả sử đèn hiệu có 2 giá trị là 0 và 1 ứng với 2 màu xanh và đỏ), S1 được phép thực thi trước, trong lúc S1 đang thực thi thì hàm wait(synch) bên P2 sẽ giảm giá trị đèn hiệu và giữ cho nó không chuyển sang xanh nên S2 không thể thực thi, sau khi S1 thực thi xong, hàm signal(synch) của P1 sẽ làm tăng giá trị đèn hiệu thành 1 ứng với màu xanh, S2 được phép thực thi, trong lúc S2 thực thi thì giá trị của đèn hiệu sẽ được giảm trở về không, đèn chuyển màu đỏ, S1 không thể nhảy vào thực thi...quá trình cứ thế tiếp diễn
Ví dụ về đèn hiệu 2 màu : chiếc cầu 1 chiều, trước cầu có đèn hiệu 2 màu, xanh và đỏ, ô tô xếp hàng chờ lên cầu, do tải trọng của cầu thấp nên tại một thời điểm chỉ có 1 ô tô được phép lên cầu, đèn xanh, ô tô 1 lên cầu, đèn chuyển sang đỏ, ô tô 2 phải chờ, khi ô tô 1 qua khỏi cầu đèn chuyển sang xanh, ô tô 2 được phép lên cầu, ô tô lên cầu thì đèn chuyển sang đỏ, ô tô tiếp theo phải chờ,...v.v...

vi_hung_i92 đã viết:slide số 11 chương 7, vẫn chưa hiểu cách thức chạy của P1, P2, mọi người chỉ giúp!!! thanks a lot


2. Giả sử P1 có mã S1 , P2 có mã S2 , cần tổ chức sao cho S2 chỉ thi hành sau S1 .
Ta dùng đèn hiệu sau:
semaphore synch = 0;
-----Cấu trúc P1 :----------------Cấu trúc P2 :
----------S1-----------------------wait (synch);
------signal (synch);-----------------S2

theo mình nghĩ lúc đầu đèn hiệu có giá trị bằng 0 tức là màu xanh (semaphore synch =0), khi vào thực hiện đoạn mã s1 thì giá trị đèn hiệu sẽ tăng lên 1 _ có nghĩa đèn hiệu đang đỏ (theo thuật toán đèn hiệu). Lúc này đoạn lệnh S2 đang trong trạng thái chờ đèn hiệu xanh. khi đoạn lệnh s1 đc hoàn thành thì đèn sẽ đc chuyển lại trạng thái xanh, lúc đó thì đoạn lệnh s2 sẽ ra khỏi trạng thái chờ và thực hiện