Buffer Pool (cont)
Buffer pool operations: (both take single PageID argument)
-
request_page(pid), release_page(pid), ...
To some extent ...
-
request_page() replaces getBlock() or get_page()
-
release_page() replaces putBlock() or put_page()
Buffer pool data structures:
- frames ... array of
NBUFS Page buffers
- directory ... array of
NBUFS FrameData items
|
![[prev]](icon/prev.gif){kind=icon}
![[next]](icon/next.gif){kind=icon}