RK3588 kernel-6.1 fs/ext4/file.c 普通文件 VFS 层分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/file.c（普通文件的 file_operations / 部分 inode_operations 配套、读写、mmap、open/release、llseek）
• 强依赖：iomap.c（ext4_iomap_ops、ext4_iomap_overwrite_ops、ext4_iomap_report_ops）、inode.c（ext4_map_blocks）、extents.c（未写区转换等）

2. 代码作用（一句话）

file.c 把 ext4 常规文件接到 Linux VFS：在 forced shutdown、加密、verity、DAX 等前提下分流 缓冲读/写、iomap_dio_rw 直读直写** 与 DAX；用 i_rwsem 共享/独占 与 inode_dio_wait 协调 未对齐 DIO、扩展写、unwritten extent 填洞 的安全性；open 里采样挂载路径写超块、挂 journal inode；mmap 区分 DAX 大页缺页 与普通 filemap_fault / ext4_page_mkwrite。**

3. 解决了什么问题

4. 核心组件

4.1 ext4_file_read_iter

• ext4_forced_shutdown → -EIO
• DAX：ext4_dax_read_iter → dax_iomap_rw
• IOCB_DIRECT：ext4_dio_read_iter → iomap_dio_rw(..., ext4_iomap_ops)；否则 generic_file_read_iter

4.2 ext4_buffered_write_iter

• IOCB_NOWAIT → -EOPNOTSUPP（缓冲路径）
• inode_lock + ext4_write_checks（内含 ext4_generic_write_checks 与 file_modified）
• generic_perform_write + generic_write_sync

4.3 ext4_dio_write_iter

• 初判 未对齐 或 可能扩展 → 独占锁；否则先 共享锁
• ext4_dio_write_checks：扩展写 extend=true；若 共享锁下需要改安全配置、扩展、或非覆盖写 → 升级为 独占 并重算
• 扩展写：ext4_orphan_add（短事务）
• iomap_dio_rw：覆盖用 ext4_iomap_overwrite_ops；未对齐或扩展 带 IOMAP_DIO_FORCE_WAIT
• ext4_dio_write_ops.end_io：unwritten → ext4_convert_unwritten_extents；按需 ext4_handle_inode_extension

4.4 ext4_file_write_iter

三分流：forced shutdown → DAX → DIRECT → 缓冲。

4.5 DAX 写路径（CONFIG_FS_DAX）

ext4_dax_write_iter：ext4_write_checks → orphan（若越 i_disksize）→ dax_iomap_rw → ext4_handle_inode_extension / cleanup。

4.6 ext4_file_mmap

• daxdev_mapping_supported：不支持 MAP_SYNC 等则 -EOPNOTSUPP
• DAX：ext4_dax_vm_ops（VM_HUGEPAGE）；否则 ext4_file_vm_ops（filemap_fault / ext4_page_mkwrite）

4.7 ext4_file_open / ext4_release_file

• open：ext4_sample_last_mounted、fscrypt_file_open、fsverity_file_open、写打开 attach jinode、FMODE_NOWAIT | FMODE_BUF_RASYNC、dquot_file_open
• release：DA 块刷盘、预分配丢弃；若存在 is_dx 且 private_data 则 ext4_htree_free_dir_info（多数普通文件不命中；与 htree 私有数据生命周期相关的兜底）

4.8 ext4_file_operations / ext4_file_inode_operations

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

const struct file_operations ext4_file_operations = {
	.llseek		= ext4_llseek,
	.read_iter	= ext4_file_read_iter,
	.write_iter	= ext4_file_write_iter,
	.iopoll		= iocb_bio_iopoll,
	.unlocked_ioctl = ext4_ioctl,
// ...
	.mmap		= ext4_file_mmap,
	.mmap_supported_flags = MAP_SYNC,
	.open		= ext4_file_open,
	.release	= ext4_release_file,
	.fsync		= ext4_sync_file,
// ...
	.fallocate	= ext4_fallocate,
};

const struct inode_operations ext4_file_inode_operations = {
	.setattr	= ext4_setattr,
	.getattr	= ext4_file_getattr,
// ...
	.fiemap		= ext4_fiemap,
// ...
};

5. 小结

file.c 不负责盘上 extent/块分配细节（在 inode.c / extents.c / iomap.c），而是 VFS 入口策略：何时 DIO/DAX/缓冲、如何 加锁与 orphan 以保证 ext4 直写 + unwritten + 延迟块 组合下的正确性，并挂载 加密、verity、OSyncError、配额、seek 洞/数据。阅读 write(2)/read(2)/mmap 在 ext4 上的行为时，应与本文件及 ext4_iomap_* 实现对照。

RK3588 kernel-6.1 fs/ext4/fsmap.c 与 fs/ext4/fsync.c 分析

1. 分析范围

通用 VFS 的 linux/fs/fsync.c（如 do_fsync）不在本分析范围内；用户所问的 fsync.c 指 ext4 子目录下的实现。

2. fsmap.c：代码作用（一句话）

在 块组 buddy / 空闲查询（ext4_mballoc_query_range）与 预先枚举的固定元数据块列表（超级块、GDT、位图、inode 表等）之间做 物理地址序上的归并，通过 ext4_getfsmap_helper 输出连续的 fsmap/ext4_fsmap 记录（含 洞状「未知所有者」 区间）；支持 数据设备 + 外置 journal 设备 两段 handler，并对 大簇（bigalloc） 以簇为单位查询后再换算成块区间。

3. fsmap.c：解决了什么问题

所有者常量（节选，见 fs/ext4/fsmap.h）：EXT4_FMR_OWN_FREE、UNKNOWN、FS（超级块等静态元数据）、GDT / RESV_GDT / BLKBM / INOBM / INODES、LOG。

4. fsmap.c：核心流程摘要

1. ext4_getfsmap：校验 fmh_iflags、设备号（s_bdev 或 s_journal_bdev）；组装 handlers[] 并 排序，逐设备调 gfd_fn。
2. ext4_getfsmap_datadev：把 keys 裁到 [s_first_data_block, blocks_count)；对每个相关 块组 设置 gfi_low / gfi_high（簇边界）；ext4_mballoc_query_range 拉 空闲；最后用 gfi_last=true 再跑一次 helper 收口尾部缝隙。
3. ext4_getfsmap_helper：跳过 低于起始 key 的记录；rec_fsblk > gfi_next_fsblk 时先 填 UNKNOWN 间隙；再输出 当前记录；维护 gfi_next_fsblk；支持 信号中断返回 -EINTR。

5. fsync.c：代码作用（一句话）

ext4_sync_file 在 只读/FS_ABORTED/强制关机 等早退之后，先 file_write_and_wait_range 刷数据页；无日志走 sync_mapping_buffers + sync_inode_metadata + 新目录项链上的父目录同步；有日志且非 data=journal 走 ext4_fsync_journal → ext4_fc_commit（按 datasync 选用 i_datasync_tid 或 i_sync_tid）；data=journal 则 ext4_force_commit；最后按 barrier / journal 情况 可能 blkdev_issue_flush，并 检查 writeback 错误序号。

6. fsync.c：解决了什么问题

7. fsync.c：函数关系简图

1
2
3
4
5
6
7
8
9
10

ext4_sync_file
 ├─ file_write_and_wait_range
 ├─ 无 s_journal → ext4_fsync_nojournal
 │    ├─ sync_mapping_buffers
 │    ├─ sync_inode_metadata（视 datasync 与 I_DIRTY_*）
 │    └─ ext4_sync_parent（NEWENTRY 链）
 ├─ data journal → ext4_force_commit
 └─ else → ext4_fsync_journal → ext4_fc_commit(journal, commit_tid)
 └─ blkdev_issue_flush（若 needs_barrier）
 └─ file_check_and_advance_wb_err

8. 小结

• fsmap.c 面向 「物理块 → 类别/所有者」 的 整卷查询，与 mballoc、组描述符、外置日志 紧耦合，是 Oracle getfsmap / xfs_io 生态在 ext4 上的后端。
• fsync.c 面向 与应用契约的持久化：数据先等页缓存，元数据（及可选 fast commit）再等 journal，并处理 无日志目录新建 与 barrier/写错。

分析 ioctl 入口时可在 ext4_ioctl.c 中搜索 FS_IOC_GETFSMAP/ext4_getfsmap；分析 fsync 与 fast commit 细节可对照 fast_commit.c 与 ext4_jbd2.h 中的 ext4_update_inode_fsync_trans。

RK3588 kernel-6.1 fs/ext4/ialloc.c inode 分配与回收分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/ialloc.c（inode 位图读写校验、新建 inode、释放 inode、Orlov/目录投递策略、orphan 校验、统计与 lazyinit inode 表清零）
• 协作：namei.c / inode.c（调用 __ext4_new_inode）、ext4_jbd2（位图与组描述符日记）、xattr.c/acl.c/fscrypt（新 inode 初始化）、mballoc/flex（组内空闲簇统计与 s_flex_groups）

2. 代码作用（一句话）

ialloc.c 用每个块组一张 inode 位图 + 组描述符中的空闲 inode/目录计数 管理 inode 号的分配与回收；新建时按 目录 Orlov、普通文件近父组+二次探测 选 block group，在位图中 find_next_zero_bit 并 事务内置位，顺带处理 BG_INODE_UNINIT/BG_BLOCK_UNINIT、flex_bg 计数与 配额/ACL/extent 树 初始化；释放时先 ext4_clear_inode 再清位图，避免 inode 号快速复用导致别名。

3. 解决了什么问题

4. 核心流程

4.1 inode 位图读入：ext4_read_inode_bitmap

• 从 gdp 取 inode bitmap 块号，范围自检。
• INODE_UNINIT：零填充 + 尾部 mark used，标 uptodate/verified，不读盘。
• 否则 读盘 → ext4_validate_inode_bitmap（ext4_inode_bitmap_csum_verify）。

4.2 新建：__ext4_new_inode

1. new_inode、owner/ fscrypt_prepare_new_inode、dquot_initialize，按需累加 xattr 事务额度。
2. 选组：goal → 否则目录 find_group_orlov，文件 find_group_other；更新 dir->i_last_alloc_group。
3. 对 每个候选组：gdp 空闲计数为 0 或 ibitmap corrupt 则跳过；读 inode bitmap；find_inode_bit 找 0 bit。
4. journal get_write_access 位图 → 置位（冲突则重找）→ dirty 位图。
5. 若 BLOCK_UNINIT：读并 dirty block bitmap，清 EXT4_BG_BLOCK_UNINIT，初始化 free_clusters。
6. 更新 gdp：free_inodes--、目录则 used_dirs++，维护 bg_itable_unused / INODE_UNINIT，inode bitmap / gdp csum。
7. 维护 percpu_counter 与 flex free_inodes/used_dirs。
8. 填写 ext4_inode_info：i_block_group、i_csum_seed、EXTENT 标志 + ext4_ext_tree_init（目录/ reg / symlink）、i_sync_tid 等，insert_inode_locked → ACL/security/encrypt xattr → ext4_mark_inode_dirty。

4.3 释放：ext4_free_inode

前置条件检查（i_count/i_nlink）→ dquot_free_inode → ext4_clear_inode → 算 group/bit → 读位图、journal 访问 → 清 bit（若已清则 报错 corrupt）→ 更新 gdp 空闲 inode、目录计数、flex、percpu → 重算 inode bitmap csum / gdp csum → dirty。

4.4 辅助出口

• ext4_mark_inode_used：重放或工具路径 强制在位图中置位 并更新计数（与 __ext4_new_inode 不同，不创建 VFS inode）。
• ext4_orphan_get：挂载 orphan 处理。
• ext4_init_inode_table：lazyinit 后台 inode 表零填充。

5. 小结

ialloc.c 是 ext4 inode 编号空间 的核心：位图一致性（校验和 + corrupt 标记）、目录/文件的局部性与负载均衡（Orlov + flex）、与 lazyinit、日记、配额、extent 初始化 的衔接都在此收敛。分析 creat/mkdir/unlink 时，分配侧看 __ext4_new_inode 与 find_group_*，回收侧看 ext4_free_inode 与 ext4_evict_inode（在 inode.c）的调用关系。

RK3588 kernel-6.1 fs/ext4/indirect.c 传统间接块映射分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/indirect.c（未启用 extent 时 inode 内 i_data[] 的 直接块 + 一/二/三级间接 树：查找、分配、截断、打洞）
• 调用方：inode.c 中 ext4_map_blocks（无 EXT4_INODE_EXTENTS 时走 ext4_ind_map_blocks）、截断与 punch hole 路径
• 不覆盖：extent 树（见 extents.c）

2. 代码作用（一句话）

indirect.c 实现 classic ext2 式 「inode 根部指针 + 多级间接块」：把逻辑块号 ext4_block_to_path 解析为各级索引，ext4_get_branch** 读链；若缺块且允许创建则 ext4_alloc_branch 分配元数据与数据块并 ext4_splice_branch 挂回树；ext4_ind_truncate / ext4_ind_remove_space 通过 ext4_find_shared + ext4_free_branches / ext4_free_data 回收子树并配合日记。** 全程依赖 i_data_sem 与 ext4_jbd2。**

3. 解决了什么问题

4. 核心数据结构：Indirect

1
2
3
4
5

typedef struct {
	__le32	*p;
	__le32	key;
	struct buffer_head *bh;
} Indirect;

• p：当前层 指向下一层块号的槽位（inode 内或某间接块 buffer）。
• key：该槽位上的 块号（le32）。
• bh：本层若为间接块则非 NULL。

ext4_get_branch 从 inode->i_data 起沿 offsets[] 填充 chain[]，遇 0 指针 返回 残缺链 供分配。

5. 分配路径概要

1. ext4_block_to_path → depth、offsets、blocks_to_boundary。
2. ext4_get_branch → 若完整：映射成功（可扫连续块）。
3. 若 无 CREATE：按 子树空洞大小 填 m_len（hole）。
4. 若 CREATE：indirect_blks = 从断点到叶子还差几层元数据；ext4_alloc_branch：ext4_new_meta_blocks 建中间层、ext4_mb_new_blocks 建数据；ext4_splice_branch 写回父指针、更新 i_blocks 等。
5. delalloc：EXT4_GET_BLOCKS_DELALLOC_RESERVE → ext4_da_update_reserve_space。

6. 锁定约定（与注释一致）

• 仅查找：down_read(i_data_sem)。
• 可能分配：down_write(i_data_sem)（由 inode.c 在调用 ext4_ind_map_blocks 前保证）。

7. 小结

indirect.c 是 ext4 对 传统 bitmap+i_block[] 布局 的完整实现；现代默认 extent 文件 主要走 extents.c，本文件仍用于 未转换的老布局、特殊场景或 tests。阅读 ext4_map_blocks 时：EXT4_INODE_EXTENTS 置位 → extent 路径；否则 → ext4_ind_map_blocks。与 s_bitmap_maxbytes（file.c/truncate 与本文 max_block）共同约束 非 extent 文件最大逻辑长度。

RK3588 kernel-6.1 fs/ext4/inline.c 内联数据与内联目录分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/inline.c（small file / symlink / directory 在 inode 体内 存放数据或目录项；与 xattr.c、inode.c、dir.c、iomap.c 协作）
• 盘上表示：EXT4_INODE_INLINE_DATA；内容分为 ext4_inode->i_block 前一段固定长度 + 可选 system xattr "data" 的值域（见 EXT4_XATTR_SYSTEM_DATA）

2. 代码作用（一句话）

inline.c 在 i_extra_isize 与 inode 内 xattr 空间 允许时，把 小文件数据、快符号链接文本或整块小目录 塞进 inode 块；通过 ext4_find_inline_data_nolock 在 iget 时定位 "data" xattr 与 i_inline_off/i_inline_size；读路径 readpage/iomap 把 inline 映射为 IOMAP_INLINE 或填充第 0 页；写/增长若超出 ext4_get_max_inline_size 则 ext4_convert_inline_data_to_extent 等形式 转 extent + 普通块；目录在 i_block 里编码 .. 与线性 ext4_dir_entry_2，满则 ext4_convert_inline_data_nolock 落盘为传统目录块。

3. 解决了什么问题

4. 存储布局（概念）

ext4_has_inline_data：EXT4_INODE_INLINE_DATA 等标志（定义见 ext4.h）。

5. 核心入口（导航）

6. 锁与兼容性

• xattr_sem：读 保护 inline 元数据与 xattr 布局；ext4_write_lock_xattr 在修改 xattr/inline 时用。
• i_data_sem：截断 等与 extent 共享逻辑时使用。
• EXT4_STATE_MAY_INLINE_DATA：尚允许继续 inline；ENOSPC 或 DIO 路径（见 file.c）可 清除，迫使 走块设备。

feature：需 inline_data 等与 足够大的 s_inode_size/extra isize；bigalloc 与旧式 indirect 组合由其它文件约束，inline 转换后统一走 extent 映射。

7. 小结

inline.c 把 「元数据即数据」 做到极致，显著减少 小文件/小目录/短 symlink 的 块分配与碎片；代价是实现 与 xattr、日记、page cache、extent、目录哈希、加密 的多路径桥接。分析某 inode 是否 inline，看 EXT4_INODE_INLINE_DATA 与 ext4_has_inline_data；分析读写失败是否 触发转换，搜索 ext4_convert_inline 调用链。

RK3588 kernel-6.1 fs/ext4/inode.c 分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/inode.c（约 6300+ 行，ext4 inode 生命周期与块映射的核心枢纽）
• 不替代子模块细节：extent / indirect / inline / xattr / quota 等仍要以对应 .c 文件 为准；inode.c 负责 编排、锁、日记额度、VFS 回调入口

2. 代码作用（一句话）

inode.c 实现 盘上 inode 与内存 inode/ext4_inode_info 的同步：__ext4_iget** 读 inode 表、校验 inode 校验和 与 非法/已删 inode 规则；ext4_map_blocks 在 extent 状态树 与 ext4_ext_map_blocks/ext4_ind_map_blocks 之间搭桥并维护 i_data_sem；ext4_setattr/ext4_truncate/ext4_evict_inode 处理 截断、orphan、unlink 回收；ext4_write_inode/ext4_mark_iloc_dirty 对接 回写与 journal；并包含 延迟分配（delalloc）、get_block/iomap 辅助、inode 标志与 jbd2 jinode 等大量横切逻辑。**

3. 解决了什么问题

4. 模块结构（阅读地图）

1
2
3
4
5
6
7
8
9
10
11

inode.c（逻辑分组）
├── 校验与标志：inode csum，ext4_set_inode_flags，ext4_inode_is_fast_symlink
├── 生命周期：__ext4_iget，ext4_write_inode，ext4_evict_inode，ext4_dirty_inode
├── 块映射核心：ext4_map_blocks（+ check_block_validity, issue_zeroout）
├── get_block / mpage / buffer 行走：ext4_get_block*，bread_batch，walk_page_buffers
├── 延迟分配：ext4_da_*，ext4_alloc_da_blocks，da_update_reserve_space
├── address_space：ext4_set_aops，与 readpage/write_begin 等衔接
├── 截断与洞：ext4_truncate，punch_hole，zero_partial_blocks，can_truncate
├── 属性：ext4_setattr，ext4_getattr，ext4_file_getattr
├── iloc / 脏：ext4_get_inode_loc，ext4_mark_iloc_dirty，expand_extra_isize
└── journal 辅助：attach_jinode，change_inode_journal_flag，wait_for_tail_page_commit

5. ext4_map_blocks 要点（与 extents.c / indirect.c / extents_status.c 的分界）

1. ext4_es_lookup_extent：命中 written/unwritten/delayed/hole 则直接填 map（CACHED_NOWAIT 可早退）。
2. 只查盘上树：读 i_data_sem，extent → ext4_ext_map_blocks(..., create=0)，否则 ext4_ind_map_blocks(..., create=0)；若有结果则 写 ES（混合 delayed 标记逻辑）。
3. 创建 / 转换 unwritten：清 m_flags，写 i_data_sem，再 create=flags 调 ext/ind。
4. 新块：可选 zeroout 后再 ext4_es_insert_extent。
5. 释放写锁 前 out_sem 处理错误码。

6. __ext4_iget 要点

• 非法 ino（保留 quota/orphan_file、越界等）→ -EFSCORRUPTED/-ESTALE。
• 已缓存：check_igot_inode 做一致性断言。
• i_extra_isize、负 i_size、dir_index 与 INDEX 标志不兼容 metadata_csum 等 → 损坏。
• 填充 uid/gid/projid、nlink、i_flags、i_blocks ACL 块、inline、extent、symlink 等后 unlock_new_inode。

7. 小结

inode.c 是 ext4 的 「中心调度」：把 VFS、日志、块分配、extent/indirect/inline、ES 缓存、orphan、配额、加密/verity 连成可断言的序。深入 某一算法（例如 extent 插入）应进入 extents.c；深入 iget 之后的 raw 字段解析 可对照 ext4.h 中 struct ext4_inode。

阅读顺序建议：ext4_map_blocks → ext4_truncate/ext4_setattr(ATTR_SIZE) → __ext4_iget → ext4_evict_inode，再按需下钻 delalloc 与 ext4_set_aops 相关符号。

RK3588 kernel-6.1 fs/ext4/ioctl.c 用户态控制接口分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/ioctl.c（ext4_ioctl / ext4_compat_ioctl 及若干 ioctl 辅助函数）
• 入口挂载于 ext4_file_operations.unlocked_ioctl（见 file.c）；ext4_file_inode_operations.fileattr_get/set 将 通用 fsxattr 转到本文件的 ext4_fileattr_* → ext4_ioctl_setflags / ext4_ioctl_setproject

2. 代码作用（一句话）

ioctl.c 把 管理员与工具链 对 ext4 的控制请求集中到 __ext4_ioctl 的 switch：含 在线扩容、extent 迁移、延迟块刷盘、在线整理（move extent）、TRIM、卷标/UUID、加密/fsverity、getfsmap、journal checkpoint/shutdown、extent 状态缓存查询 等；并实现 超块（主+备份）批量更新、inode 标志位（chattr 语义）与 project id 的安全修改。

3. 解决了什么问题

超块一致性： ext4_update_superblocks_fn：抢 EXT4_FLAGS_RESIZING；事务内更新 主超块 + 至多两个备份（其余备份 非日记或同步写）；ext4_update_backup_sb 校验 备份超块 csum。

4. __ext4_ioctl 命令表（按功能归类）

未在 switch 中出现的 旧式 EXT4_IOC_GET/SETFLAGS 由 VFS fileattr 路径覆盖（ext4_fileattr_get/set）。

5. 与其它文件的边界

6. 小结

ioctl.c 几乎不负责 「算法本身」，负责 权限、拷贝用户内存、与 mnt_want_write、日记 handle、feature 位、bigalloc/DAX 限制 的守门，并把请求 委派到 ext4 其它模块或内核通用子系统。新增 ioctl 时应在本文件 __ext4_ioctl 增加 case，并评估 compat 与 CAP_ / mnt* 语义。

RK3588 kernel-6.1 fs/ext4/mballoc.c 多块分配器（mballoc）分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/mballoc.c（约 6700+ 行，ext4 数据块/簇 的主分配与释放实现）
• 头文件与结构：mballoc.h、ext4_allocation_request / ext4_allocation_context、ext4_group_info 中的 buddy/prealloc 字段
• 调用方：extents.c / indirect.c（ext4_mb_new_blocks）、inode.c（延迟分配、ext4_claim_free_clusters 等）、ioctl.c（FITRIM → ext4_trim_fs）、fsmap.c（ext4_mballoc_query_range）

2. 代码作用（一句话）

mballoc.c 在 块组粒度 上维护 位图 + buddy 树（通过 s_buddy_cache 伪 inode 的页缓存 装载），按 goal、stripe、CR（cr 0/1） 与可选 mb_optimize_scan 选择块组；分配路径 优先吃 inode 预分配 / per-CPU 局部性预分配，否则 规范化请求长度 后在 buddy 上 查找、分裂、标记已用，并写回 块位图、gdt 空闲计数、簇计数（bigalloc 下以 簇 为 accounting 单位）；释放路径 ext4_free_blocks 清位图、buddy、quota，并支持 日记 forget/revoke；另提供 TRIM（discard） 与 对空闲区间的枚举回调（getfsmap）。

3. 解决了什么问题

4. 主路径概要

4.1 分配：ext4_mb_new_blocks

1. TRACE / FC_REPLAY → simple。
2. 非 delalloc reserved：ext4_claim_free_clusters + dquot_alloc_block（配额文件可用 nofail）。
3. ext4_mb_initialize_context：填充 ext4_allocation_context（含 goal、flags）。
4. ext4_mb_use_preallocated：命中 inode PA 则直接 ext4_mb_mark_diskspace_used。
5. 否则 ext4_mb_normalize_request → ext4_mb_pa_alloc（创建/填充上下文中的 PA）→ ext4_mb_regular_allocator（ext4_mb_find_by_goal / simple / complex / scan_aligned` 等）。
6. ext4_mb_mark_diskspace_used：日记 get_access、位图置位、buddy 更新、gdt、ext4_es_insert_extent 由调用方负责。
7. 失败：ext4_mb_pa_free / ext4_discard_allocated_blocks、释放配额预留。

4.2 释放：ext4_free_blocks

可选 ext4_forget（元数据或 data journal 语义）→ ext4_mb_clear_bb（清位图、更新 buddy、gdt、percpu_counter 等）。

5. 调试与 sysfs（文件头注释摘录）

可调参数包括 mb_stream_req、mb_group_prealloc、mb_min_to_scan、mb_max_to_scan、mb_order2_req、mb_linear_limit 等与 stripe、mb_optimize_scan 挂载选项；/sys/fs/ext4/<dev>/ 下暴露。

6. 小结

mballoc.c 是 ext4 数据区空间管理 的核心：在块组内用 buddy 做连续空闲管理，在文件系统级用 PA 做吞吐与局部性；与 bigalloc（簇）、quota、journal、FC 重放、discard、fsmap 深度绑定。阅读 ext4_map_blocks → ext4_mb_new_blocks 时，应以 ext4_allocation_request 各字段（goal/logical/len/flags） 为线索；阅读 碎片与延迟分配 时结合 extents_status.c 与 inode.c delalloc。

深层算法细节（mb_mark_used 分裂 buddy、ext4_mb_good_group_nolock、prefetch 等）可在本文件内按符号继续下钻，本文不展开到函数级伪代码。

RK3588 kernel-6.1 fs/ext4/move_extent.c 在线 extent 迁移（defrag）分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/move_extent.c（EXT4_IOC_MOVE_EXT：e4defrag 等工具触发的 两文件间逻辑区间与底层块映射交换）
• 协作：extents.c 中的 ext4_swap_extents、ioctl.c（命令分发与 bigalloc/DAX 拒绝）、inode.c（ext4_get_block）

2. 代码作用（一句话）

在 同一 superblock、均为 extent 普通文件 且 非 data=journal / 非加密 等前提下，ext4_move_extents** 按 原文件逻辑块范围 遍历 extent，逐 页 调用 move_extent_per_page：加日记 → 双文件页锁 → 若仍为 unwritten 可仅 ext4_swap_extents；否则 把原页数据读 uptodate → filemap_release_folio 尝试丢旧映射 → ext4_swap_extents 交换两文件在该区间的物理映射 → ext4_get_block + block_commit_write 把旧数据写回 原 inode 上新的物理块 → ext4_jbd2_inode_add_write；失败时 repair_branches 尝试 再 swap 回去 以防元数据与数据不一致。**

3. 解决了什么问题

不支持（由 ioctl.c/ext4_move_extents 组合）：bigalloc、DAX、data=journaling、fscrypt（本文件内 IS_ENCRYPTED 检查）。

4. 调用链简图

1
2
3
4
5
6
7
8
9
10
11
12

ioctl: EXT4_IOC_MOVE_EXT
  → ext4_move_extents(o_filp, d_filp, orig_blk, donor_blk, len, moved_len)
       → lock_two_nondirectories + inode_dio_wait
       → ext4_double_down_write_data_sem
       → mext_check_arguments
       → while (逻辑块):
            get_ext_path / 跳过洞 / 对齐页内 cur_len
            ext4_double_up_write_data_sem
            move_extent_per_page(...)
            ext4_double_down_write_data_sem
       → discard preallocations
       → unlock

5. 与 ext4_swap_extents 的关系

move_extent.c 负责 页级 I/O、日记额度、锁升降序；extents.c 的 ext4_swap_extents 在 事务 handle 下 改写两棵 extent 树 中对应逻辑区间的 物理指针（并处理 脏元数据）。两者必须 一致使用，分析实现时需 extents.c 对照阅读。

6. 小结

move_extent.c 实现 内核级「换腱接骨」：在 不扩大用户可见文件布局语义 的前提下，交换两段文件的块映射并保证数据落到新映射上，供 e4defrag 做 online defrag。正确性依赖 extent 类型再检查、失败回滚 swap 与 jbd2 inode ranged write 标记。

若需补充 用户态 e4defrag 典型步骤（ donor 分配策略等），属于 工具链文档，超出本内核文件范围。

RK3588 kernel-6.1 fs/ext4/namei.c 路径解析与目录元数据操作分析

1. 分析范围

• rk3588/kernel-6.1/fs/ext4/namei.c（目录 inode 的 VFS inode_operations：lookup / create / link / unlink / symlink / mkdir / rmdir / mknod / tmpfile / rename，以及 目录块读写、htree 增删分裂、目录项校验和 等底层支撑）
• 与 dir.c（readdir、线性/dx 读路径）、inline.c（内联目录项增删转普通目录）、hash.c（ext4_htree_fill_tree 等 遍历填充）、xattr.c/acl.c（listxattr/get_acl 等透传）的协作

分工提示：dir.c 文档已覆盖 大目录按 hash 遍历 与 f_pos 编码；本文重点在 「写名字」：如何在磁盘目录结构里 查找、插入、删除、改名，以及 htree 随写入而分裂、升层。

2. 代码作用（一句话）

namei.c 实现 ext4 目录层名空间操作：通过 ext4_read_dirblock 按 索引块 / 叶子块 预期做 一致性校验与元数据 CRC；ext4_lookup/ext4_get_parent** 解析 目录项 → ext4_iget；ext4_add_entry 统一 内联目录 → htree → 线性目录，必要时 make_indexed_dir 把单块目录 提升为索引目录；ext4_dx_add_entry/do_split 在叶子满或索引满时 分裂叶子或分裂/升高索引；ext4_delete_entry/__ext4_unlink 合并 rec_len 回收槽位；ext4_rename/ext4_cross_rename/ext4_rename2 在 jbd2 事务 内完成 换名、目录 .. 维护、白化（whiteout）、fast commit 跟踪或置为不合格；并向 VFS 导出 ext4_dir_inode_operations。

3. 解决了什么问题

4. 核心流程摘要

4.1 目录块读取与校验类型

• dirblock_type_t：EITHER / INDEX / DIRENT / DIRENT_HTREE，告知 __ext4_read_dirblock 期望值，用于 区分索引块与叶子、选择性做强校验（避免空叶子被误判为索引块时误验索引 CRC）。
• ext4_read_dirblock 为带 调用点 的封装，便于 ext4_error_inode(..., func, line, ...) 定位。

4.2 添加目录项：ext4_add_entry

1. ext4_fname_setup_filename（加密名、casefold 等）。
2. 若 ext4_has_inline_data(dir)：ext4_try_add_inline_entry；成功则返回。
3. 若 is_dx(dir)：ext4_dx_add_entry；失败则按是否 metadata_csum 决定 降级或报错。
4. 否则 块号 0…blocks-1 上 add_dirent_to_buf；-ENOSPC 且 单块 + dir_index feature：make_indexed_dir。
5. 仍满则 ext4_append 新目录块再 add_dirent_to_buf。
6. 成功则 ext4_set_inode_state(..., EXT4_STATE_NEWENTRY)。

4.3 htree 写路径：ext4_dx_add_entry

• dx_probe 定位帧栈；读 叶子 DIRENT_HTREE。
• 叶子 add_dirent_to_buf 若 ENOSPC：索引项满 则 分裂索引 或 增加 indirect_levels；否则 do_split 分裂叶子（ dx_make_map/dx_sort_map 均分条目），再在目标叶 add_dirent_to_buf。
• restart 时 重新 dx_probe，因索引路径已变。

4.4 删除与 unlink

• ext4_delete_entry：先尝试 inline 路径，再 ext4_journal_get_write_access + ext4_generic_delete_entry + ext4_dirblock_csum_set + ext4_handle_dirty_dirblock。
• __ext4_unlink：ext4_find_entry 与 inode 校验；事务内删项；drop_nlink；i_nlink==0 ext4_orphan_add；fast commit ext4_fc_track_unlink（带 dentry 时）。

4.5 创建类操作（节选）

• ext4_create/ext4_mknod/ext4_tmpfile：ext4_new_inode_start_handle + ext4_add_entry（或 tmpfile 不建目录项），设置 ext4_file_inode_operations 或 ext4_special_inode_operations。
• ext4_mkdir：ext4_new_inode_start_handle + ext4_init_new_dir（./..）+ ext4_add_entry，ext4_dir_inode_operations。
• ext4_symlink：fscrypt_prepare_symlink；短链可走 fast symlink；长链 ext4_init_symlink_block 写数据块；加密则 ext4_encrypted_symlink_inode_operations。

4.6 ext4_rename2 → ext4_rename / ext4_cross_rename

• fscrypt_prepare_rename。
• RENAME_EXCHANGE → ext4_cross_rename。
• 否则 ext4_rename：quota、ext4_find_entry、journal_start、目录则 empty_dir/EMLINK 检查、ext4_setent/ext4_add_entry、删旧项、更新 ctime/nlink/orphan、whiteout 回滚路径。

5. 与 ext4_dir_inode_operations 的对应关系

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

const struct inode_operations ext4_dir_inode_operations = {
	.create		= ext4_create,
	.lookup		= ext4_lookup,
	.link		= ext4_link,
	.unlink		= ext4_unlink,
	.symlink	= ext4_symlink,
	.mkdir		= ext4_mkdir,
	.rmdir		= ext4_rmdir,
	.mknod		= ext4_mknod,
	.tmpfile	= ext4_tmpfile,
	.rename		= ext4_rename2,
	.setattr	= ext4_setattr,
	.getattr	= ext4_getattr,
	.listxattr	= ext4_listxattr,
	.get_acl	= ext4_get_acl,
	.set_acl	= ext4_set_acl,
	.fiemap         = ext4_fiemap,
	.fileattr_get	= ext4_fileattr_get,
	.fileattr_set	= ext4_fileattr_set,
};

目录 inode 的 setattr/getattr/xattr/acl 等在其它文件中实现，经此表挂到 目录 上。

6. 小结

namei.c 是 ext4 「名字 ↔ inode」 的枢纽：读目录块时防呆与校验、写目录时维护线性与 htree 两种形态（含 分裂与索引升高），并把 POSIX 语义（link 计数、目录 ..、加密与白化、journaling/fast commit）落到 事务化的目录项更新 上。深入 htree 读侧与 readdir 请结合 dir.c/hash.c 文档；内联目录 细节见 inline 相关源码与 rk3588-kernel-6.1-ext4-inline内联数据与内联目录分析.md。