Một số khái niệm cơ bản*
 Tiến trình độc lập không ảnh hưởng và không bị ảnh
hưởn
g bởi việc thực thi của các tiến trình khác.g
 Tiến trình hợp tác (không độc lập) có thể ảnh hưởng
và bị ảnh hưởng bởi việc thực thi của các tiến trình
khác.
 Ưu điểm của việc hợp tác tiến trình:

Chia sẻ thông tin

Tăng tốc tính toán (xử lý song song)
Tí h d l hó

Tính module hóa

Tiện lợi
2
Một số khái niệm cơ bản*
 Các tiến trình sử dụng và cập nhập dữ liệu chia sẻ
như các biến, file và cơ sở dữ liệu dùng chung.
ể Thao tác ghi phải độc lập từng đôi một để ngăn ngừa
tình trạng đụng độ, có thể dẫn đến tính không toàn
vẹndữ liệuvẹn dữ liệu.
 Các miền găng dùng để cung cấp sự toàn vẹn dữ liệu.

Mộttiếntrìnhđòi hỏimiềngăng phải không bị chờMột tiến trình đòi hỏi miền găng phải không bị chờ
mãi mãi: deadlock
3
Đụng độ (race condition)
 Race condition: tình huống mà nhiều tiến trình cùng

7
Ngữ cảnh miền găng
 Đoạn mã thể hiện yêu cầu này được gọi làEntry
Section
(ES).()
 Miền găng (CS) có thể theo sau là Leave/Exit
Section (LS).Section (LS).
 Phần đoạn mã còn lại là Remainder Section (RS).
 Vấn đề củamiềngăng là thiếtkế mộtgiaothứcmà Vấn đề của miền găng là thiết kế một giao thức mà
các tiến trình có thể sử dụng để hành động của chúng
sẽ không phụ thuộcvàothứ tự mà sự thi hành củasẽ không phụ thuộc vào thứ tự mà sự thi hành của
chúng được chen vào.
8
Giải pháp cho vấn đề miền găng
 Có 3 yêu cầu mà một giải pháp đúng cần phải thỏa
mãn:
ế1. Mutual Exclusion: không có 2 tiến trình cùng ở
trong miền găng một lúc
2 PMộttiế tìhbê ài iề ă2. Progress: Một tiến trình bên ngoài miền găng
không được ngăn cản các tiến trình khác vào
mi
ền găngg g
3. Bounded Waiting: không có tiến trình nào phải
chờ vô hạn để vào miền găng
 Chỉ cần một trong ba điều kiện trên sai thì giải
há đ là i
9
pháp đưa ra là sai.
Cấu trúc của các tiến trình
 Cấu trúc tổng quát của tiến trình P

á i đhùøii l i

nếu turn = i  P
i
được phép vào critical section
 Process P
i
do {do {
while (turn != i) ;
critical section
();()
turn = j;
remainder section();
i(1)} while (1);

Thoả mãn mutual exclusion (1)
12
Thoa man mutual exclusion (1)
 Progress (2) & bounded-waiting (3) ?