4. JBD2 事务生命周期：事务状态机

JBD2（Journaling Block Device 2）是 Ext4 日志子系统的核心引擎，它将每一次元数据更新封装为一个原子事务。事务从创建到完成，严格遵循一个五状态状态机：Running → Locked → Flush → Commit → Finished。理解这个状态机是进行日志调优和故障分析的基础。

4.1 事务状态机全景图

下图展示了 JBD2 事务的完整生命周期流转，以及各状态之间的转换条件。

4.2 五状态详解与转换条件

4.3 状态转换的驱动机制

JBD2 事务状态转换由两种机制协同驱动：定时提交和空间驱动提交。

4.3.1 定时提交（Time-Based Commit）

• 每个事务创建时启动一个定时器，默认超时时间为 5 秒（由 /proc/sys/fs/jbd2/*/max_commit_interval 控制）。
• 定时器到期后，强制将当前 Running 事务转入 Locked 状态。
• 适用于低负载场景，确保元数据不会长时间滞留在内存中。

4.3.2 空间驱动提交（Space-Based Commit）

• JBD2 日志区被划分为多个块，每个事务可使用的最大块数由 journal->j_max_transaction_buffers 决定。
• 当 Running 事务已使用的日志块数达到上限（通常为日志总大小的 1/4），立即触发提交。
• 适用于高负载场景，防止日志空间耗尽导致系统阻塞。

4.4 句柄（Handle）与事务的关系

句柄是文件系统代码与 JBD2 事务交互的最小单元。每个文件系统操作（如 ext4_create、ext4_rename）在修改元数据前，必须先获取一个句柄。

/* 句柄获取与关闭的典型流程 */
handle_t *handle;

/* 1. 开始事务，获取句柄 */
handle = ext4_journal_start(inode, EXT4_HT_MISC, 1);
if (IS_ERR(handle))
    return PTR_ERR(handle);

/* 2. 在句柄保护下修改元数据 */
ext4_journal_get_write_access(handle, bh);
// ... 修改缓冲区内容 ...
ext4_handle_dirty_metadata(handle, inode, bh);

/* 3. 关闭句柄，减少 t_updates 计数 */
ext4_journal_stop(handle);

句柄的生命周期直接影响事务状态转换：

• 每个句柄打开时，事务的 t_updates 计数器递增。
• 句柄关闭时，t_updates 递减。
• 只有当 t_updates == 0 时，事务才能从 Locked 进入 Flush 状态。

4.5 事务状态机与日志恢复

JBD2 状态机设计直接服务于崩溃恢复：

• Finished 状态之前的事务：如果系统崩溃，重放日志时只会重放已写入 Commit Block 的事务。处于 Running/Locked/Flush 状态的事务被视为未完成，直接丢弃。
• 原子性保证：事务要么全部完成（Finished），要么全部丢弃，不会出现部分写入的中间状态。
• 检查点（Checkpoint）：Finished 事务的元数据块被写回主文件系统后，事务才能从日志中移除，释放日志空间。

4.6 状态机相关内核参数