Record that pages were flushed.
(&mut self, count: usize)
| 76 | |
| 77 | /// Record that pages were flushed. |
| 78 | pub fn record_flush(&mut self, count: usize) { |
| 79 | self.dirty_pages = self.dirty_pages.saturating_sub(count); |
| 80 | self.total_flushed += count as u64; |
| 81 | self.last_flush = Some(Instant::now()); |
| 82 | } |
| 83 | } |
| 84 | |
| 85 | /// Checkpoint coordinator: manages incremental flushing across engines. |