equal
deleted
inserted
replaced
52 Memory for page tables and page table info objects is managed by |
52 Memory for page tables and page table info objects is managed by |
53 #ThePageTableMemoryManager. When allocating memory for demand paged use, this |
53 #ThePageTableMemoryManager. When allocating memory for demand paged use, this |
54 uses memory from #ThePager which will reclaim paged memory if necessary. |
54 uses memory from #ThePager which will reclaim paged memory if necessary. |
55 Providing the live list always has #DPager::iMinYoungPages, this guarantees that |
55 Providing the live list always has #DPager::iMinYoungPages, this guarantees that |
56 handling page faults can never fail by running out of memory. |
56 handling page faults can never fail by running out of memory. |
57 |
|
58 TODO: In really pathological situations page table allocation can fail due to |
|
59 being out of virtual address space to map the table, this needs to be prevented |
|
60 from happening when handling demand paging faults. |
|
61 */ |
57 */ |
62 |
58 |
63 |
59 |
64 PageTableAllocator PageTables; |
60 PageTableAllocator PageTables; |
65 |
61 |