Liên lạc giữa tiến trình và vấn đề đồng bộ hóa
BÀI : 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ÌN GỈAI PHÁP ? Nhu Cầu Liên Lạc Q Chia sẻ thông tin p Phối hợp tăng tốc độ xử lý L R JOB p Q L Các Cơ Chế Liên Lạc Signal Không truyền liệu Pipe Truyền liệu không cấu trúc Shared Memory Broadcast Mâu thuẫn truy xuất => nhu cầu đồng hoá Message Liên lạc môi trường phân tán Socket Liên lạc nhiều môi trường khác biệt Race condition P1 P2 chia sẻ biến chung hits hits = time P1 read hits (0) hits = + hits = P2 read hits (0) hits = + Kết cuối không dự đoán ! Miền găng (critical section) P1 CS read hits (0) hits = + P2 read hits (0) hits = + CS CS đoạn chương trình có khả gây tượng race condition Giải pháp tổng quát hits = time P1 P2 hits = hits + hits = hits + hits = Bảo đảm tính “độc quyền truy xuất” miền găng thời điểm Mô hình đảm bảo độc quyền truy xuất Kiểm tra dành quyền vào CS CS; Từ bỏ quyền sử dụng CS Rendez-Vous P2 P1 Job1; Job2; Làm bảo đảm trình tự thực Job1 Job2 ? Giải pháp P2 P1 Job1; Job2; Hai tiến trình cần trao đổi thông tin diễn tiến xử lý Mô hình tổ chức phối hợp hoạt động hài tiến trình P2 P1 Job1; Báo hiệu ; Chờ ; Job2; 10 Bài toán đồng 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) 11 ... lý Mô hình tổ chức phối hợp hoạt động hài tiến trình P2 P1 Job1; Báo hiệu ; Chờ ; Job2; 10 Bài toán đồng hoá Nhiều tiến trình chia sẻ tài nguyên chung đồng thời : Tranh chấp ? Nhu cầu “độc... dành quyền vào CS CS; Từ bỏ quyền sử dụng CS Rendez-Vous P2 P1 Job1; Job2; Làm bảo đảm trình tự thực Job1 Job2 ? Giải pháp P2 P1 Job1; Job2; Hai tiến trình cần trao đổi thông tin diễn tiến xử lý... trúc Shared Memory Broadcast Mâu thuẫn truy xuất => nhu cầu đồng hoá Message Liên lạc môi trường phân tán Socket Liên lạc nhiều môi trường khác biệt Race condition P1 P2 chia sẻ biến