Thảo luận Bài 7

NguyenHongHaiI12C đã viết:a) P1 trước P2, P2 trước P3
Semaphore synch1 = 0, synch2 = 0;

P1	P2	P3
S1	wait(synch1);	wait(synch2);
signal(synch1);	S2, signal(synch1);	S3,signal(synch2)

P2 bị khóa tại hàm wait(synch1) do synch1=0; P3 bị khóa tại hàm wait(synch2) do synch2=0. Sau khi S1 dc thi hành thì synch1 sẽ tăng lên 1 do signal(synch1).
Lúc này P2 sẽ dc thực hiện(synch1 =1), nhưng P3 vẫn bị khóa do synch2 =0, sau khi S2 thi hành xong thì synch2 =1(signal(synch2)) lúc này P3 mới dc thực hiện.
=> P1 trước P2, P2 trước P3.

Admin
Không thấy có lệnh signal(synch2) trong mã của P2 !

Admin đã viết:Thảo luận những vấn đề liên quan đến Bài 7.

• Đồng bộ hoạt động của một phòng thí nghiệm sử dụng nhiều tiến trình đồng hành sau để tạo các phân tử H2O:

Code:

MakeH() // Mỗi tiến trình MakeH tạo 1 nguyên tử H
{
Make-Hydro();
}
MakeO() // Mỗi tiến trình MakeO tạo 1 nguyên tử O
{
Make-Oxy();
}
MakeWater() /* Tiến trình MakeWater hoạt động đồng hành
với các tiến trình MakeH, MakeO, chờ có đủ 2 H và 1 O để tạo H2O */
{
while (T)
Make-Water(); //Tạo 1 phân tử H2O
}

• Tại mỗi thời điểm, chỉ cho phép tối đa 3 xe lưu thông trên cầu.

• Tại mỗi thời điểm, chỉ cho phép tối đa 3 xe lưuthông cùng hướng trên cầu.

• Mỗi chiếc xe khi đến đầu cầu sẽ gọi ArriveBridge(direction) để kiểm tra điều kiện lên cầu, và khi đã qua cầu được sẽ gọi ExitBridge() để báo hiệu kết thúc.

• Giả sử hoạt động của mỗi chiếc xe được mô tả bằng một tiến trình Car() sau đây:

Code:

Car(int direction) /* direction xác định hướng di chuyển của mỗi chiếc xe.*/
{
RuntoBridge(); // Đi về phía cầu
ArriveBridge(direction);
PassBridge(); // Qua cầu
Exit Bridge();
RunfromBridge(); // Đã qua cầu
}

• Cần xây dựng 2 thủ tục HackerArrives() và EmployeeArrives() được gọi tương ứng bởi 1 hacker hoặc 1 nhân viên khi họ đến bờ sông để kiểm tra điều kiện có cho phép họ xuống thuyền không ? Các thủ tục này sẽ sắp xếp những người thích hợp có thể lên thuyền. Những người đã được lên thuyền khi thuyền chưa đầy sẽ phải chờ đến khi người thứ 4 xuống thuyền mới có thể khởi hành qua sông. (Không quan tâm đến số lương thuyền hay việc thuyền qua sông rồi trở lại…Xem như luôn có thuyền để sắp xếp theo các yêu cầu hợp lệ)

• Giả sử hoạt động của mỗi hacker được mô tả bằng một tiến trình Hacker() sau đây:

Code:

Hacker()
{
RuntoRiver(); // Đi đến bờ sông
HackerArrives (); // Kiểm tra điều kiện xuống thuyền
CrossRiver(); // Khởi hành qua sông
}
và hoạt động của mỗi nhân viên được mô tả bằng một tiến trình Employee() sau đây:
Employee()
{
RuntoRiver(); // Đi đến bờ sông
EmployeeArrives (); // Kiểm tra điều kiện xuống thuyền
CrossRiver(); // Khởi hành qua sông
}

• Hãy tưởng tượng bạn chịu trách nhiệm kiểm soát hành khách lên xe bus tại một trạm dừng.
  Mỗi xe bus có đủ chỗ cho 10 hành khách. Trong đó 4 chỗ chỉ dành cho khách ngồi xe lăn, 6 chỗ còn lại chỉ dành cho khách bình thường.

• Công việc của bạn là cho khách lên xe theo đúng qui định chỗ, khi xe đầy khách sẽ khởi hành. Có thể có nhiều xe và nhiều hành khách vào bến cùng lúc, nguyên tắc điều phối sẽ xếp khách vào đầy một xe, cho xe này khởi hành rồi mới điều phối cho xe khác.

• Giả sử hoạt động điều phối khách của bạn cho 1 chiếc xe bus được mô tả qua tiến trình

• GetPassengers(); hoạt động của mỗi hành khách tùy loại được mô tả lần lượt bằng tiến trình

• WheelPassenger() và NonWheelPassenger() sau đây , hãy sửa chữa các đoạn code, sử dụng cơ chế semaphore để thực hiện các nguyên tắc đồng bộ hoá cần thiết.

Code:

GetPassenger()
{
ArriveTerminal(); // tiếp nhận một xe vào bến
OpenDoor(); // mở cửa xe, thủ tục này xem như đã có
for (int i=0; i<4; i++) // tiếp nhận các hành khách ngồi xe lăn
{
ArrangeSeat(); // đưa 1 khách vào chỗ
}
for (int i=0; i<6; i++) // tiếp nhận các hành khách bình thường
{
ArrangeSeat(); // đưa 1 khách vào chỗ
}
CloseDoor(); // đóng cửa xe, thủ tục này xem như đã có
DepartTerminal(); // cho một xe rời bến
}
WheelPassenger()
{
ArriveTerminal(); // đến bến
GetOnBus(); // lên xe
}
NonWheelPassenger()
{
ArriveTerminal(); // đến bến
GetOnBus(); // lên xe
}