Buffer Pool (cont)
Evicting a page ...
- find frame(s) preferably satisfying
- pin count = 0 (i.e. nobody using it)
- dirty bit = 0 (not modified)
- if selected frame was modified, flush frame to disk
- flag directory entry as "frame empty"
If multiple frames can potentially be released
- need a policy to decide which is best choice
|
![[prev]](icon/prev.gif){kind=icon}
![[next]](icon/next.gif){kind=icon}