Next: Load Controller
Up: DBMIN - A Buffer
Previous: Initialisation
- Search the global table.
- Adjust to the associated locality set.
- If the page is in the global table and the locality set,
Then update the usage statistics as determined by the local replacement
policy.
- If the page is in memory but not in locality set, then :
If page has an owner, then give the page to the query, stop.
Else add page to the locality set of the file instance, ,
If , choose a page, release to global free pool,
r=I.
Update usage statistics.
- If the page is not in memory, then :
Allocate a buffer from the free list.
Schedule a disk read.
Proceed as in Case II.
Deepak Kumar Tawri
Wed Apr 21 21:25:41 IST 1999