Trong kỹ thuật phân trang bộ nhớ, tiến trình được cấp không gian bộ nhớ là 2m bytes, kích thước mỗi page là 2n byte. Địa chỉ luận lý của tiến trình có dạng (p,d). Hãy cho biết p gồm bao nhiêu bits?
Đáp án đúng: A
Ta có không gian bộ nhớ của tiến trình là 2m bytes, kích thước mỗi page là 2n bytes. Vậy số lượng page tối đa là 2m / 2n = 2m-n. Số bit cần thiết để biểu diễn số lượng page này là log2(2m-n) = m-n bits. Do đó, số bit của p (số page) là m-n bits.
Câu hỏi liên quan
Để 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.
- 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.
