📚 课程目录第4章 dentry对象

4. dentry对象

4.1 目录项缓存（dcache）的作用

在VFS中，dentry（目录项）是路径名与inode之间的中间层。每次打开文件时，内核需要将路径名（如 /home/user/file.txt）解析为对应的inode。如果每次都从磁盘读取目录数据，性能将无法接受。因此，VFS引入了目录项缓存（dcache），用于加速路径名到inode的转换。

  dcache的核心作用：
  加速路径查找：缓存已解析的路径名组件，避免重复磁盘I/O。
减少inode访问：通过dentry直接指向inode，减少对inode缓存的压力。
支持硬链接：多个dentry可以指向同一个inode，实现硬链接语义。
维护目录结构：dentry形成树状结构，反映文件系统的目录层次。

4.2 dentry状态机

dentry对象在其生命周期中经历多个状态。理解dentry状态机是掌握dcache行为的关键。dentry共有四种状态：FREE、INIT、NEGATIVE、POSITIVE。

状态	含义	d_inode指针	是否在LRU链表中	典型场景
FREE	空闲未使用	NULL	否	slab分配器刚回收
INIT	已分配但未关联inode	NULL	否	dentry刚创建
NEGATIVE	负缓存：路径存在但文件不存在	NULL	是	访问不存在的文件
POSITIVE	正缓存：路径有效且inode存在	非NULL	是（引用计数为0时）	正常文件访问

面试高频考点：NEGATIVE dentry（负缓存）是Linux性能优化的一个亮点。当应用程序反复尝试打开一个不存在的文件时，内核不会每次都去磁盘确认，而是直接返回ENOENT。这显著减少了不必要的磁盘I/O。

4.3 dentry与inode的关联

dentry与inode之间通过d_inode指针建立关联。一个inode可以被多个dentry引用（硬链接），但一个dentry只能指向一个inode。这种多对一关系是文件系统实现硬链接的基础。

4.3.1 核心数据结构

// dentry结构体（简化版）
struct dentry {
    struct dentry *d_parent;      // 父目录dentry
    struct qstr d_name;           // 文件名（快速字符串）
    struct inode *d_inode;        // 指向关联的inode（核心关联）
    struct list_head d_child;     // 兄弟dentry链表
    struct list_head d_subdirs;   // 子dentry链表
    struct dentry_operations *d_op; // dentry操作函数
    unsigned int d_flags;         // 状态标志
    int d_count;                  // 引用计数
};

// inode结构体（简化版）
struct inode {
    unsigned long i_ino;          // inode编号
    atomic_t i_count;             // 引用计数
    struct hlist_node i_dentry;   // 指向所有关联dentry的哈希链表
    struct inode_operations *i_op; // inode操作函数
    struct super_block *i_sb;     // 所属超级块
};

  关键关联机制：
  dentry → inode：通过 dentry->d_inode 直接访问inode。
inode → dentry：通过 inode->i_dentry 哈希链表反向查找所有关联的dentry。
引用计数协同：dentry的 d_count 和inode的 i_count 共同维护生命周期。
硬链接实现：多个dentry的 d_inode 指向同一个inode，i_nlink 记录硬链接数。

4.4 dcache的回收机制

dcache占用系统内存，当内存压力增大时，内核需要回收dentry。回收策略基于LRU（最近最少使用）算法，并区分POSITIVE和NEGATIVE dentry的优先级。

回收优先级	dentry类型	回收条件	影响
高	NEGATIVE（负缓存）	内存压力上升时优先回收	下次访问需重新查询磁盘
中	POSITIVE（未使用）	引用计数为0，且在LRU链表中	下次访问需重新解析路径
低	POSITIVE（正在使用）	引用计数大于0，不会被回收	无影响

面试避坑提示：不要混淆dentry的引用计数（d_count）和inode的引用计数（i_count）。d_count表示当前有多少进程正在使用这个dentry，而i_count表示有多少个引用指向这个inode（包括dentry、文件描述符等）。当d_count为0时，dentry可以被回收；当i_count为0且i_nlink为0时，inode才会被释放。

4.5 面试高频问题

dcache miss时会发生什么？内核会调用具体文件系统的 lookup 方法，从磁盘读取目录项，创建新的dentry并插入dcache。
为什么需要NEGATIVE dentry？避免对不存在的文件反复进行磁盘I/O，提升系统整体性能。
硬链接如何影响dentry和inode？多个dentry共享同一个inode，inode的 i_nlink 记录硬链接数，删除一个dentry只减少 i_nlink，直到为0时才释放inode。
dcache如何保证一致性？当文件被删除或重命名时，内核会遍历相关dentry并更新其状态，必要时使dentry失效。
dentry和inode的生命周期谁更长？通常inode的生命周期长于dentry。dentry可以被回收而inode仍然存在（只要还有其它dentry或文件描述符引用它）。

面试加分项：可以深入讨论 dentry_operations 中的 d_revalidate 方法。对于网络文件系统（如NFS），dentry可能因为远程文件变更而失效，d_revalidate 允许在每次路径查找时重新验证dentry的有效性，这是dcache一致性模型的重要扩展。