Nguyet TTN (2017) – Tổng hợp Trang 1 Nguồn Sách Hệ điều hành, tác giả Trần Hạnh Nhi và Sách Operating System Concepts, version 9 1 Giải pháp đầu tiên được biết đến trong việc giải quyết tranh chấp vùn[.]
Nguồn: Sách Hệ điều hành, tác giả Trần Hạnh Nhi Sách Operating System Concepts, version -1 Giải pháp biết đến việc giải tranh chấp vùng critical-section cho process phần mềm từ tác giả Dekker, với code bên (Trong slide học, giải pháp phần mềm khác giải vấn đề critical-section cho process giải thuật Peterson) Hai process P0 P1 dùng biến chia sẻ: boolean flag[2]; /* khởi tạo false */ int turn; /*chỉ nhận giá trị hay 1; khởi tạo hay 1*/ Code cho process Pi (i = 1) sau: Giải thuật thỏa mãn u cầu giải tốn critical-section khơng? Tại Đáp án: Thỏa mãn yêu cầu Với yêu cầu yêu cầu giải tốn critical-section, sinh viên giải thích yêu cầu thỏa với giải thuật Xét giải pháp đồng hóa sau: while (TRUE) { int j = 1- i; /*i = j ngược lại*/ flag[i]= TRUE; turn = i; while (turn == j && flag[j] == TRUE); Critical-section; flag[i] = FALSE; Remainder-section; } Nguyet TTN (2017) – Tổng hợp Trang Với flag turn biến chia sẻ boolean flag[2]; int turn; Và đoạn code chạy hai process Pi Pj Giải pháp có đảm bảo ba yêu cầu giải tốn critical-section hay khơng? Đáp án: Khơng Xét tình flag[0] = true; turn = P0 vào critical-section, lúc flag[1] = 1, P1 gán turn = vào critical-section Các dạng tập bên liên quan đến Semaphore Sinh viên ý: Thực tế, có nhiều thư viện hỗ trợ Semaphore, hàm wait signal khác đôi chỗ so với Semaphore học lý thuyết chương Vì vậy, coi tài liệu thêm cần lưu ý điểm Semaphore lý thuyết chương theo quy tắc: typedef struct { int value; struct process *L; /* process queue */ } semaphore; void wait(semaphore *S) { S.value ; if (S.value < 0) { add this process to S.L; block(); } } void signal(semaphore *S) { S.value++; if (S.value