Linux 文件存储结构原理：从 dentry 到 inode 再到硬链接

2. Inode（索引节点）：文件的'身份证'

Inode 是 Linux 文件系统中的另一个核心概念，它代表索引节点（index node）。每个文件或目录都有一个唯一的 inode，inode 包含了文件的所有元数据（metadata）。

Inode 的作用

• 存储文件的元数据：Inode 存储了文件的权限、所有者、修改时间、访问时间、创建时间以及文件大小等信息。
• 管理文件的数据块：Inode 通过直接指针、间接指针和双重间接指针管理文件的数据块，从而实现了文件数据的存储和访问。

Inode 的结构

一个典型的 inode 包含以下信息：

• 文件类型：指示该 inode 代表的是文件、目录还是其他类型的对象。
• 权限信息：文件的读、写、执行权限。
• 所有者信息：文件的所有者（用户和组）。
• 时间戳：文件的修改时间、访问时间和创建时间。
• 数据块指针：直接指针、间接指针和双重间接指针，用于指向文件的实际数据块。

Linux 源码中的 inode 定义

inode 结构体定义在 <linux/fs.h> 文件中，存储文件的元数据和数据块信息。

struct inode {
    unsigned long i_ino;           // inode 编号
    umode_t i_mode;                // 文件类型和权限
    uid_t i_uid;                   // 文件所有者
    gid_t i_gid;                   // 文件组
    struct timespec64 i_atime;     // 最后访问时间
    struct timespec64 i_mtime;     // 最后修改时间
    struct timespec64 i_ctime;     // 最后状态变更时间
    unsigned long i_blocks;        // 文件占用的磁盘块数
    struct file_operations *i_fop; // 文件操作函数指针
    // 其他字段...
};

解释

• i_ino：inode 编号，唯一标识一个 inode。
• i_mode：文件类型和权限，如文件、目录、符号链接等。
• i_uid 和 i_gid：文件的所有者和组。
• i_atime、i_mtime、i_ctime：文件的访问时间、修改时间和状态变更时间。
• i_blocks：文件占用的磁盘块数。
• i_fop：文件操作函数指针，指向文件操作函数的集合。

3. 硬链接的本质：指向同一个 inode 的多个文件名

硬链接（hard link）是 Linux 文件系统中的一个特性，它允许一个文件拥有多个文件名。硬链接的本质是多个文件名指向同一个 inode。

硬链接的工作原理

• 共享同一个 inode：硬链接文件和原文件共享同一个 inode，因此它们具有相同的文件内容、权限和时间戳。
• 删除文件名不会删除文件：删除一个硬链接文件名不会删除文件的内容，因为只要还有一个文件名指向该 inode，文件内容就会保留。

硬链接的限制

• 不能跨文件系统：硬链接只能在同一文件系统中创建，因为不同文件系统具有独立的 inode 结构。
• 不能链接目录：硬链接不能用于链接目录，因为这会导致文件系统的循环引用。

Linux 源码中的硬链接实现

硬链接通过 link 系统调用实现，其内核函数为 sys_link，定义在 <fs/stat.h> 和相关文件中。

// 在 <fs/stat.h> 中声明
extern int sys_link(const char __user *oldname, const char __user *newname);

// 在 <fs/namei.c> 中实现
int sys_link(const char __user *oldname, const char __user *newname) {
    // 实现硬链接逻辑
    // 检查权限，创建新的 dentry 和链接到已有的 inode
}

示例代码：创建硬链接

以下是一个用户空间的 C 程序示例，演示如何创建硬链接。

#include <stdio.h>
#include <stdlib.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <unistd.h>

int main(int argc, char *argv[]) {
    if (argc != 3) {
        printf("Usage: %s <existing_file> <new_link>\n", argv[0]);
        return EXIT_FAILURE;
    }
    const char *existing_file = argv[1];
    const char *new_link = argv[2];

    // 创建硬链接
    if (link(existing_file, new_link) == -1) {
        perror("link");
        return EXIT_FAILURE;
    }
    printf("Hard link created successfully: %s -> %s\n", new_link, existing_file);
    return EXIT_SUCCESS;
}

编译和运行示例

1. 编译代码

gcc -o create_hard_link create_hard_link.c

2. 运行程序

sudo ./create_hard_link example.txt hard_link_example.txt

验证结果

使用 ls -li 命令查看 inode 编号，确认两个文件具有相同的 inode 编号，表示它们是硬链接。

ls -li example.txt hard_link_example.txt

总结

Linux 文件系统的存储结构是一个层次化的体系，涉及 dentry、inode 和硬链接等多个关键概念。通过理解这些概念的工作原理，我们可以更好地理解 Linux 文件系统的性能和行为。

• Dentry 是文件系统中的'路标'，用于快速定位文件或目录。
• Inode 是文件的'身份证'，存储了文件的所有元数据和数据块信息。
• 硬链接 是指向同一个 inode 的多个文件名，提供了文件的多重访问路径。

理解这些概念有助于我们更好地管理和优化 Linux 文件系统，从而提升系统的性能和可靠性。