PageCacheCheckpoint extension

on

• PageCache

Methods

flushPage(int pageId) → Future<void>

Available on PageCache, provided by the PageCacheCheckpoint extension

Flush a single page to the pager (if dirty). Used by CheckpointManager for incremental dirty-page flushing.