tailieunhanh - Bài giảng Hệ điều hành: Chapter 5.2 - ThS. Trần Thị Như Nguyệt

Bài giảng "Hệ điều hành - Chương 5: Đồng bộ" phần 2 được biên soạn nhằm giúp người học có thể 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. | Chương 5 Đồng bộ - 2 https tailieudientucntt 01 2015 Câu hỏi ôn tập 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 2 https tailieudientucntt Đồng bộ Mục tiêu 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 3 https tailieudientucntt Đồng bộ Nội dung 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 Cấm ngắt Các lệnh đặc biệt 4 https tailieudientucntt Đồng bộ 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 Thoả mãn mutual exclusion 1 Nhưng không thoả mãn yêu cầu về progress 2 và bounded waiting 3 5 https tailieudientucntt Đồng bộ Giải thuật 1 tt Process P0 Process P1 do do while turn 0 while turn 1 critical section critical section turn 1 turn 0 remainder section remainder section while 1 while 1 Ví dụ P0 có RS remainder section rất lớn còn P1 có RS nhỏ 6 https tailieudientucntt Đồng bộ Giải thuật 2 Biến chia sẻ boolean flag 2 khởi đầu flag 0 flag 1 false Nếu flag i true thì Pi sẵn sàng vào critical section. Process Pi do flag i true Pi sẵn sàng vào CS while flag j Pi nhường Pj critical section flag i false remainder section while 1 Bảo đảm được mutual exclusion. Không thỏa mãn progress. Vì sao Nếu flag i flag j true cả 2 process đều lặp vòng vô tận tại while không ai vào được CS 7 Đồng bộ https tailieudientucntt Giải thuật 3 Peterson Biến chia sẻ Kết hợp cả giải thuật 1 và 2. Process Pi với i 0 hay 1 do flag i true Process i sẵn sàng turn j

TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.