深入剖析 Linux 文件系统数据结构实现机制

1. 文件系统全景：从用户视角到磁盘结构

1.1 一切皆文件的哲学

在 Linux 中，所有资源都被视为文件。无论是普通文本文件、目录，还是硬件设备、进程间通信管道，甚至是网络连接，都通过统一的文件接口进行访问。

这种设计哲学简化了系统架构，使得对各类资源的操作可以通过相同的系统调用完成。当你访问 /dev/sda 时，实际上是在与磁盘设备交互；当你向 /proc/1/status 写入时，实际上是在与进程 1 通信。

1.2 文件系统层次架构

Linux 文件系统的设计采用了经典的分层架构，从用户空间到物理磁盘，每一层都有明确的职责和抽象：

物理存储：磁盘/SSD 硬件
设备驱动层：块设备抽象
页缓存/缓冲区缓存：Page Cache
具体文件系统：Ext4, XFS, Btrfs 等
虚拟文件系统 VFS：系统调用接口
用户空间：应用程序

这个分层架构的关键在于虚拟文件系统（VFS）层，它为上层提供了统一的文件操作接口，同时允许下层各种具体文件系统以插件方式存在。

2. 虚拟文件系统：Linux 的统一文件接口

2.1 VFS 的设计思想

VFS 抽象了不同文件系统的差异，为用户空间提供一致的 API。它定义了四种主要对象类型，每种对象都有对应的操作函数表：

对象类型	内存中实例数量	对应磁盘结构	生命周期	主要作用
超级块对象	每个挂载的文件系统一个	超级块	挂载期间	描述文件系统整体信息
索引节点对象	每个打开的文件一个	inode	文件访问期间	描述文件的元数据和数据位置
目录项对象	每个路径分量一个	目录项	路径解析期间	链接文件名到 inode，提供路径缓存
文件对象	每个打开的文件描述符一个	无	文件打开期间	描述进程与打开文件的交互状态

2.2 VFS 四大核心对象详解

2.2.1 超级块对象（super_block）

超级块是文件系统的'身份证'和'管理手册'。每个挂载的文件系统在内存中都有一个超级块对象，它包含文件系统类型、块大小、总块数、空闲块数、操作函数表及挂载选项等信息。

2.2.2 索引节点对象（inode）

索引节点是文件的'身份证明'和'属性档案'。每个文件都有唯一的 inode，包含文件类型、权限位、所有者、时间戳、文件大小及数据块位置信息。它不包含文件名，只包含文件的元数据和指向数据块的指针。

// Linux 内核中 inode 结构的简化表示
struct inode {
    umode_t i_mode;       
      i_ino;  
     i_dev;         
     i_nlink;      
     i_uid;          
     i_gid;          
     i_size;        
     
     
     
      i_blocks; 
    
        
        
    } u;
     
     
          
};

区域	占磁盘比例	内容	作用
引导块	第一个块	引导程序	系统启动
超级块	紧随引导块	文件系统元数据	描述文件系统整体结构
inode 表	约 1-10%	所有 inode	存储文件元数据
数据块区	剩余空间	文件内容和目录项	存储实际数据

#include <linux/fs.h> #include <linux/module.h> #include <linux/slab.h> #define MEMFS_MAGIC 0x20250112 #define MAX_FILES 128 #define BLOCK_SIZE 4096 // 内存文件系统超级块 struct memfs_sb_info { unsigned long magic; int block_size; int max_blocks; int free_blocks; unsigned long *bitmap; }; // 内存文件系统 inode 信息 struct memfs_inode_info { int first_block; int num_blocks; char *data_blocks; struct inode vfs_inode; }; // 文件系统类型定义 static struct file_system_type memfs_fs_type = { .owner = THIS_MODULE, .name = "memfs", .mount = memfs_mount, .kill_sb = kill_block_super, .fs_flags = FS_REQUIRES_DEV, }; // 超级块操作 static const struct super_operations memfs_sops = { .statfs = simple_statfs, .drop_inode = generic_delete_inode, .show_options = generic_show_options, }; // inode 操作 static const struct inode_operations memfs_iops = { .lookup = simple_lookup, .getattr = memfs_getattr, }; // 文件操作 static const struct file_operations memfs_fops = { .read_iter = generic_file_read_iter, .write_iter = generic_file_write_iter, .llseek = generic_file_llseek, .open = generic_file_open, }; // 创建 inode static struct inode *memfs_create_inode(struct super_block *sb, umode_t mode) { struct inode *inode; struct memfs_inode_info *info; inode = new_inode(sb); if (!inode) return NULL; inode->i_ino = get_next_ino(); inode->i_mode = mode; inode->i_atime = inode->i_mtime = inode->i_ctime = current_time(inode); info = kmalloc(sizeof(struct memfs_inode_info), GFP_KERNEL); if (!info) { iput(inode); return NULL; } info->first_block = -1; info->num_blocks = 0; info->data_blocks = NULL; inode->i_private = info; if (S_ISDIR(mode)) { inode->i_op = &memfs_iops; inode->i_fop = &simple_dir_operations; set_nlink(inode, 2); } else if (S_ISREG(mode)) { inode->i_op = &memfs_iops; inode->i_fop = &memfs_fops; set_nlink(inode, 1); } return inode; } // 挂载文件系统 static struct dentry *memfs_mount(struct file_system_type *fs_type, int flags, const char *dev_name, void *data) { struct dentry *root; struct super_block *sb; struct memfs_sb_info *sbi; sb = sget(fs_type, NULL, set_anon_super, flags, NULL); if (IS_ERR(sb)) return ERR_CAST(sb); sbi = kzalloc(sizeof(struct memfs_sb_info), GFP_KERNEL); if (!sbi) { deactivate_locked_super(sb); return ERR_PTR(-ENOMEM); } sbi->magic = MEMFS_MAGIC; sbi->block_size = BLOCK_SIZE; sbi->max_blocks = MAX_FILES * 4; sbi->free_blocks = sbi->max_blocks; sbi->bitmap = kcalloc(BITS_TO_LONGS(sbi->max_blocks), sizeof(unsigned long), GFP_KERNEL); if (!sbi->bitmap) { kfree(sbi); deactivate_locked_super(sb); return ERR_PTR(-ENOMEM); } sb->s_fs_info = sbi; sb->s_op = &memfs_sops; sb->s_time_gran = 1; root = d_make_root(memfs_create_inode(sb, S_IFDIR | 0755)); if (!root) { kfree(sbi->bitmap); kfree(sbi); deactivate_locked_super(sb); return ERR_PTR(-ENOMEM); } sb->s_root = root; return root; } // 模块初始化 static int __init memfs_init(void) { int ret; printk(KERN_INFO "MemFS: Initializing memory file system\n"); ret = register_filesystem(&memfs_fs_type); if (ret) { printk(KERN_ERR "MemFS: Failed to register filesystem\n"); return ret; } printk(KERN_INFO "MemFS: Registered successfully\n"); return 0; } // 模块清理 static void __exit memfs_exit(void) { unregister_filesystem(&memfs_fs_type); printk(KERN_INFO "MemFS: Unregistered\n"); } module_init(memfs_init); module_exit(memfs_exit); MODULE_LICENSE("GPL"); MODULE_DESCRIPTION("A simple in-memory filesystem for educational purposes");

深入剖析 Linux 文件系统数据结构实现机制