3. F2FS 与 ext4 的元数据组织对比

在文件系统移植过程中，元数据组织方式的差异是内核适配的核心难点。ext4 作为传统日志型文件系统，其元数据设计围绕块设备特性优化；而 F2FS 针对 NAND Flash 的物理特性（擦除块、写放大、磨损均衡）重新设计了元数据布局。本章从 inode 结构、目录索引算法和块分配策略三个维度进行深度对比。

3.1 inode 结构对比

inode 是文件系统元数据的核心载体，存储文件属性、权限、时间戳以及数据块指针。ext4 与 F2FS 的 inode 结构在设计哲学上存在根本差异。

3.1.1 ext4 inode 结构

ext4 inode 大小为 256 字节，包含 15 个块指针（i_block[15]），采用三级间接寻址架构：

struct ext4_inode {
    __le16  i_mode;         // 文件类型与权限
    __le16  i_uid;          // 用户ID（低16位）
    __le32  i_size_lo;      // 文件大小（低32位）
    __le32  i_atime;        // 访问时间
    __le32  i_ctime;        // 状态变更时间
    __le32  i_mtime;        // 修改时间
    __le32  i_dtime;        // 删除时间
    __le16  i_gid;          // 组ID（低16位）
    __le16  i_links_count;  // 硬链接计数
    __le32  i_blocks_lo;    // 块计数（低32位）
    __le32  i_flags;        // 文件标志
    __le32  i_block[EXT4_N_BLOCKS]; // 15个块指针
    __le32  i_generation;   // 文件版本（NFS使用）
    __le32  i_file_acl;     // 扩展属性块
    __le32  i_size_high;    // 文件大小（高32位）
    __le32  i_obso_faddr;   // 碎片化地址（已废弃）
    __le16  i_extra_isize;  // 扩展inode大小
    // ... 扩展属性区域
};

15 个块指针的布局策略：

• i_block[0-11]：12 个直接块指针，直接指向数据块
• i_block[12]：一级间接块指针，指向包含块指针的块
• i_block[13]：二级间接块指针
• i_block[14]：三级间接块指针

3.1.2 F2FS inode 结构

F2FS 的 inode 结构设计为 node block，大小等于一个块（4KB），其中 inode 部分占用 3.5KB，剩余空间用于直接块指针：

struct f2fs_inode {
    __le16  i_mode;         // 文件类型与权限
    __le8   i_advise;       // 文件建议（冷热数据提示）
    __le8   i_inline;       // 内联标志（data/xattr）
    __le32  i_uid;          // 用户ID
    __le32  i_gid;          // 组ID
    __le32  i_links;        // 硬链接计数
    __le64  i_size;         // 文件大小（64位）
    __le64  i_blocks;       // 块计数（64位）
    __le64  i_atime;        // 访问时间
    __le64  i_ctime;        // 状态变更时间
    __le64  i_mtime;        // 修改时间
    __le32  i_generation;   // 文件版本
    __le32  i_current_depth; // 目录当前深度
    __le32  i_xattr_nid;    // 扩展属性节点ID
    __le32  i_flags;        // 文件标志
    __le32  i_pino;         // 父目录inode号
    __le32  i_namelen;      // 文件名长度
    __le8   i_name[F2FS_NAME_LEN]; // 文件名（内联）
    // 直接块指针区域
    __le32  i_addr[DEF_ADDRS_PER_INODE]; // 约923个直接块指针
    // NAT（节点地址表）信息
    struct f2fs_nat_entry i_nat;
};

3.1.3 inode 结构对比表

3.1.4 inode 结构对比 SVG

3.2 目录索引：Hash Tree vs HTree

目录索引决定了在目录中查找文件的速度。ext4 使用 HTree（哈希树），F2FS 使用 Hash Tree（基于哈希的二分查找树）。两者都使用哈希值加速查找，但树结构和分裂策略不同。

3.2.1 ext4 HTree 索引

ext4 的 HTree 是一种 B-tree 变体，使用目录项的哈希值作为键值：

• 根节点：存储在目录 inode 的 i_block[0] 中，包含哈希种子和树深度
• 内部节点：存储哈希范围（hash_start, hash_end）和指向子节点的块号
• 叶节点：传统的目录项块，包含文件名和 inode 号
• 分裂策略：当叶节点满时，分裂为两个节点，更新父节点的哈希范围

// ext4 HTree 根节点结构
struct dx_root {
    __le32  dot;              // '.' 条目
    __le32  dotdot;           // '..' 条目
    struct dx_root_info {
        __le32  reserved_zero;
        __u8    hash_version; // 哈希算法版本
        __u8    info_length;  // 信息长度
        __u8    indirect_levels; // 间接层级
        __u8    unused_flags;
    } info;
    struct dx_entry entries[]; // 哈希条目数组
};

// 哈希条目
struct dx_entry {
    __le32  hash;    // 哈希值（低32位）
    __le32  block;   // 子节点块号
};

3.2.2 F2FS Hash Tree 索引

F2FS 的目录索引采用 基于哈希的二分查找树，设计更简洁：

• 根节点：目录 inode 中的 i_current_depth 字段记录当前深度
• 节点结构：每个目录块包含一个哈希槽位数组，槽位按哈希值排序
• 查找算法：二分查找 + 哈希值比较，找到匹配的槽位后读取目录项
• 分裂策略：当目录块满时，深度加 1，将条目重新分布到 2^depth 个块中

// F2FS 目录项块结构
struct f2fs_dentry_block {
    struct f2fs_dentry_bitmap {
        __le32  bitmap[8];    // 256位位图，标记槽位使用状态
    } dentry_bitmap;
    struct f2fs_dentry_reserved {
        __le32  reserved[3];  // 保留字段
    } reserved;
    struct f2fs_dentry_slot {
        __le32  hash_code;    // 完整哈希值（32位）
        __le32  ino;          // inode号
        __le16  name_len;     // 文件名长度
        __u8    file_type;    // 文件类型
        __u8    name[F2FS_SLOT_LEN]; // 文件名（8字节对齐）
    } dentry[NR_DENTRY_IN_BLOCK]; // 约 64 个槽位
};

3.2.3 目录索引对比表

3.2.4 目录索引结构 SVG

3.3 块分配策略差异

块分配策略直接影响文件系统的碎片化程度、写入性能和 Flash 寿命。ext4 的分配器针对机械硬盘优化，F2FS 的分配器针对 NAND Flash 的擦除块特性设计。

3.3.1 ext4 块分配策略

ext4 使用 多块分配器（mballoc），核心策略包括：

• 块组（Block Group）：将磁盘划分为 128MB 的块组，每个块组有独立的块位图
• 预分配（Preallocation）：通过 inode 预分配位图预留连续块
• 延迟分配（Delayed Allocation）：在数据写入内存后、刷盘前决定物理块位置
• 碎片整理：支持在线 defrag，但需要额外系统调用

// ext4 块分配器核心结构
struct ext4_allocation_context {
    struct inode *ac_inode;           // 目标inode
    struct ext4_sb_info *ac_sb;       // 超级块信息
    struct ext4_allocation_request {
        ext4_lblk_t logical;          // 逻辑块号
        ext4_fsblk_t goal;            // 目标物理块号
        ext4_lblk_t len;              // 请求长度
        int flags;                    // 分配标志
    } ac_req;
    struct ext4_free_extent {
        ext4_fsblk_t fe_start;        // 起始物理块
        ext4_lblk_t fe_len;           // 连续块长度
    } ac_f_ex;                        // 最终分配结果
    int ac_status;                    // 分配状态
};

3.3.2 F2FS 块分配策略

F2FS 的块分配器围绕 段（Segment） 和 区段（Section） 设计：

• 段（Segment）：2MB 的连续块集合，是擦除块的基本单位
• 区段（Section）：多个段组成区段，用于数据隔离
• 冷热数据分离：根据文件类型（数据/目录/元数据）分配到不同的段
• 日志结构化写入：所有写入都是追加写入，通过清理（GC）回收空间
• 自适应日志（Adaptive Logging）：根据设备利用率动态切换追加/原地更新

// F2FS 段分配器核心结构
struct f2fs_sit_entry {
    __le16  valid_blocks;    // 段中有效块数
    __le16  cur_valid_map;   // 有效块位图
    __le32  usage;           // 使用计数
};

struct f2fs_segment_entry {
    unsigned int segno;      // 段号
    unsigned int zone;       // 所属区段
    unsigned int type;       // 段类型（热/温/冷/元数据）
    struct list_head list;   // 空闲段链表
};

3.3.3 块分配策略对比表

3.3.4 块分配策略 SVG