SwatDB
|
This is the complete list of members for BufferManager, including all inherited members.
_allocateFrame() | BufferManager | private |
allocatePage(FileId file_id) | BufferManager | |
buf_map | BufferManager | private |
buf_map_mtx | BufferManager | private |
buf_pool | BufferManager | private |
BufferManager(DiskManager *disk_mgr) | BufferManager | |
clearBuffer() | BufferManager | |
clock_hand | BufferManager | private |
createFile(FileId file_id) | BufferManager | |
deallocatePage(PageId page_id) | BufferManager | |
disk_mgr | BufferManager | private |
flushPage(PageId page_id) | BufferManager | |
frame_table | BufferManager | private |
getBufferState() | BufferManager | |
getPage(PageId page_id) | BufferManager | |
printAllFrames() | BufferManager | |
printBufferState() | BufferManager | |
printFrame(FrameId frame_id) | BufferManager | |
printPage(PageId page_id) | BufferManager | |
printValidFrames() | BufferManager | |
releasePage(PageId page_id, bool dirty) | BufferManager | |
removeFile(FileId file_id) | BufferManager | |
setDirty(PageId page_id) | BufferManager | |
~BufferManager() | BufferManager |