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ữ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).
Nội dung trích xuất từ tài liệu:
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 Producer­Consumer  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