next up previous
Next: Load Controller Up: DBMIN - A Buffer Previous: Initialisation

Page Requested by Query

  1. Search the global table.
  2. Adjust to the associated locality set.
  3. If the page is in the global table and the locality set, Then update the usage statistics as determined by the local replacement policy.
  4. 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.
  5. 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