现代 Linux 内核中的数据持久化艺术：从回写（Writeback）到多样化写策略

在现代操作系统中，如何平衡写入性能 与数据安全性，是内核设计中永恒的辩题。Linux 内核通过一套精妙的缓存与写策略机制来维系这一平衡。

2026 年的 Linux 存储、文件系统、内存管理与 BPF 峰会（LSFMM+BPF）上，内核开发者们针对"是否应该更早启动回写"展开了一场深度讨论。本文将结合本次峰会的最新前沿议题，系统性地为你解析 Linux 内核中的回写（Writeback）机制、其他主流的写策略，以及它们在实际工程中的权衡与应用。

一、 什么是回写（Writeback）？

为了理解回写，我们首先需要理解 Linux 内核的页面缓存（Page Cache）。

由于物理磁盘（无论是机械硬盘还是 SSD）的读写速度远慢于内存，Linux 默认采用"异步延迟写入"的策略。当应用程序调用 write() 写入文件时：

1. 缓存写入：内核直接把数据复制到内存的页面缓存中，并立刻向应用程序返回"写入成功"。

2. 标记脏页：此时，这部分承载了新数据的内存页被标记为"脏页"（Dirty Pages）。

3. 异步回写 ：在稍后的某个时刻，内核的后台线程会将这些脏页刷新同步到物理磁盘上。这个将脏数据持久化到设备的过程，就是回写（Writeback）。

• 优点：写入响应极快，吞吐量高。

• 缺点：存在"安全窗口期"。如果在脏页尚未回写到磁盘时系统突然断电，内存中的未写盘数据将会永久丢失。

二、 深入内核：回写是如何触发与执行的？

Linux 内核不会让脏页无限制地在内存中堆积。通常，以下三种机制会主动或被动地触发回写：

1. 周期性唤醒（Periodic Writeback）

内核中运行着定时器，默认每隔 5 秒会唤醒一次回写线程，检查内存中是否有"变脏"时间超过 30 秒（默认值）的页。若有，则将其送入写盘队列。这是一种"防君子不防小人"的保底机制，确保数据不会在内存中无限期滞留。

2. 基于内存压力的阈值触发

当脏页占系统总内存的比例达到设定阈值时，内核会强制介入：

• 背景回写阈值（dirty_background_ratio，默认约 10%）：达到此限制时，内核会在后台静默启动回写，此时应用程序不会感到卡顿。

• 进程限速阈值（dirty_ratio，默认约 20%） ：如果写入过猛，脏页比例飙升至此，内核会阻塞当前正在发起写入的进程，强迫它同步参与写盘，直到脏页比例降至安全线。这也是拷大文件时电脑突然"卡死"的底层原因。

3. 主动调用与内核 flusher 线程

当应用调用 fsync() 或用户执行 sync 命令时，会立刻强制回写。在内核底层，负责执行这一具体脏页打包、递交 I/O 请求任务的，是一组被称为 flusher 的内核线程（在系统进程中常显示为 [kworker/...-flush]）。

三、 峰会前沿：我们是否等了太久才启动回写？

在 2026 年的 LSFMM+BPF 峰会上，内核专家 Jeff Layton 提出了一个发人深省的问题：现代内存容量已经动辄数百 GB 甚至 TB 级，而沿用了 20 多年的默认脏页百分比限制是否已经过时？我们是不是等了太久才开始回写？

1. "dontcache" 探索与回写前移

Layton 团队在为 NFS 服务器（NFSD）引入 RWF_DONTCACHE（不缓存直接写入并释放）时发现，如果让每个接收请求的服务器线程在收到数据后立即自行提交写入，会导致线程大面积阻塞，性能极差。

他们的修复补丁（已合入 Linux 7.2）展示了一种新思路：依然将数据放入页面缓存，但立即将回写任务移交给底层的 flusher 线程，同时在 folio 上打上 PG_dropbehind 标记，一旦回写完成立刻释放内存。 这种"快速回写 + 即刻释放"的模式，性能甚至超越了传统的直接 I/O（O_DIRECT）。这促使开发者思考：常规的缓冲 I/O 是否也应引入更主动、更早的回写机制？

2. 业界大牛的"思维碰撞"

对于"更早、更主动地回写"，峰会上的专家们展开了激烈的辩论，揭示了通用操作系统设计中的复杂性：

• 临时文件的尴尬（Jan Kara）：许多应用会创建大量生命周期极短的临时文件，随后便将其删除。如果回写启动得太早，这些本不需要落盘的临时文件就会被强行写入磁盘，反而造成无谓的 I/O 浪费和硬件寿命损耗。

• 自动调优与启发式策略（Ted Ts'o） ：Ts'o 认为，可以尝试让内核以设备 50% 的带宽进行平滑写入，以保证 fsync() 拥有足够的带宽 headroom。但他强调，依靠管理员手动调优是不现实的，内核需要高度自动化的启发式算法，同时必须具备极高的"可观测性"以便于调试。

• 背压缺失问题（Chuck Lever）：在网络文件系统（NFS）下，客户端发送写入的速度不受本地物理资源限制。由于网络到 VFS 层的反馈机制（背压）不够完善，极易导致服务器因脏页积压而崩溃。

• 内核精简派（Christian Brauner）：Brauner 警告称，试图在内核中写出一套适应所有场景的完美自动化启发式配置是"注定失败"的。他主张将这些策略配置通过控制组（cgroups）和 systemd "甩包"给用户空间去解决。

四、 其他主流写策略：直写、绕写与直接 I/O

除了上述作为 Linux 默认行为的回写（Writeback），在不同的存储、缓存及硬件设计场景中，还存在另外两种经典的写策略：

       [ 应用程序 (Application) ]
         /          |         \
   (Writeback) (Write-through) (Write-around)
       /            |             \
 [页面缓存]--->   [页面缓存]        | (绕过缓存)
     | (异步)       | (同步)        |
     v              v             v
 [底层磁盘]      [底层磁盘]     [底层磁盘]

1. Write-through（直写 / 通写）

• 机制 ：数据同时写入页面缓存和底层物理磁盘。只有当磁盘确认写入成功后，系统才会向应用返回成功。

• 优缺点：数据极度安全，防范断电丢失的能力极强；但写入速度完全受限于物理磁盘，完全丧失了内存的提速优势。

• 应用场景：对一致性要求苛刻的金融交易系统、数据库重做日志（Redo Log）等。

2. Write-around（绕写 / 旁路写）

• 机制：数据直接写入底层磁盘，完全绕过页面缓存。只有当后续发生"读"操作时，数据才会被加载到缓存中。

• 优缺点：避免了"一次性写入、以后再也不读"的大文件（如备份包、巨型日志）将缓存中真正活跃的热点数据挤走（即"缓存污染"）。但若写完立刻需要读，则会面临缓存未命中的低效。

• 应用场景：大文件备份、冷数据归档。

3. Linux 的特例：O_DIRECT（直接 I/O）

在 Linux 中，用户可以通过 O_DIRECT 标志打开文件。这在行为上非常类似于 Write-around 和 Write-through 的结合体：它完全绕过操作系统的页面缓存，让用户态数据直达块设备驱动。现代数据库（如 MySQL、Oracle）为了完全规避内核回写机制的"不可预测性"，通常会采用 O_DIRECT 来实现自主掌控的缓存管理。

五、 总结

Linux 内核的数据写入是一门高超的平衡艺术。

默认的回写（Writeback）机制通过"先内存、后磁盘"的方式榨干了硬件的性能，但随之带来了断电丢数据的风险以及超大内存时代下"脏页积压、回写雪崩"的新挑战。正如 2026 年 LSFMM+BPF 峰会所展示的那样，从精细化控制的 RWF_DONTCACHE 到探索更主动的文件系统级回写算法，内核开发者们依然在不断重塑这套底层基石，以适应日新月异的高速硬件时代。