1. Trang chủ
  2. » Công Nghệ Thông Tin

Hệ điều hành ( Vũ Đức Lung ) - Chương 5 phần 1

15 5 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Cấu trúc

  • Chương V-I: Liên lạc giữa các Tiến Trình

  • Nhu Cầu Liên Lạc

  • Slide 3

  • Các Cơ Chế Liên Lạc

  • Slide 5

  • Slide 6

  • Slide 7

  • Slide 8

  • Race condition

  • Vùng tranh chấp (Miền găng - critical section)

  • Giải pháp tổng quát

  • Mô hình đảm bảo độc quyền truy xuất

  • Hẹn hò

  • Giải pháp

  • Mô hình tổ chức phối hợp hoạt động giữa hai tiến trình

Nội dung

Tiến trình truy xuất đến một địa chỉ bất hợp lệ.Tiến trình con kết thúc.Tín hiệu 1 do người dùng định nghĩa.Tín hiệu 2 do người dùng định nghĩa. Các tín hiệu được gửi đi bởi?khi nhận thì xử lý ra sao?.

Chương V-I: Liên lạc Tiến Trình CƠ CHẾ ? VẤN ĐỀ ? TRAO ĐỔI THÔNG TIN GIỮA CÁC TIẾN TRÌNH Khoa KTMT GIẢI PHÁP ? Vũ Đức Lung 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 Q Khoa KTMT Vũ Đức Lung L Các Cơ Chế Liên Lạc Signal : Khơng truyền liệu Các tín hiệu gửi bởi?khi nhận xử lý sao? Khoa KTMT Vũ Đức Lung Các Cơ Chế Liên Lạc  Pipe Truyền liệu không cấu trúc Khoa KTMT Vũ Đức Lung Các Cơ Chế Liên Lạc  Shared Memory Mâu thuẫn truy xuất => nhu cầu đồng hoá Khoa KTMT Vũ Đức Lung 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   Send(destination, message)  : gởi thông điệp đến destination Receive(source,message)  : nhận thông điệp từ source Khoa KTMT Vũ Đức Lung 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:   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 Khoa KTMT Vũ Đức Lung 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  Liên lạc chế độ nối kết Hủy socket  VD: Giao tiếp TCP Khoa KTMT Vũ Đức Lung Race condition  P1 P2 chia sẻ biến chung hits hits = P1 time read hits hits =hits + hits = 1, ? P2 read hits hits = hits + Kết cuối khơng dự đốn ! Khoa KTMT Vũ Đức Lung Vùng tranh chấp (Miền găng - critical section) P2 P1 CS read hits hits = hits + read hits CS hits = hits + CS đoạn chương trình có khả gây tượng race condition Khoa KTMT Vũ Đức Lung 10 Giải pháp tổng quát hits = P1 time 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 Vũ Đức Lung 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 Vũ Đức Lung 12 Hẹn hò P2 P1 Job1; Job2; Làm bảo đảm trình tự thực Job1 Job2 ? Khoa KTMT Vũ Đức Lung 13 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ý Khoa KTMT Vũ Đức Lung 14 Mơ hình tổ chức phối hợp hoạt động hai tiến trình P2 P1 Job1; Chờ ; Báo hiệu ; Khoa KTMT Job2; Vũ Đức Lung 15 ... CS; Từ bỏ quyền sử dụng CS Khoa KTMT Vũ Đức Lung 12 Hẹn hò P2 P1 Job1; Job2; Làm bảo đảm trình tự thực Job1 Job2 ? Khoa KTMT Vũ Đức Lung 13 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ý Khoa KTMT Vũ Đức Lung 14 Mơ hình tổ chức phối hợp hoạt động hai tiến trình P2 P1 Job1; Chờ ; Báo hiệu ; Khoa KTMT Job2; Vũ Đức Lung 15 ... Vùng tranh chấp (Miền găng - critical section) P2 P1 CS read hits hits = hits + read hits CS hits = hits + CS đoạn chương trình có khả gây tượng race condition Khoa KTMT Vũ Đức Lung 10 Giải pháp

Ngày đăng: 09/05/2021, 18:26