Bài giảng Hệ điều hành nâng cao: Bài 4 - Trần Hạnh Nhi

Bài 4 - Liên lạc giữa các tiến trình & vấn đề đồng bộ hoá. Chương này gồm có những nội dung chính sau: Các cơ chế liên lạc, race condition, miền găng (critical section), mô hình tổ chức phối hợp hoạt động giữa hài tiến trình,... Mời các bạn cùng tham khảo để biết thêm nội dung chi tiết.
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 4 - Trần Hạnh Nhi 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ÌN VẤN  ĐỀ ? GỈAI  PHÁP ? 1 Nhu Cầu Liên Lạc Q  Chia sẻ thông tin p L R  Phối hợp tăng tốc độ xử lý  JOB p L Q 2 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 3 Race condition  P1 và P2 chia sẻ biến chung hits hits = 0 P1 P2 time read hits (0) read hits (0) hits = 0 + 1 hits = 0 + 1 hits = 1   Kết quả cuối cùng không dự đoán được ! 4 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 Giải pháp tổng quát hits = 0 P1 P2 time 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 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 Rendez­Vous P1 P2 Job1; Job2; Làm thế nào bảo  đảm trình tự thực hiện Job1 ­  Job2 ? 8 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 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 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) 11