[prev] 54 [next]

Buffer Pool (cont)

The release_page(pid) operation:
  • Decrement pin count for specified page
Note: no effect on disk or buffer contents until replacement required

The mark_page(pid) operation:

  • Set dirty bit on for specified page
Note: doesn't actually write to disk; indicates that page changed

The flush_page(pid) operation:

  • Write the specified page to disk (using write())
Note: not generally used by higher levels of DBMS