[prev] 57 [next]

Buffer Pool (cont)

Basic buffer pool interface

Page request_page(PageId pid);

  • get disk block corresponding to page pid into buffer pool
void release_page(PageId pid);
  • indicate that page pid is no longer in use (advisory)
void mark_page(PageId pid);
  • indicate that page pid has been modified (advisory)
void flush_page(PageId pid);
  • write contents of page pid from buffer pool onto disk
void hold_page(PageId pid);
  • recommend that page pid should not be swapped out