Bài giảng Hệ điều hành: Chương 5.1 - ThS. Hà Lê Hoài Trung

Bài giảng Hệ điều hành - Chương 5.1: Liên lạc giữa các tiến trình cung cấp cho người đọc các kiến thức: Nhu cầu liên lạc, cơ chế liên lạc, Race condition, giải pháp tổng quát, mô hình đảm bảo độc quyền truy xuất,... Mời các bạn cùng tham khảo nội dung chi tiết.

Chương V-I: Liên lạc Tiến Trình CƠ CHẾ ? TRAO ĐỔI THƠNG GIỮA CÁC TIẾN TRÌNH VẤNTIN ĐỀ GIẢI ? PHÁP ? Khoa KTMT 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 Khoa KTMT L Các Cơ Chế Liên Lạc Signal : Khơng truyền liệu Tín hiệu SIGINT SIGQUIT SIGILL SIGKILL SIGFPT SIGPIPE SIGSEGV SIGCLD SIGUSR1 SIGUSR2 Mô tả Người dùng nhấn phím DEL để ngắt xử lý tiến trình u cầu xử lý Tiến trình xử lý thị bất hợp lệ Yêu cầu kết thúc tiến trình Lỗi floating – point xảy ( chia cho 0) Tiến trình ghi liệu vào pipe mà khơng có reader Tiến trình truy xuất đến địa bất hợp lệ Tiến trình kết thúc Tín hiệu người dùng định nghĩa Tín hiệu người dùng định nghĩa Các tín hiệu gửi bởi?khi nhận xử lý sao? Khoa KTMT Các Cơ Chế Liên Lạc  Pipe Truyền liệu không cấu trúc Khoa KTMT Các Cơ Chế Liên Lạc  Shared Memory Mâu thuẫn truy xuất => nhu cầu đồng hoá Khoa KTMT Các Cơ Chế Liên Lạc  Message Liên lạc môi trường phân tán  Liên kết tiềm ẩn    Send(message) : gởi thông điệp Receive(message) : nhận thông điệp Liên kết tường minh   Khoa KTMT Send(destination, message) : gởi thông điệp đến destination Receive(source,message) : nhận thông điệp từ source Các Cơ Chế Liên Lạc    Socket: thiết bị truyền thông hai chiều tập tin Mỗi Socket thành phần mối nối máy mạng Các thuộc tính socket:   Khoa KTMT Domaine: định nghĩa dạng thức địa nghi thức sử dụng Có nhiều domaines, ví dụ UNIX, INTERNET, XEROX_NS, Type: định nghĩa đặc điểm liên lạc  a) độ tin cậy  b) độ bảo toàn thứ tự liệu  c) Lặp lại liệu  d) Chế độ nối kết  e) Bảo tồn giới hạn thơng điệp  f) Khả gởi thông điệp khẩn Các Cơ Chế Liên Lạc  Để thực liên lạc socket, cần tiến hành thao tác :     Tạo lập hay mở socket Gắn kết socket với địa Liên lạc : có hai kiểu liên lạc tùy thuộc vào chế độ nối kết:  Liên lạc chế độ không liên kết - UDP  Liên lạc chế độ nối kết - TCP Hủy socket VD: Giao tiếp TCP Khoa KTMT Race condition  P1 P2 chia sẻ biến chung hits hits = time P1 read hits hits =hits + hits = 1, ? P2 read hits hits = hits + Kết cuối khơng dự đốn ! Khoa KTMT Vùng tranh chấp (Miền găng - critical section) P1 CS read hits hits = hits + P2 read hits hits = hits + CS CS đoạn chương trình có khả gây tượng race condition Khoa KTMT 10 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 Khoa KTMT 11 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 Khoa KTMT 12 Hẹn hò P1 Job1; P2 Job2; Làm bảo đảm trình tự thực Job1 - Job2 ? Khoa KTMT 13 Giải pháp P1 Job1; P2 Job2; Hai tiến trình cần trao đổi thông tin diễn tiến xử lý Khoa KTMT 14 Mơ hình tổ chức phối hợp hoạt động hai tiến trình P2 P1 Khoa KTMT Job1; Chờ ; Báo hiệu ; Job2; 15 ... socket, cần tiến hành thao tác :     Tạo lập hay mở socket Gắn kết socket với địa Liên lạc : có hai kiểu liên lạc tùy thuộc vào chế độ nối kết:  Liên lạc chế độ không liên kết - UDP  Liên lạc... khơng dự đốn ! Khoa KTMT Vùng tranh chấp (Miền găng - critical section) P1 CS read hits hits = hits + P2 read hits hits = hits + CS CS đoạn chương trình có khả gây tượng race condition Khoa KTMT... tùy thuộc vào chế độ nối kết:  Liên lạc chế độ không liên kết - UDP  Liên lạc chế độ nối kết - TCP Hủy socket VD: Giao tiếp TCP Khoa KTMT Race condition  P1 P2 chia sẻ biến chung hits hits