请教一个 MySQL 数据库 redo 日志恢复的问题

看一本书，上面这样介绍。

- 跳过已经刷新到磁盘的页面

我们前边说过，checkpoint_lsn 之前的 redo 日志对应的脏页确定都已经刷到磁盘了，但是
checkpoint_lsn 之后的 redo 日志我们不能确定是否已经刷到磁盘，主要是因为在最近做的一次
checkpoint 后，可能后台线程又不断的从 LRU 链表 和 flush 链表 中将一些脏页刷出 Buffer Pool 。这些在 checkpoint_lsn 之后的 redo 日志，如果它们对应的脏页在奔溃发生时已经刷新到磁盘，那在恢复时也就没有必要根据 redo 日志的内容修改该页面了。
那在恢复时怎么知道某个 redo 日志对应的脏页是否在奔溃发生时已经刷新到磁盘了呢？这还得从页面的结构说起，我们前边说过每个页面都有一个称之为 File Header 的部分，在 File Header 里有一个称之为 FIL_PAGE_LSN 的属性，该属性记载了最近一次修改页面时对应的 lsn 值（其实就是页面控制块中的 newest_modification 值）。如果在做了某次 checkpoint 之后有脏页被刷新到磁盘中，那么该页对应的 FIL_PAGE_LSN 代表的 lsn 值肯定大于 checkpoint_lsn 的值，凡是符合这种情况的页面就不需要重复执行 lsn 值小于 FIL_PAGE_LSN 的 redo 日志了，所以更进一步提升了奔溃恢复的速度

我的问题是这个FIL_PAGE_LSN属性只是记录了这个页面最近一次修改的 lsn 值，但是修改了也不一定会马上刷回磁盘啊，为什么通过这个就可以确定“不需要重复执行 lsn 值小于 FIL_PAGE_LSN 的 redo 日志了”