Trong kỹ thuật phân trang bộ nhớ, một không gian địa chỉ luận lý có 2⁴ pages, mỗi page có kích thước 2¹¹ bytes, ánh xạ vào bộ nhớ vật lý có 2⁶ frames. Hỏi địa chỉ vật lý của bộ nhớ dùng bao nhiêu bit?
Đáp án đúng: A
Để tính số bit cần thiết cho địa chỉ vật lý, ta cần xác định kích thước của bộ nhớ vật lý. Kích thước của bộ nhớ vật lý = Số lượng frame * Kích thước của một frame. Số lượng frame là 2⁶. Kích thước của một frame bằng kích thước của một page, là 2¹¹ bytes. Vậy, kích thước bộ nhớ vật lý là 2⁶ * 2¹¹ = 2¹⁷ bytes. Số bit cần thiết để đánh địa chỉ bộ nhớ vật lý là log₂ (kích thước bộ nhớ vật lý) = log₂(2¹⁷) = 17 bit.
Câu hỏi liên quan
- Phương án A: Số page bằng số frame không trực tiếp liên quan đến việc sử dụng thanh ghi cho Page Table. Số lượng page và frame có thể lớn, và việc sử dụng thanh ghi vẫn không khả thi nếu Page Table lớn.
- Phương án B: Page Table có kích thước nhỏ là điều kiện tiên quyết để có thể lưu trữ nó trong các thanh ghi. Thanh ghi có dung lượng rất hạn chế, do đó chỉ có thể lưu trữ các Page Table nhỏ.
- Phương án C: Kích thước page nhỏ không trực tiếp quyết định việc sử dụng thanh ghi cho Page Table. Kích thước page nhỏ có thể làm tăng số lượng page, và do đó có thể làm tăng kích thước của Page Table.
- Phương án D: Page Table có nhiều số hiệu page (page number) đồng nghĩa với việc kích thước Page Table lớn, điều này làm cho việc lưu trữ Page Table trong thanh ghi trở nên không khả thi.
Do đó, đáp án đúng là B.
Để xác định giải thuật thay thế trang được sử dụng trong hình, chúng ta cần phân tích cách các trang được thay thế (ký hiệu F) dựa trên chuỗi trang tham chiếu và số lượng trang được cấp phát (3 trang).
- FIFO (First-In, First-Out): Trang nào vào trước thì sẽ bị loại bỏ trước. Trong ví dụ này, khi trang 4 cần được đưa vào, trang 0 được thay thế (F). Tiếp theo, khi trang 1 cần được đưa vào, trang 2 được thay thế. Sau đó, trang 2 lại cần, trang 4 được thay thế. Điều này phù hợp với nguyên tắc FIFO.
- Optimal: Thay thế trang nào mà thời gian sử dụng tiếp theo là lâu nhất. Giải thuật này yêu cầu biết trước toàn bộ chuỗi tham chiếu.
- LRU (Least Recently Used): Thay thế trang nào ít được sử dụng nhất trong quá khứ. Điều này đòi hỏi phải theo dõi lịch sử sử dụng trang.
- SJF (Shortest Job First): Đây là giải thuật lập lịch cho CPU, không phải giải thuật thay thế trang.
Dựa trên việc trang 0, rồi trang 2, rồi trang 4 bị thay thế một cách tuần tự khi các trang mới cần vào, giải thuật phù hợp nhất ở đây là FIFO.
* Tiến trình (Process) được biểu diễn bằng hình tròn.
* Tài nguyên (Resource) được biểu diễn bằng hình vuông.
* Yêu cầu tài nguyên (Request Edge): Mũi tên từ tiến trình đến tài nguyên, thể hiện tiến trình đang yêu cầu tài nguyên đó.
* Cấp phát tài nguyên (Assignment Edge): Mũi tên từ tài nguyên đến tiến trình, thể hiện tài nguyên đó đã được cấp phát cho tiến trình.
Đồ thị chờ (Wait-For Graph) là một đồ thị đặc biệt, được sử dụng trong hệ thống quản lý cơ sở dữ liệu để phát hiện bế tắc (deadlock) giữa các giao dịch. Trong đồ thị này:
* Nút (Node): Đại diện cho một giao dịch (Transaction).
* Cạnh (Edge): Mũi tên từ giao dịch T1 đến giao dịch T2, thể hiện T1 đang chờ T2 giải phóng một tài nguyên nào đó.
Như vậy:
* (a) là đồ thị cấp phát tài nguyên, vì có cả tiến trình, tài nguyên, yêu cầu và cấp phát tài nguyên.
* (b) là đồ thị chờ tài nguyên, vì các nút đại diện cho tiến trình và các cạnh thể hiện sự chờ đợi giữa các tiến trình.
Đáp án đúng là A.
Trong các hệ điều hành sử dụng cả luồng nhân (kernel threads) và luồng người dùng (user threads), giải thuật điều phối CPU sẽ được áp dụng trực tiếp cho các luồng nhân. Lý do là vì kernel thread được quản lý và điều khiển bởi chính hệ điều hành, do đó bộ điều phối CPU của hệ điều hành sẽ trực tiếp chọn lựa kernel thread nào sẽ được thực thi tiếp theo. User threads nằm trên tầng ứng dụng, việc điều phối chúng (nếu có) sẽ do thư viện luồng hoặc tiến trình thực hiện, nhưng cuối cùng vẫn phải thông qua kernel để truy cập CPU.
