Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 1 Chương 3 Quản lý các quá trình đồng thời Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 2 Mục đích và yêu cầu Mục đích: • Hiểu được các quá trình thực thi đồng thời và “Critical-Section” • Hiểu được các nguyên lý cơ bản trong giải quyết tranh chấp bằng phần mềm, phần cứng và Semaphore. Yêu cầu: • Áp dụng lý thuyết để thực hiện được một số bài tập liên quan Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 3 Nội dung • Khái niệm cơ bản • Bài toán “ Critical-Section” • Các giải pháp phần mềm • Đồng bộ bằng phần cứng • Semaphore Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 4 Khái niệm cơ bản Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 5 Bounded Buffer (t,t) Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 6 Race Condition Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 7 Ví dụ về Condition Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 8 Critical Section Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 9 Critical Section và Mutual Exclusion Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 10 Cấu trúc tổng quát [...]... công việc lập trình để giải quyết vấn đề, nhưng lại không dễ dàng để cài đặt TLS sao cho được xử lý một cách không thể phân chia, nhất là trên máy với cấu hình nhiều bộ xử lý • Các giải pháp buộc quá trình phải liên tục kiểm tra điều kiện để phát hiện thời điểm thích hợp được vào CS như thế được gọi các giải pháp “ busy waiting” Việc kiểm tra tốn nhiều thời gian sử dụng CPU do vậy quá trình đang chờ... nhiều quá trình đang chờ trên semaphore s, bi khoá bởi thao tác down Thì hệ thống sẽ chọn một trong các quá trình này để kết thúc thao tác Down và cho tiếp tục xử lý Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 32 Hiện thực Semaphore Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 33 Hiện thực Semaphore (t.t) Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 34 Hiện thực Semaphore (t.t) Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 35 ... tạm dừng hoạt của quá trình (Blocked) gọi nó và chờ đến khi được một quá trình khác “đánh thức” • WAKEUP: nhận một tham số duy nhất: quá trình sẽ được tái kích hoạt (đặt về trạng thái ready) Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 30 Cấu trúc chương trình trong SLEEP and WAKEUP Int busy // 1 nếu CS bị chiếm Int blocked // số lượng quá trình đang bị khoá While {true} { if (busy) { blocked = blocked +1;... HCM 31 Semaphore • Được Dijkstra đề xuất vào năm 1965 một semaphore s là một biến cố có các thuộc tính sau: • Một giá trị nguyên dương e(s) • Một hàng đợi f(s) lưu danh sách các quá trình đang bị khoá (chờ) trên semaphore s • chỉ có hai thao tác được định nghĩa trên semaphore • Down(s): giảm giá trị của semaphore đi 1 nếu semaphore có giá trị e(s)>0, và tiếp tục xử lý Ngược lại, nếu e(s) . HCM 1 Chương 3 Quản lý các quá trình đồng thời Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 2 Mục đích và yêu cầu Mục đích: • Hiểu được các quá trình thực thi đồng thời và “Critical-Section” • Hiểu được các. tập liên quan Khoa Công Nghệ Thông Tin – ĐHCN TP HCM 3 Nội dung • Khái niệm cơ bản • Bài toán “ Critical-Section” • Các giải pháp phần mềm • Đồng bộ bằng phần cứng • Semaphore Khoa Công Nghệ Thông. và “Critical-Section” • Hiểu được các nguyên lý cơ bản trong giải quyết tranh chấp bằng phần mềm, phần cứng và Semaphore. Yêu cầu: • Áp dụng lý thuyết để thực hiện được một số bài tập liên