Bài giảng Hệ điều hành nâng cao - Bài 5: Các giải pháp đồng bộ hoá - Trần Hạnh Nhi

1 
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 
2 
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 ă ng 
 Không đ òi hỏi sự trợ giúp của Hệ đ iều hành 
3 
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ợ 
4 
Semaphore 
 Đ ư ợc hỗ trợ bởi HĐH 
 Tổ chức đ ộc quyền truy xuất 
Semaphore s; // s >= 0 
Down (s) & Up(s) 
Down (s) 
CS; 
 Up(s) 
 Tổ chức “hò hẹn” 
P1 : 
Job1; 
 Up(s) 
P2: 
Down (s); 
Job2; 
5 
Monitor 
 Đ ư ợc hỗ trợ bởi NNLT 
 Bảo đ ảm đ ộc quyền  truy xuất tự đ ộng 
 Sử dụng biến đ iều kiện đ ể thực hiện “Hò hẹn” 
Monitor m 
int x; 
Condition c; 
Function F1() 
{ .wait(c); } 
Function F2() 
{ .signal(c); } 
6 
Message 
 Đ ư ợc hỗ trợ bởi HĐH 
 Đồng bộ hóa trên môi tr ư ờng phân tán 
Server 
P 
 1. Send Request 
2. Receive Accept 
3. Send Finish 
7 
Các bài toán đ ồng bộ hoá kinh đ iển 
Producer-Consumer 
P không đư ợc ghi dữ liệu vào buffer đ ã đ ầy 
C không đư ợc đ ọc dữ liệu từ buffer đ ang trống 
P và C không đư ợc thao tác trên buffer cùng lúc 
P 
C 
Buffer (N) 
Readers - Writers 
 W không đư ợc cập nhật dữ liệu khi có một R đ ang truy xuất CSDL . 
 Tại một thời đ iểm , chỉ cho phép một W đư ợc  sửa đ ổi nội dung CSDL . 
Database 
R1 
R2 
R3 
W1 
W2