Bài giảng Hệ điều hành nâng cao - Bài 4: Liên lạc giữa các tiến trình và vấn đề đồng bộ hoá - Trần Hạnh Nhi

1 
BÀI 4 : LIÊN LẠC GIỮA CÁC TIẾN TRÌNH  & VẤN ĐỀ ĐỒNG BỘ HOÁ 
C Ơ CHẾ ? 
 VẤN ĐỀ ? 
TRAO ĐỔI THÔNG TIN GIỮA CÁC TIẾN TRÌNH 
 GỈAI PHÁP ? 
2 
Nhu Cầu Liên Lạc 
Q 
L 
p 
 Chia sẻ thông tin 
R 
 Phối hợp t ă ng tốc đ ộ xử lý 
Q 
L 
p 
JOB 
3 
Các C ơ Chế Liên Lạc 
Signal 
Không truyền đư ợc dữ liệu 
Pipe 
 Truyền dữ liệu không cấu trúc 
Shared Memory 
Broadcast 
 Mâu thuẫn truy xuất => nhu cầu đ ồng bộ hoá 
Message 
Liên lạc trên môi tr ư ờng phân tán 
Socket 
Liên lạc trên nhiều môi tr ư ờng khác biệt 
4 
Race condition 
hits = 0 + 1 
read hits (0) 
hits = 0 + 1 
read hits (0) 
P1 
P2 
hits = 1 
hits = 0 
time 
 Kết quả cuối cùng không dự đ oán đư ợc ! 
 P1 và P2 chia sẻ biến chung hits 
5 
Miền g ă ng (critical section) 
hits = 0 + 1 
read hits (0) 
hits = 0 + 1 
read hits (0) 
P1 
P2 
CS 
CS 
CS là đ oạn ch ươ ng trình có khả n ă ng gây ra hiện t ư ợng race condition 
6 
Giải pháp tổng quát 
Bảo đ ảm tính “ đ ộc quyền truy xuất” miền g ă ng tại một thời đ iểm 
hits = hits + 1 
P1 
P2 
hits = 2 
hits = 0 
time 
hits = hits + 1 
7 
Mô hình đ ảm bảo đ ộc quyền truy xuất 
Kiểm tra và dành quyền vào CS 
CS; 
Từ bỏ quyền sử dụng CS 
8 
Rendez-Vous 
Làm thế nào bảo đ ảm trình tự thực hiện Job1 - Job2 ? 
P1 
P2 
Job1; 
Job2; 
9 
Giải pháp 
Hai tiến trình cần trao đ ổi thông tin về diễn tiến xử lý 
P1 
P2 
Job1; 
Job2; 
10 
Mô hình tổ chức phối hợp hoạt đ ộng giữa hài tiến trình 
P1 
P2 
Job1; 
Chờ ; 
Báo hiệu ; 
Job2; 
11 
Bài toán đ ồng bộ hoá 
Nhiều tiến trình chia sẻ tài nguyên chung đ ồng thời : 
Tranh chấp ? 
Nhu cầu “ đ ộc quyền truy xuất” (mutual exclusion) 
Các tiến trình phối hợp hoạt đ ộng : 
T ươ ng quan diễn tiến xử lý ? 
Nhu cầu “hò hẹn” (rendez-vous)