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ấn đề đồng bộ hóa

Nội dung text: 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ấn đề đồng bộ hóa

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