Khi một tiến trình được tạo ra mà bộ nhớ chưa đủ chỗ nó sẽ được chèn vào danh sách:

Kỹ thuật liên lạc trực tiếp giữa hai tiến trình là trao đổi thông điệp. Trong phương pháp này, các tiến trình gửi và nhận thông điệp trực tiếp cho nhau.

* Đường ống (Pipe): Là phương thức giao tiếp giữa các tiến trình có quan hệ cha con, không phải là liên lạc trực tiếp giữa hai tiến trình bất kỳ.
* Vùng nhớ chia sẻ: Các tiến trình chia sẻ một vùng nhớ chung để trao đổi dữ liệu. Mặc dù hiệu quả, nhưng cần cơ chế đồng bộ hóa phức tạp để tránh xung đột truy cập.
* Trao đổi thông điệp: Các tiến trình gửi và nhận thông điệp trực tiếp cho nhau. Đây là hình thức liên lạc trực tiếp.
* Socket: Cho phép giao tiếp giữa các tiến trình trên các máy khác nhau thông qua mạng, không phải là liên lạc trực tiếp giữa hai tiến trình trong cùng một hệ thống.

Câu hỏi này kiểm tra kiến thức về các giải pháp đồng bộ tiến trình trong hệ điều hành, đặc biệt là khả năng giải quyết vấn đề truy xuất độc quyền trong môi trường đa bộ xử lý chia sẻ bộ nhớ.

* Trao đổi thông điệp: Thường được sử dụng trong các hệ thống phân tán, nơi các tiến trình giao tiếp bằng cách gửi và nhận thông điệp. Không phải là giải pháp tối ưu cho việc chia sẻ bộ nhớ trực tiếp.

* Monitor: Là một cơ chế đồng bộ hóa cấp cao, cung cấp các hàm (procedures) cho phép các tiến trình truy cập an toàn vào tài nguyên dùng chung. Monitor đảm bảo tính độc quyền thông qua việc chỉ cho phép một tiến trình hoạt động bên trong monitor tại một thời điểm.

* Semaphore: Là một biến hoặc kiểu dữ liệu trừu tượng được sử dụng để kiểm soát quyền truy cập vào các tài nguyên dùng chung bởi nhiều tiến trình trong môi trường đồng thời. Semaphore có thể được sử dụng để giải quyết các vấn đề truy xuất độc quyền. Có hai loại semaphore chính là binary semaphore (mutex) và counting semaphore. Mutex semaphore thường được dùng để bảo vệ các vùng critical section, đảm bảo chỉ một tiến trình có thể truy cập vào vùng này tại một thời điểm.

Vì cả Monitor và Semaphore đều có thể giải quyết vấn đề truy xuất độc quyền trên các máy tính có nhiều bộ xử lý chia sẻ bộ nhớ chung, nên đáp án D là đúng.

Để ngăn chặn tắc nghẽn (deadlock), cần phá vỡ ít nhất một trong bốn điều kiện cần thiết để deadlock xảy ra. Bốn điều kiện đó là:

1. Loại trừ lẫn nhau (Mutual exclusion): Tài nguyên chỉ có thể được sử dụng bởi một tiến trình tại một thời điểm.
2. Giữ và chờ (Hold and wait): Một tiến trình giữ ít nhất một tài nguyên và đang chờ để có được các tài nguyên khác do các tiến trình khác giữ.
3. Không thu hồi (No preemption): Tài nguyên chỉ có thể được giải phóng một cách tự nguyện bởi tiến trình đang giữ nó, sau khi tiến trình đó hoàn thành nhiệm vụ của mình.
4. Chờ đợi vòng tròn (Circular wait): Tồn tại một tập hợp các tiến trình {P0, P1, ..., Pn} sao cho P0 đang chờ một tài nguyên do P1 giữ, P1 đang chờ một tài nguyên do P2 giữ, ..., Pn-1 đang chờ một tài nguyên do Pn giữ, và Pn đang chờ một tài nguyên do P0 giữ.

Đáp án D là chính xác nhất vì nó chỉ ra rằng nếu một trong các điều kiện trên không xảy ra, thì tắc nghẽn sẽ không thể xảy ra.

Các thuật toán chọn đoạn trống (hole) để cấp phát bộ nhớ cho tiến trình bao gồm:

* First-fit: Chọn đoạn trống đầu tiên có kích thước đủ lớn để đáp ứng yêu cầu của tiến trình.
* Best-fit: Chọn đoạn trống nhỏ nhất có kích thước đủ lớn để đáp ứng yêu cầu của tiến trình. Mục tiêu là giảm thiểu bộ nhớ bị lãng phí.
* Worst-fit: Chọn đoạn trống lớn nhất có kích thước đủ lớn để đáp ứng yêu cầu của tiến trình. Mục tiêu là tạo ra các đoạn trống lớn hơn để sử dụng cho các yêu cầu sau.

Như vậy, cả A, B và C đều là các thuật toán được sử dụng để chọn đoạn trống cấp phát cho tiến trình.

LFU (Least Frequently Used): Thuật toán thay thế trang dựa trên tần suất sử dụng. Trang nào ít được sử dụng nhất sẽ bị thay thế.
NFU (Not Frequently Used): Tương tự LFU nhưng có cơ chế "quên" lịch sử sử dụng, tránh việc các trang đã được sử dụng nhiều trong quá khứ chiếm giữ bộ nhớ mãi mãi.
NRU (Not Recently Used): Thuật toán thay thế trang dựa trên việc theo dõi bit tham chiếu (reference bit) và bit đã sửa đổi (modified bit). Trang nào không được sử dụng gần đây sẽ được ưu tiên thay thế.

Như vậy, cả LFU và NFU đều thuộc loại thuật toán thống kê, vì chúng dựa trên số liệu thống kê về tần suất sử dụng trang để đưa ra quyết định thay thế.

Vậy đáp án đúng là: D. Câu a, b đúng