[CSE]  Advanced Operating Systems 
 COMP9242 2005/S2 
UNSW
CRICOS Provider
Number: 00098G

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Project FAQ
- Exam
 
Forums
- Forums
- Can't Login?
 
Documentation
- Project Resources
- ASysT Lab
- Using Sulima
- L4 Debugging Guide
- L4Ka::Pistachio FAQ
- L4 source browser
- SOS source browser
- L4 reference manual
- L4 user manual
- Sulima ISA Simulator
R4x00 ISA Summary 
MIPS R4700 ReferenceMIPS R4000 User Manual 
- GT64111

 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2004
- 2003
- 2002
- 2000
- 1999
- 1998
- 1997
 
Staff
- Gernot Heiser (LiC)
- Kevin Elphinstone
- Guest Lecturers (TBA)
 
Stureps
- Student Reps

 
Valid HTML 4.0!

M6: Demand paging

In this milestone you need to implement paging of memory. This should build on the earlier milestone where you implemented a pager. The backing store for your paging system will be an NFS file called swap. You should implement a second-chance page-replacement algorithm.

Design issues

The MIPS does not feature hardware-maintained reference and dirty bits, which means you'll need to work out how to do this in software.

Most of the design in this section will come down to the appropriate choice of data structures. If you haven't already done so, you will need to work out your page table structure. Note that it should support a 64-bit virtual address space. You will also need to decide how to keep track of frames in your swap file. You may want to keep things simple at first be only concentrating on one process, however you should be aware that the next milestone will require you to handle multiple processes.

Assessment

To demonstrate that your code is indeed using the paging system you should artificially reduce the number of free frames, and run a program which uses a large heap.

You may want to write a command called thrash which writes data to a given number of pages and then reads it back (verifying that it has been read back correctly).


Last modified: 01 Aug 2005.