虚拟文件系统

VFS的层次

文件系统实现与用户进程（或C库）之间。

 

文件系统分类

基于磁盘的文件系统（ext2/3  fat  iso9660…）、虚拟文件系统（proc）、网络文件系统（nfs）

 

 

通用文件模型

VFS提供一种结构模型，包含了一个强大的文件系统所应具备的所有组件。所有的文件系统实现，都必须提供与VFS定义的结构配合的例程，以弥补两种试图之间的差异。

 

文件描述符

一个整数，在用户层所有有关文件的操作中用于标识一个文件，在打开文件时由内核创建，特定于进程。

 

 

inode

 

l  inode是什么？

²  inode用来存放文件的元数据（例如，文件的创建者、文件的创建日期、文件的大小等等）

²  注意inode并不包含文件名。

 

l  inode的内容

inode包含文件的元信息，具体来说有以下内容：

²  文件的size、文件属主的User ID、Group ID

 

²  文件的读、写、执行权限

²  文件的时间戳，：ctime（inode上一次变动的时间）、mtime（文件内容上一次变动的时间）、atime（文件上一次打开的时间）。

²  链接数，即有多少文件名指向这个inode。

²  文件数据分布在哪些磁盘Block。

 

l  inode的状态

每个inode处于三种状态中的一个：

²  inode位于内存中，未关联到文件；（inode_unused）

²  inode位于内存中，由一个或多个进程使用，已与磁盘同步；（inode_in_used）

²  inode处于活动使用状态，与磁盘上内容未同步，脏inode；

 

l  inode是如何组织的？

²  内核使用两种方式组织inode。

²  链表：每个inode都有一个i_list成员，可将inode存储在链表中。（inode出现在特定于超级块的链表中i_sb_list，同时出现在特定于状态的链表中，例如inode_in_used）

²  散列：每个inode同时出现在一个散列表中（根据inode号快速访问inode）。

 

l  目录是什么？

²  Linux下，目录也是文件，也有inode和数据部分，其数据部分内容如下：

第一部分表示对应inode的编号（系统内唯一），第二部分表示文件或目录的名字。

内核如何访问/user/bin/emacs

 

首先读取根目录（这个在内核中一直被维护，），在根目录文件的数据部分查找user这个目录项，根据其中的inode编号，获取inode。bin的查找类似，一直到查找到emacs，找到emacs对应的inode，该inode的数据部分即emacs这个文件（普通数据文件）的内容。

图示：

 

 

目录项缓存dentry：

 

l  引入dentry

 

上述访问/user/bin/emacs过程非常耗时，需要不断地读取inode和对应的数据部分。为了加速，内核将之前访问过的目录或文件（统称为目录项）缓存起来，下次再访问同样的目录项（例如，/user/bin/vi的/user/bin/部分）时，可以直接找到对应的inode（上图中为10号）。

 

l  dentry的目的：

dentry的主要用途是建立文件名和inode之间的关联。

所以该结构体包括两个最主要的字段，d_inode和d_name。

其中，d_name为文件名。qstr是内核对字符串的封装（可以理解为带有散列值的char*）。

d_inode是与该文件名对应的inode。

 

l  dentry结构体：

struct dentry {

    …

 

/* Where the name belongs to - NULL is negative */

    struct inode *d_inode; 

 

struct qstr d_name;

 

struct dentry *d_parent; /* parent directory */

    union {

    struct list_head d_child; /* child of parent list */

    struct rcu_head d_rcu;

    } d_u;

    struct list_head d_subdirs; /* our children */

    struct dentry_operations *d_op;

    struct super_block *d_sb; /* The root of the dentry tree */

    unsignedchard_iname[DNAME_INLINE_LEN_MIN]; /* small names */

 

…

};

 

l  什么时候创建

在VFS（以及文件系统实现）读取一个目录项（目录或普通文件）后，则创建一个dentry来缓存找到的数据。

 

l  内存中这些dentry如何组织管理

²  结构：各个dentry实例组成了一个网络，例如，当前dentry实例对应的所有文件和子目录相关联的dentry都归入到d_subdirs中。

²  组织方式一：内核所有活动的dentry实例都保存在一个散列表中，该散列表使用dentry_hashtable实现（全局dentry散列表）。

²  组织方式二：LRU链表，长时间不使用的dentry会被删除。

 

 

链接link

 

l  两类链接：符号链接（软链接）和硬链接。

l  符号链接（软链接）文件使用自己的inode，该inode的数据部分包含了一个字符串，给出了链接目标的路径。

l  硬链接创建时，使用了已有的inode编号。硬链接建立以后，无法区分原来的文件和新建的硬链接文件。这种情况下，inode使用计数器来确保文件删除操作中，当没有其他文件使用该inode时，才能真正删除该inode。

示意图：

 

 

 

 

特定于进程的信息

struct task_struct {

     ...

     /* 进程的文件系统相关的信息*/

     struct fs_struct *fs;

     /* 该进程打开的文件 */

     struct files_struct *files;

     ...

}

 

struct files_struct {

     ...

     struct fdtable fdtab;

     struct file * fd_array[NR_OPEN_DEFAULT];

};

 

struct file {

     ...

 

struct path *f_path;

     loff_t   f_pos;

     ...

 

};

 

 

struct file_operations {

     ...

     ssize_t (*write) (struct file *, constchar __user *, size_t, loff_t *);

     int (*readdir) (struct file *, void *, filldir_t);

     unsignedint (*poll) (struct file *, struct poll_table_struct *);

     int (*ioctl) (struct inode *, struct file *, unsignedint, unsignedlong);

     int (*mmap) (struct file *, struct vm_area_struct *);

     int (*open) (struct inode *, struct file *);

     ...

};

 

struct file_operations->open函数实质上是将一个file对象关联到一个inode。

poll函数也在其中。

 

 

 

从task到dentry/inode