<< Chapter < Page | Chapter >> Page > |
The third Nachos project is to build a demand paging system. You will create the mechanisms and policies for a demand paging system with a simple page table system. You will also implement a simple page replacement algorithm.
You will modify the set of files that you have after completion of projects 1. It is important that you understand how the demand paging and address translation system in Nachos works. To this end, we suggest that you examine the following files:
machine.* : We will not use TLB. We will compile in the vm directory to make use of the
dependency setting stated in the Makefile there. Remove USE_TLB flag from the lines stating the various components used.
translate.* : Examine the ReadMem, WriteMem, and Translate methods of machine. It is important to understand how a PageFaultException is generated for a page miss. Pay particular attention to where the invalid virtual address is stored when the exception occurs, since you will need to access it later.
addrspace.* : The role of address space will change, but it is now important to understand what ALL of the methods do, not just the constructor or deconstructor.
exception.cc : The majority of your demand paging code will be called from the PageFaultException handler.
bitmap.* : routines for manipulating bitmaps
filesys.h
openfile.h : Pay careful attention to the readAt and writeAt methods!
../test/* : C programs that will be cross-compiled to MIPS and run in Nachos
When the machine object is instantiated, the pagetable will be initialized with all entries invalid. This will generate a page fault when the first memory address is accessed. The majority of your design will deal with what happens when a page fault occurs.
In order to implement full demand paging, you will also be required to create and modify several other data structures. Such data structures include:
You will also have to account for all phases of the demand paging algorithm. These phases include:
You should also make sure that you separate the mechanisms and policies. Initially you will use FIFO policy for replacement. After testing pagefault handler with FIFO, replace it with LRU page replacement algorithm.
Answer the following questions in brief:
1. Describe the steps that occur during a Page Fault Exception when: (6) a. There are free pages in the main memory
b. There are NO free pages in the main memory&dirty bit for the replacement page is NOT set.
c. There are NO free pages in the main memory&dirty bit for the replacement page is SET.
2. Give an example of LRU&FIFO policies.(2)
3. Where exactly have you updated the reference count for the 2 policies&why specifically in these places? (Just give the function names&the reason) (2)
Notification Switch
Would you like to follow the 'Operating systems' conversation and receive update notifications?