BufferManager(int poolSize) | BufferManager | |
findFrame(int pageId, string fileName) | BufferManager | |
flushAllPages() | BufferManager | |
flushPage(int pageId, string fileName) | BufferManager | |
freePage(int pageId, string fileName) | BufferManager | |
getPoolSize() | BufferManager | |
INVALID_PAGE | BufferManager | [static] |
newPage(int numPages, string fileName, Page *&firstPage) | BufferManager | |
pinPage(int pinPageId, string fileName, bool emptyPage) | BufferManager | |
unpinPage(int unpinPageId, string fileName, bool dirty) | BufferManager | |
~BufferManager() | BufferManager |