Bài giảng hệ điều hành : QUẢN LÝ TIẾN TRÌNH part 3
Số trang: 11
Loại file: pdf
Dung lượng: 126.99 KB
Lượt xem: 15
Lượt tải: 0
Xem trước 2 trang đầu tiên của tài liệu này:
Thông tin tài liệu:
b. Giải pháp dùng biến khóa Dùng biến khóa chungProcedure P(lock: integer); begin repeat while lock=1 do; Lock=1 ; lock:=0 ; until .F. end;Var lock1, lock2: byte; begin lock1:=0; lock2:=1 p1: repeat while lock2=1 do; Lock1:=1 ; lock1:=0 ; until .F. p2: repeat while lock1=1 do; Lock2:=1 ; lock2:=0 ; until .F. end
Nội dung trích xuất từ tài liệu:
Bài giảng hệ điều hành : QUẢN LÝ TIẾN TRÌNH part 3Procedure P(lock: integer); begin repeat while (TestAnhSetLock(lock)) do; ; lock:=0 ; until .F. end;b. Giải pháp dùng biến khóa Dùng biến khóa chungProcedure P(lock: integer); begin repeat while lock=1 do; Lock=1 ; lock:=0 ; until .F. end; Dùng biến khóa riêngVar lock1, lock2: byte;beginlock1:=0; lock2:=1 p1: repeat while lock2=1 do; Lock1:=1 ; lock1:=0 ; until .F. p2: repeat while lock1=1 do; Lock2:=1 ; lock2:=0 ; until .F.endC. Giải pháp được hỗ trợ bởi HĐH và ngôn ngữ lập trình Dùng Semaphore(đèn báo) Semaphore S là 1 biến nguyên, khởi gán bằng 1 giá trị không âm, là khả năng phục vụ của tài nguyên găng tương ứng với nó Ứng với S có 1 hàng đợi F(s) lưu các tiến trình đang chờ trên S Thao tác Down giảm S 1 đơn vị, Up tăng S 1 đơn vị Mỗi tiến trình trước khi vào đoạn găng cần gọi Down để giảm S và kiểm tra nếu S>=0 thì được vào đoạn găng Mỗi tiến trình khi ra khỏi đoạn găng phải gọi Up để tăng S lên 1 đơn vị và ktra nếu S Procedure Down(S);Begin S:=S-1; If sProcedure Up(S);Begin S:=S+1; If s 3. TẮC NGHẼN VÀCHỐNG TẮC NGHẼN3.1 Tắc nghẽn Sự xung đột về tài nguyên của các tiến trình hoạt động đồng thời trong hệ thống Tắc nghẽn thường xảy ra với xung đột tài nguyên không phân chia được, ít xảy ra với tài nguyên phân chia được3.2 Điều kiện hình thành tắc nghẽn Sử dụng tài nguyên không thể chia sẻ Chiếm giữ và yêu cầu tài nguyên Không thu hồi tài nguyên từ tiến trình đang chiếm giữ chúng Đợi vòng tròn3.3 Các mức phòng tránh tắc nghẽn Ngăn ngừa Dự báo và tránh tắc nghẽn Nhận biết và khắc phục4. ĐIỀU PHỐI TIẾN TRÌNH
Nội dung trích xuất từ tài liệu:
Bài giảng hệ điều hành : QUẢN LÝ TIẾN TRÌNH part 3Procedure P(lock: integer); begin repeat while (TestAnhSetLock(lock)) do; ; lock:=0 ; until .F. end;b. Giải pháp dùng biến khóa Dùng biến khóa chungProcedure P(lock: integer); begin repeat while lock=1 do; Lock=1 ; lock:=0 ; until .F. end; Dùng biến khóa riêngVar lock1, lock2: byte;beginlock1:=0; lock2:=1 p1: repeat while lock2=1 do; Lock1:=1 ; lock1:=0 ; until .F. p2: repeat while lock1=1 do; Lock2:=1 ; lock2:=0 ; until .F.endC. Giải pháp được hỗ trợ bởi HĐH và ngôn ngữ lập trình Dùng Semaphore(đèn báo) Semaphore S là 1 biến nguyên, khởi gán bằng 1 giá trị không âm, là khả năng phục vụ của tài nguyên găng tương ứng với nó Ứng với S có 1 hàng đợi F(s) lưu các tiến trình đang chờ trên S Thao tác Down giảm S 1 đơn vị, Up tăng S 1 đơn vị Mỗi tiến trình trước khi vào đoạn găng cần gọi Down để giảm S và kiểm tra nếu S>=0 thì được vào đoạn găng Mỗi tiến trình khi ra khỏi đoạn găng phải gọi Up để tăng S lên 1 đơn vị và ktra nếu S Procedure Down(S);Begin S:=S-1; If sProcedure Up(S);Begin S:=S+1; If s 3. TẮC NGHẼN VÀCHỐNG TẮC NGHẼN3.1 Tắc nghẽn Sự xung đột về tài nguyên của các tiến trình hoạt động đồng thời trong hệ thống Tắc nghẽn thường xảy ra với xung đột tài nguyên không phân chia được, ít xảy ra với tài nguyên phân chia được3.2 Điều kiện hình thành tắc nghẽn Sử dụng tài nguyên không thể chia sẻ Chiếm giữ và yêu cầu tài nguyên Không thu hồi tài nguyên từ tiến trình đang chiếm giữ chúng Đợi vòng tròn3.3 Các mức phòng tránh tắc nghẽn Ngăn ngừa Dự báo và tránh tắc nghẽn Nhận biết và khắc phục4. ĐIỀU PHỐI TIẾN TRÌNH
Tìm kiếm theo từ khóa liên quan:
hệ điều hành bài giảng hệ điều hành giáo trình hệ điều hành đề cương hệ điều hành tài liệu hệ điều hànhGợi ý tài liệu liên quan:
-
Giáo trình Lý thuyết hệ điều hành: Phần 1 - Nguyễn Kim Tuấn
110 trang 451 0 0 -
Lecture Operating systems: Lesson 24 - Dr. Syed Mansoor Sarwar
29 trang 383 0 0 -
Lecture Operating systems: Lesson 21 - Dr. Syed Mansoor Sarwar
22 trang 330 0 0 -
183 trang 317 0 0
-
173 trang 274 2 0
-
Lecture Operating systems: Lesson 13 - Dr. Syed Mansoor Sarwar
31 trang 271 0 0 -
175 trang 271 0 0
-
Giáo trình Nguyên lý các hệ điều hành: Phần 2
88 trang 270 0 0 -
Giáo trình Nguyên lý hệ điều hành (In lần thứ ba): Phần 1 - PGS.TS. Hà Quang Thụy
98 trang 247 0 0 -
Đề tài nguyên lý hệ điều hành: Nghiên cứu tìm hiểu về bộ nhớ ngoài trong hệ điều hành Linux
19 trang 244 0 0