| 483 | } |
| 484 | |
| 485 | void BufferManager::removeFilePagesFromFrames(FileHandle& fileHandle) { |
| 486 | for (auto pageIdx = 0u; pageIdx < fileHandle.getNumPages(); ++pageIdx) { |
| 487 | removePageFromFrame(fileHandle, pageIdx, false /* do not flush */); |
| 488 | } |
| 489 | } |
| 490 | |
| 491 | void BufferManager::updateFrameIfPageIsInFrameWithoutLock(file_idx_t fileIdx, |
| 492 | const uint8_t* newPage, page_idx_t pageIdx) { |