linux2.4.30内核文件系统学习(多图).doc,Linux2430内核文件系统学习(多图).doc

Linux2430内核文件系统学习(多图).doc

(30页)

本资源提供全文预览，点击全文预览即可全文预览,如果喜欢文档就下载吧，查找使用更方便哦！

23.9 积分

Linux  2.4.30 内核文件系统学习(多图) 1：  关键数据结构1.   概述 根据以前学习内核源码的经验，在学习文件系统实现之前，我大概定了个目标：1、  建立一个清晰的全局概念。为将来需要研究代码细节打下坚实基础。2、  只研究虚拟文件系统 VFS 的实现，不研究具体文件系统。为什么选择 Linux 2.4.30？因为可以参考《Linux 源码情景分析》一书，减少学习难度。 1.1.              基本概念1、  一块磁盘(块设备)，首先要按照某种文件系统(如 NTFS)格式进行格式化，然后才能在其上进行创建目录、保存文件等操作。在 Linux 中，有“安装”文件系统和“卸载”文件系统的概念。一块经过格式化的“块设备”(不管是刚刚格式化完的，没有创建任何名录和文件；还是已经创建了目录和文件)，只有先被“安装”，才能融入 Linux 的文件系统中，用户才可以在它上面进行正常的文件操作。2、  Linux 把目录或普通文件，统一看成“目录节点”。通常一个“目录节点”具有两个重要属性：名称以及磁盘上实际对应的数据。本文中，“目录节点”有时简称为“节点”“符号链接”是一种特殊的目录节点，它只有一个名称，没有实际数据。这个名称指向一个实际的目录节点。3、  “接口结构”：在 内核代码中，经常可以看到一种结构，其成员全部是函数指针，例如：struct file_operations {  struct module *owner;  loff_t (*llseek) (struct file *, loff_t, int);  ssize_t (*read) (struct file *, char *, size_t, loff_t *);  ssize_t (*write) (struct file *, const char *, size_t, loff_t *);  int (*readdir) (struct file *, void *, filldir_t);  unsigned int (*poll) (struct file *, struct poll_table_struct *);  int (*ioctl) (struct inode *, struct file *, unsigned int, unsigned long);  int (*mmap) (struct file *, struct vm_area_struct *);  int (*open) (struct inode *, struct file *);  int (*flush) (struct file *);  int (*release) (struct inode *, struct file *);  int (*fsync) (struct file *, struct dentry *, int datasync);  int (*fasync) (int, struct file *, int);  int (*lock) (struct file *, int, struct file_lock *);  ssize_t (*readv) (struct file *, const struct iovec *, unsigned long, loff_t *);  ssize_t (*writev) (struct file *, const struct iovec *, unsigned long, loff_t *);  ssize_t (*sendpage) (struct file *, struct page *, int, size_t, loff_t *, int);  unsigned long (*get_unmapped_area)(struct file *, unsigned long, unsigned long, unsigned long, unsigned long);};这种结构的作用类似与 C++ 中的“接口类”，它是用 C 语言进行软件抽象设计时最重要的工具。通过它，将一组通用的操作抽象出来，核心的代码只针对这种“接口结构”进行操作，而这些函数的具体实现由不同的“子类”去完成。以这个 file_operations“接口”为例，它是“目录节点”提供的操作接口。不同的文件系统需要提供这些函数的具体实现。本文中，“接口结构”有时简称“接口”。 1.2.              虚拟文件系统Linux 通过虚拟文件系统 (VFS) 来支持不同的具体的文件系统，那么 VFS 到底是什么？从程序员的角度看，我认为 VFS 就是一套代码框架(framework)，它将用户与具体的文件系统隔离开来，使得用户能够通过这套框架，以统一的接口在不同的具体的文件系统上进行操作。这套框架包括：1、  为用户提供统一的文件和目录的操作接口，如  open, read, write2、  抽象出文件系统共有的一些结构，包括“目录节点”inode、“超级块”super_block 等。3、  面向具体的文件系统，定义一系列统一的操作“接口”， 如 file_operations, inode_operations, dentry_operation，具体的文件系统必须提供它们的实现。4、  提供一套机制，让具体的文件系统融入 VFS 框架中，包括文件系统的“注册”和“安装”5、  实现这套框架逻辑的核心代码 我对文件系统的学习，实际上就是学习虚拟文件系统这套框架是如何实现的。   2.   核心数据结构数据结构是代码的灵魂，要分析一个复杂的系统，关键是掌握那些核心的数据结构，这包括：1、  弄清数据结构的核心功能。一个数据结构通常具有比较复杂的成员，此外，还有一些成员用于建立数。省略部分。eidata 中要带着一个 vfsmount 的原因。   6.   打开文件 6.1.              “打开文件”结构 file 一个文件每被打开一次，就对应着一个 file 结构。我们知道，每个文件对应着一个 dentry 和 inode，每打开一个文件，只要找到对应的 dentry 和 inode 不就可以了么？为什么还要引入这个 file 结构？ 这是因为一个文件可以被同时打开多次，每次打开的方式也可以不一样。而dentry 和 inode 只能描述一个物理的文件，无法描述“打开”这个概念。因此有必要引入 file 结构，来描述一个“被打开的文件”。每打开一个文件，就创建一个 file 结构。 file 结构中包含以下信息：打开这个文件的进程的 uid,pid打开的方式读写的方式当前在文件中的位置实际上，打开文件的过程正是建立file, dentry, inode 之间的关联的过程。  f_dentryf_opd_inodei_fopopenstruct filestruct dentrystruct inodestruct file_operationsreadwriteioctlllseekmmap7.   文件的读写文件一旦被打开，数据结构之间的关系已经建立，后面对文件的读写以及其它操作都变得很简单。就是根据 fd 找到 file 结构，然后找到 dentry 和 inode，最后通过 inode->i_fop 中对应的函数进行具体的读写等操作即可。  8.   进程与文件系统的关联8.1.              “打开文件”表和 files_struct结构一个进程可以打开多个文件，每打开一个文件，创建一个 file 结构。所有的 file 结构的指针保存在一个数组中。而文件描述符正是这个数组的下标。我记得以前刚开始学习编程的时候，怎么都无法理解这个“文件描述符”的概念。现在从内核的角度去看，就很容易明白“文件描述符”是怎么回事了。用户仅仅看到一个“整数”，实际底层对应着的是 file, dentry, inode 等复杂的数据结构。files_struct 用于管理这个“打开文件”表。 struct files_struct {    atomic_t count;    rwlock_t file_lock;    /* Protects all the below members.  Nests inside tsk->alloc_lock */    int max_fds;    int max_fdset;    int next_fd;    struct file ** fd;    /* current fd array */    fd_set *close_on_exec;    fd_set *open_fds;    fd_set close_on_exec_init;    fd_set open_fds_init;    struct file * fd_array[NR_OPEN_DEFAULT];}; 其中的 fd_arrar[] 就是“打开文件”表。task_struct 中通过成员 files 与 files_struct 关联起来。8.2.              struct  fs_structtask_struct 中与文件系统相关的还有另外一个成员 fs，它指向一个 fs_struct 。struct fs_struct {       atomic_t count;       rwlock_t lock;       int umask;       struct dentry * root, * pwd, * altroot;       struct vfsmount * rootmnt, * pwdmnt, * altrootmnt;};其中：root 指向此进程的“根目录”，通常就是“根文件系统”的根目录 dentrypwd 指向此进程当前所在目录的 dentry因此，通过 task_struct->fs->root，就可以找到“根文件系统”的根目录 dentry，这就回答了 5.1 小节的第一个问题。rootmnt ：指向“安装”根文件系统时创建的那个 vfsmount pwdmnt：指向“安装”当前工作目录所在文件系统时创建的那个 vfsmount这两个域用于初始化 nameidata 结构。8.3.              进程与文件系统的结构关系图 下图描述了进程与文件系统之间的结构关系图：   9.   参考资料1、《Linux 源码情景分析》上册2、Linux 2.4.30 源码  struct nameidata {       struct dentry *dentry;       struct vfsmount *mnt;       struct qstr last;       unsigned int flags;       int last_type;};static inline struct inode *iget(struct super_block *sb, unsigned long ino){            struct inode *inode = iget4_locked(sb, ino, NULL, NULL);            if (inode && (inode->i_state & I_NEW)) {                        sb->s_op->read_inode(inode);                        unlock_new_inode(inode);            }            return inode;} 关 键 词： 文件 linux 2430 内核 系统 学习 linux2430

 天天文库所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。

关于本文