Bài giảng Hệ điều hành: Chương trình bày về "Đồng bộ". Nội dung cụ thể của chương này gồm có: Sử dụng giải thuật kiểm tra luân phiên, sử dụng các biến cờ hiệu, giải pháp của Peterson, giải pháp Bakery,. | HỆ ĐIỀU HÀNH Chương 5 – Đồng bộ (2) 1/17/2018 1/17/2018 Copyrights 2017 CE-UIT. All Rights Reserved. 1 Ôn tập chương 5 (1) Khi nào thì xảy ra tranh chấp race condition? Vấn đề Critical Section là gì? Yêu cầu của lời giải cho CS problem? Có mấy loại giải pháp? Kể tên? 1/17/2018 Copyrights 2017 CE-UIT. All Rights Reserved. 2 Mục tiêu chương 5 (2) Hiểu được nhóm giải pháp Busy waiting bao gồm: Các giải pháp phần mềm Các giải pháp phần cứng 1/17/2018 Copyrights 2017 CE-UIT. All Rights Reserved. 3 Nội dung chương 5 (2) Các giải pháp phần mềm Sử dụng giải thuật kiểm tra luân phiên Sử dụng các biến cờ hiệu Giải pháp của Peterson Giải pháp Bakery Các giải pháp phần cứng Cấp ngắt Chỉ thị TSL 1/17/2018 Copyrights 2017 CE-UIT. All Rights Reserved. 4 Giải thuật 1 Biến chia sẻ int turn; /* khởi đầu turn = 0 */ nếu turn = i thì Pi được phép vào critical section, với i = 0 hay 1 Process Pi do { while (turn != i); critical section turn = j; remainder section } while (1); Thỏa mãn Mutual exclusion (1) Nhưng không thoả mãn yêu cầu về progress (2) và bounded waiting (3) vì tính chất strict alternation của giải thuật 1/17/2018 Copyrights 2017 CE-UIT. All Rights .
