Tiểu luận môn hệ phân tán ĐỒNG BỘ TIẾN TRÌNH

I. Hệ tin học phân tán

1. Khái niệm hệ tin học phân tán

2. Đặc điểm cơ bản của hệ phân tán

3. Các điểm mạnh của hệ tin học phân tán

I. Đồng bộ tiến trình

1. Bài toán đồng bộ hóa

2. Miền găng hay vùng tương trục

3. Đồng bộ hóa các tiến trình trong hệ điều hành tập trung

a. Loại trừ lẫn nhau (mutual exclusion)

b. Đồng bộ hóa

c. Tắt nghẽn

d. Các semaphore

4. Vấn đề đồng bộ hóa các tiến trình trong hệ điều hành phân tán

a. Trật tự từng phần

b. Giả định các điều kiện chung

c. Đồng bộ hóa bằng phương pháp trật tự từng phần

II. Công tơ sự kiện

1. Các kiến thức liên quan đến công tơ sự kiện

2. Chứng minh bài toán dựa trên kiến thức về công tơ sự kiện

a. Chứng minh Pi → Ci

b. Chứng minh Ci → Pi+N