BufferManager::SwapCacheIfNecessary() skeleton code