Chương 3 Quản lý các quá trình đồng thời

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
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
11
Ràng buộc của bài toán tranh chấp
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
12
Phân loại giải pháp
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
13

Giải pháp phần mềm
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
14
Giải thuật 1
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
15
Giải thuật 1(t.t)
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
16
Giải thuật 2
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
17
Giải thuật 3 (Peterson)
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
18
Giải thuật Peterson-2 process
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
19
Giải thuật 3: Tính đúng đắn
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
20
Giải thuật 3: Tính đúng đắn (t.t)
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
21
Trường hợp process bị “chết”
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
22
Giải thuật Bakery: N process
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
23

Giải thuật Bakery: N process(t.t)
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
24
Từ software đến hardware
Khoa Công Nghệ Thông Tin – ĐHCN TP HCM
25
Cấm ngắt