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.

BÀI 4 :   LIÊN LẠC GIỮA CÁC TIẾN  TRÌNH              & VẤN ĐỀ ĐỒNG BỘ HỐ C Ơ  CH Ế  ? TRAO ĐỔI THƠNG TIN GIỮA CÁC TIẾN TRÌN VẤ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 đượ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ộ hố 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 Race condition  P1 và P2 chia sẻ biến chung hits hits = 0 time P1 read hits (0) hits = 0 + 1 hits = 1 P2 read hits (0) hits = 0 + 1   Kết quả cuối cùng khơng dự đốn được ! Miền găng (critical section) P1 CS read hits (0) hits = 0 + 1 P2 read hits (0) 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 Giải pháp tổng quát hits = 0 time P1 P2 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 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 Rendez­Vous P2 P1 Job1; Job2; Làm thế nào bảo  đảm trình tự thực hiện Job1 ­  Job2 ? Giải pháp P2 P1 Job1; Job2; Hai tiến trình cần trao đổi thơng tin về diễn tiến  xử lý Mơ hình tổ chức phối hợp hoạt động giữa hài  tiến trình P2 P1 Job1; Báo  hiệu ; Chờ ; 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 ... Mơ hình tổ chức phối hợp hoạt động giữa hài  tiến trình P2 P1 Job1; Báo  hiệu ; Chờ ; Job2; 10 Bài tốn đồng bộ hố  Nhi u  tiến  trình  chia  sẻ  tài  nguyên  chung đồng thời :    Tranh chấp ? Nhu ...  Mâu thuẫn truy xuất  => nhu cầu đồng bộ hố 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 Race condition  P1 và P2 chia sẻ biến chung hits hits = 0 time P1 read hits (0)