Trắc nghiệm Hệ điều hành Bài 13: Liên lạc giữa các tiến trình và vấn đề đồng bộ hóa

Tại sao các tiến trình cần phải liên lạc (communicate) với nhau?

Cơ chế nào cho phép các tiến trình trao đổi dữ liệu và phối hợp hoạt động?

Đâu là hai mô hình cơ bản để thực hiện Giao tiếp liên tiến trình (IPC)?

Trong mô hình Bộ nhớ chia sẻ (Shared Memory), các tiến trình giao tiếp bằng cách nào?

Ưu điểm chính của mô hình Bộ nhớ chia sẻ là gì?

Nhược điểm chính của mô hình Bộ nhớ chia sẻ là gì?

Trong mô hình Truyền thông điệp (Message Passing), các tiến trình giao tiếp bằng cách nào?

Ưu điểm của mô hình Truyền thông điệp là gì?

Nhược điểm của mô hình Truyền thông điệp là gì?

Trong truyền thông điệp trực tiếp (Direct Communication), các lời gọi `send()` và `receive()` thường yêu cầu chỉ định thông tin gì?

Trong truyền thông điệp gián tiếp (Indirect Communication), các tiến trình giao tiếp thông qua một thực thể trung gian nào?

Vấn đề gì xảy ra khi nhiều tiến trình hoặc tiểu trình cùng truy cập và thao tác trên cùng một dữ liệu chia sẻ mà kết quả phụ thuộc vào thứ tự thực thi cụ thể?

Để giải quyết Race Condition, chúng ta cần đảm bảo chỉ có tối đa một tiến trình/tiểu trình được thực thi trong một vùng mã cụ thể tại một thời điểm. Vùng mã này được gọi là gì?

Ba yêu cầu cơ bản để giải pháp cho bài toán Miền găng là gì?

Yêu cầu “Mutual Exclusion” (Loại trừ lẫn nhau) trong giải pháp Miền găng có nghĩa là gì?

Yêu cầu “Progress” (Tiến bộ) trong giải pháp Miền găng có nghĩa là gì?

Yêu cầu “Bounded Waiting” (Chờ đợi giới hạn) trong giải pháp Miền găng có nghĩa là gì?

Lệnh đặc quyền nào được CPU cung cấp có thể được sử dụng để xây dựng các cơ chế đồng bộ hóa phần cứng?

Một Semaphore là gì?

Thao tác `wait()` (hoặc `P()`) trên Semaphore `S` hoạt động như thế nào?

Thao tác `signal()` (hoặc `V()`) trên Semaphore `S` hoạt động như thế nào?

Semaphore nhị phân (Binary Semaphore) là trường hợp đặc biệt của Semaphore tổng quát (Counting Semaphore) mà giá trị của nó chỉ có thể là bao nhiêu?

Mutex (Mutual Exclusion) là gì?

Mục đích của việc sử dụng Mutex hoặc Semaphore trong lập trình đồng hành là gì?

Các vấn đề cổ điển của đồng bộ hóa (ví dụ: Bài toán Nhà sản xuất-Người tiêu dùng, Bài toán Các triết gia ăn tối, Bài toán Đọc giả-Nhà văn) thường được sử dụng để minh họa và kiểm tra tính hiệu quả của các cơ chế đồng bộ hóa nào?