Trong các giải pháp đồng bộ tiến trình sau, giải pháp nào vi phạm điều kiện “Không có hai tiến trình cùng ở trong miền giăng cùng lúc”:

Trong đồ thị cấp phát tài nguyên, mỗi tiến trình (process) được biểu diễn bằng một hình tròn. Các tài nguyên được biểu diễn bằng hình vuông, và các yêu cầu/cấp phát tài nguyên được biểu diễn bằng các cạnh có hướng.

Thuật toán chọn vùng trống đầu tự do lớn nhất để nạp tiến trình là Worst-fit.

* First-fit: Chọn vùng trống đầu tiên đủ lớn để chứa tiến trình.
* Best-fit: Chọn vùng trống nhỏ nhất đủ để chứa tiến trình. Mục tiêu là giảm thiểu không gian bị lãng phí.
* Worst-fit: Chọn vùng trống lớn nhất để chứa tiến trình. Mục tiêu là làm cho các vùng trống còn lại có kích thước tương đối đồng đều, hy vọng có thể sử dụng được cho các tiến trình khác sau này.

Địa chỉ ảo được chia thành hai phần: số trang (p) và độ dời (d). Bảng trang (page table) là một mảng, mỗi phần tử của mảng này chứa thông tin về vị trí của trang trong bộ nhớ vật lý. Khi MMU (Memory Management Unit) cần chuyển đổi một địa chỉ ảo thành địa chỉ vật lý, nó sử dụng số trang (p) như một chỉ số để truy cập vào bảng trang. Phần tử thứ p trong bảng trang sẽ chứa số hiệu khung trang (frame number) trong bộ nhớ vật lý, nơi trang p đang được lưu trữ. Sau đó, MMU kết hợp số hiệu khung trang này với độ dời (d) để tạo ra địa chỉ vật lý cuối cùng.

Các lựa chọn khác không đúng vì:
- A: "Phần tử thứ d trong bảng trang lưu số hiệu khung trang trong bộ nhớ vật lí đang chứa trang p" là sai. Số trang (p) mới là chỉ số để truy cập bảng trang.
- C: "Phần tử thứ p+d trong bảng trang lưu số hiệu khung trang trong bộ nhớ vật lí đang chứa" sai vì không có phần tử p+d nào trong bảng trang. Bảng trang được index bằng số trang p.
- D: "Phần tử thứ p trong bảng trang lưu số hiệu khung trang trong bộ nhớ vật lí đang chứa trang p" chính xác, nhưng đáp án B đã mô tả đầy đủ hơn và chính xác hơn về vai trò của p và d.

Trong kỹ thuật phân trang (Paging), khi bộ nhớ thực đầy, hệ điều hành (HĐH) cần phải giải phóng không gian để nạp các trang mới vào. Việc này được thực hiện thông qua các chiến lược thay thế trang, ví dụ như Least Recently Used (LRU), First-In-First-Out (FIFO), Optimal, v.v. Các chiến lược này giúp HĐH quyết định trang nào nên được loại bỏ khỏi bộ nhớ để nhường chỗ cho trang mới.

Phương án A không chính xác vì "nạp lại các trang" không giải quyết vấn đề bộ nhớ đầy. Việc nạp lại trang chỉ xảy ra khi một trang đã bị loại bỏ và cần được truy cập lại.

Phương án C không chính xác vì "loại bỏ các trang bị lỗi" là một hoạt động khác, không liên quan trực tiếp đến việc bộ nhớ đầy. Việc loại bỏ trang lỗi là để đảm bảo tính ổn định của hệ thống, chứ không phải để giải phóng không gian khi bộ nhớ đầy.

Do đó, đáp án chính xác là B: Thực hiện chiến lược thay thế trang.

Khi một process mới được sinh ra, hệ điều hành (HĐH) cần quản lý và theo dõi process đó. Để làm điều này, HĐH sẽ tạo một Process Control Block (PCB). PCB là một cấu trúc dữ liệu chứa tất cả thông tin cần thiết về process, bao gồm ID của process, trạng thái hiện tại, độ ưu tiên, con trỏ đến vùng nhớ, các tài nguyên mà process đang sử dụng, v.v.

A. Cấp CPU ngay cho process: Việc cấp CPU ngay cho process không phải là hành động đầu tiên. HĐH cần tạo PCB trước để quản lý process.

B. Tạo ngay khối PCB để quản lý process: Đây là hành động chính xác. Việc tạo PCB là bước đầu tiên và quan trọng để quản lý process.

C. Giao ngay các tài nguyên mà process cần: Việc giao tài nguyên chỉ xảy ra khi process được lên lịch thực thi và yêu cầu tài nguyên. PCB cần được tạo trước.

Do đó, đáp án đúng là B.