Linux文件系统是操作系统的核心组成部分，为数据的存储、组织和访问提供了一种结构化的方式。本文深入探讨了EXT4文件系统的结构以及Linux内核如何管理文件操作，注重技术准确性和对IT专业人士及开发者的实用见解。无论您是优化存储还是排查性能问题，本指南都提供了清晰且详细的概述。
Linux文件系统的核心特性
Linux文件系统旨在平衡性能、可靠性和灵活性。其主要特性包括：
- 基于块的存储：文件以固定大小的块（通常为4KB）存储，有效利用磁盘空间。
- 索引节点（Inode）：每个文件或目录与一个索引节点（inode）相关联，用于跟踪元数据和块位置。
- 缓存层：经常访问的文件会被缓存到内存中，以减少磁盘I/O并提升性能。
- 层次结构组织：文件通过目录组织，便于管理和查询。
- 进程跟踪：内核维护数据结构，记录哪些进程正在访问哪些文件。
这些特性确保Linux文件系统能够稳健地应对多样化的工作负载。
EXT4文件系统结构
EXT4文件系统是EXT2和EXT3的进化版本，因其高性能和可靠性在Linux发行版中广泛使用。以下我们将探讨其核心组件：索引节点、数据块、扩展区（extents）和位图。
索引节点与数据块
在EXT4中，磁盘被划分为固定大小的块（默认4KB，格式化时可配置）。文件被分割成这些块进行存储，允许灵活分配而无需连续空间。每个文件或目录由一个**索引节点（inode）**表示，其包含以下元数据：
- 文件权限（
i_mode） - 所有者和组ID（
i_uid,i_gid） - 文件大小（
i_size_lo,i_size_high） - 时间戳（
i_atime表示最近访问时间，i_mtime表示最近修改时间，i_ctime表示索引节点最近更改时间，i_dtime表示删除时间） - 块指针（
i_block）
索引节点结构定义如下：
struct ext4_inode {
__le16 i_mode; /* 文件模式 */
__le16 i_uid; /* 所有者UID低16位 */
__le32 i_size_lo; /* 文件大小（字节） */
__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; /* 块计数 */
__le32 i_flags; /* 文件标志 */
__le32 i_block[15]; /* 数据块指针 */
__le32 i_generation; /* 文件版本（用于NFS） */
__le32 i_file_acl_lo; /* 文件ACL */
__le32 i_size_high; /* 文件大小高32位 */
...
};
在EXT2/EXT3中，i_block数组直接指向小文件的数据块（最多12个块）。对于大文件，使用间接块：
- 直接块：
i_block[0-11]直接指向数据块。 - 单间接块：
i_block[12]指向包含数据块地址的块。 - 双间接块：
i_block[13]指向包含间接块地址的块。 - 三间接块：
i_block[14]进一步扩展以支持超大文件。
这种方式虽然灵活，但对于大文件，多次磁盘读取可能导致性能下降。
EXT4中的扩展区（Extents）
为了解决间接块的局限性，EXT4引入了扩展区（extents），允许连续块分配，从而提升性能并减少碎片。扩展区是一组连续的块，EXT4通过树状结构组织它们，由ext4_extent_header管理：
struct ext4_extent_header {
__le16 eh_magic; /* 格式标识 */
__le16 eh_entries; /* 有效条目数 */
__le16 eh_max; /* 节点可容纳的最大条目数 */
__le16 eh_depth; /* 树深度 */
__le32 eh_generation; /* 树生成编号 */
};
- 叶子节点（
eh_depth = 0）：包含ext4_extent结构，指向连续的数据块。 - 索引节点（
eh_depth > 0）：指向下层的叶子节点或索引节点。
struct ext4_extent {
__le32 ee_block; /* 第一个逻辑块 */
__le16 ee_len; /* 块数量 */
__le16 ee_start_hi; /* 物理块高16位 */
__le32 ee_start_lo; /* 物理块低32位 */
};
struct ext4_extent_idx {
__le32 ei_block; /* 覆盖的逻辑块 */
__le32 ei_leaf_lo; /* 下一层块的指针 */
__le16 ei_leaf_hi; /* 下一层块高16位 */
__u16 ei_unused;
};
对于小文件，索引节点的i_block可以存储一个ext4_extent_header和最多四个ext4_extent条目，表示高达512MB的数据（4个扩展区×每个128MB）。对于大文件，扩展区树会扩展，一个4KB块可容纳340个扩展区，支持高达42.5GB的文件。
索引节点与块位图
EXT4使用位图跟踪索引节点和块的分配状态：
- 索引节点位图：一个4KB块，每位表示一个索引节点是否被分配（1表示已用，0表示空闲）。
- 块位图：类似地跟踪块分配状态。
创建文件（例如，使用open函数并带O_CREAT参数）时，内核扫描索引节点位图以找到空闲的索引节点，并扫描块位图以分配数据块。
文件系统布局
EXT4文件系统通过块组组织大磁盘，每个块组包含：
- 超级块：存储全局文件系统元数据（例如，总索引节点数、块数和每组计数）。
- 块组描述符表：列出每个块组的元数据，包括索引节点和块位图位置。
- 索引节点表：存储索引节点结构。
- 数据块：存储文件数据。
ext4_group_desc结构定义块组元数据：
struct ext4_group_desc {
__le32 bg_block_bitmap_lo; /* 块位图位置 */
__le32 bg_inode_bitmap_lo; /* 索引节点位图位置 */
__le32 bg_inode_table_lo; /* 索引节点表位置 */
...
};
为防止数据丢失，超级块和块组描述符表在多个块组中存储副本。sparse_super特性通过仅在索引为0、3、5、7等的块组中存储副本来减少冗余。
**元块组（Meta Block Group）**特性进一步优化，通过将块组分为每组64个的集合，每个集合维护自己的描述符表，减少空间占用并提高扩展性。
目录存储
EXT4中的目录被视为具有索引节点的文件，但其数据块存储的是ext4_dir_entry结构列表，每个结构包含文件名及其对应的索引节点编号：
- “.”：当前目录。
- “..”：父目录。
- 其他条目：文件或子目录的文件名和索引节点。
对于大型目录，设置EXT4_INDEX_FL标志启用基于哈希的索引，将条目组织成树以加快查找速度。哈希将文件名映射到数据块，叶子节点包含ext4_dir_entry列表。
Linux中的文件缓存
Linux内核通过缓存优化文件I/O，EXT4文件操作由ext4_file_operations实现：
const struct file_operations ext4_file_operations = {
.read_iter = ext4_file_read_iter,
.write_iter = ext4_file_write_iter,
...
};
缓存I/O与直接I/O
Linux支持两种I/O模式：
- 缓存I/O：
- 读取：检查内核页面缓存。如果数据已缓存，直接返回；否则，从磁盘读取并缓存。
- 写入：将数据复制到内核页面缓存，标记为脏页。内核稍后将脏页写入磁盘（例如，通过
sync或内存不足时）。
- 直接I/O：
- 绕过缓存，直接读写磁盘，减少内核缓存与用户程序之间的数据复制开销。
缓存写入操作
generic_perform_write函数处理缓存写入：
- 准备：调用
ext4_write_begin初始化日志并分配缓存页面。 - 复制：使用
iov_iter_copy_from_user_atomic将数据从用户空间复制到内核页面缓存。 - 完成：调用
ext4_write_end完成日志记录并标记页面为脏页。 - 平衡：调用
balance_dirty_pages_ratelimited管理脏页，超过阈值时触发回写。
EXT4支持三种日志模式以确保可靠性：
- 日志模式：在写入文件系统之前记录元数据和数据的日志，安全性最高但性能较低。
- 有序模式（默认）：仅记录元数据日志，确保数据在元数据之前写入磁盘。
- 写回模式：仅记录元数据日志，不保证数据先于元数据写入，性能最高但安全性最低。
缓存读取操作
generic_file_buffered_read函数处理缓存读取：
- 检查缓存：使用
find_get_page查找页面缓存。 - 预读：如果未找到缓存，触发同步预读（
page_cache_sync_readahead）加载数据及相邻块。 - 异步预读：对于标记为预读的缓存页面，启动异步预读（
page_cache_async_readahead）。 - 复制：使用
copy_page_to_iter将数据从内核缓存复制到用户空间。
结论
EXT4文件系统凭借其基于索引节点的结构、扩展区树和强大的日志功能，为Linux存储提供了可靠且高效的解决方案。通过利用缓存和优化的I/O操作，Linux内核确保了小型和大型文件的高性能。了解这些组件对于系统管理员和开发者优化存储性能或排查文件系统问题至关重要。
