Bài giảng Hệ điều hành nâng cao: Bài 5 - Trần Hạnh Nhi

Chia sẻ: Ti Vu | Ngày: | Loại File: PPT | Số trang:7

Thêm vào BST

Báo xấu

157
lượt xem 5
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài 5 - Các giải pháp đồng bộ hoá. Những nội dung chính được trình bày trong chương này gồm có: Nhóm giải pháp Busy Waiting (Sử dụng các biến cờ hiệu, sử dụng việc kiểm tra luân phiên, giải pháp của Peterson, cấm ngắt, chỉ thị TSL), nhóm giải pháp sleep & wakeup (Semaphore, Monitor, Message).

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Bài giảng Hệ điều hành nâng cao: Bài 5 - Trần Hạnh Nhi

BÀI 5 : CÁC GIẢI PHÁP ĐỒNG BỘ HOÁ  Nhóm giải pháp Busy Waiting  Sử dụng các biến cờ hiệu  Sử dụng việc kiểm tra luân phiên  Giải pháp của Peterson  Cấm ngắt  Chỉ thị TSL  Nhóm giải pháp Sleep & Wakeup  Semaphore  Monitor  Message 1
Các giải pháp “Busy waiting” While (chưa có quyền) donothing() ; CS; Từ bỏ quyền sử dụng CS  Tiếp tục tiêu thụ CPU trong khi chờ đợi vào miền găn  Không đòi hỏi sự trợ giúp của Hệ điều hành 2
Các giải pháp “Sleep & Wake up” if (chưa có quyền) Sleep() ; CS; Wakeup( somebody);  Từ bỏ CPU khi chưa được vào miền găng  Cần được Hệ điều hành hỗ trợ 3
Semaphore Semaphore s; // s >=0  Được hỗ trợ bởi HĐH Down (s) & Up(s)  Tổ chức độc quyền truy xuất Down (s) CS; Up(s) P1 : P2: Job1; Down (s);  Tổ chức “hò hẹn” Up(s) Job2; 4
Monitor Monitor m  Được hỗ trợ bởi NNLT int x;  Bảo đảm độc quyền Condition c; truy xuất tự động  Sử dụng biến điều kiện Function F1() để thực hiện “Hò hẹn” { ….wait(c); …} Function F2() { ….signal(c); …} 5
Message 1. Send Request 3. Send Finish Server P 2. Receive Accept  Được hỗ trợ bởi HĐH  Đồng bộ hóa trên môi trường phân tán 6
Các bài toán đồng bộ hoá kinh điển ProducerConsumer P P không được ghi dữ liệu vào buffer đã Buffer (N) Buffer (N) đầy C C không được đọc dữ liệu từ buffer đang trống R2 P và C không được thao tác trên buffer R3 cùng lúc Readers Writers R1 W1  W không được cập nhật dữ liệu khi có W2 một R đang truy xuất CSDL .  Tại một thời điểm , chỉ cho phép một Database Wđược sửa đổi nội dung CSDL. 7