implemented BufferPool.flushAllPages()