Overlay fs联合文件系统源码解析系列(一)挂载过程详解 原创 精华
作者:蒋卫峰 钟文清
引言
分析Overlay fs联合文件系统源自于培养OpenHarmony高端人才的动机,通过讲Overlay fs联合文件系统移植到Liteos_A内核的项目培养一批精通OpenHarmony内核的人才,也通过本文向各位热爱OpenHarmony内核的技术开发者和爱好者叙说一个复杂文件系统的具体实现过程和包含的软件思想,我们是一群热爱OpenHarmony,热爱开源,传递技术正能量的OpenHarmony开发工程师。
Overlay fs是一种联合文件系统,它以堆叠的形式将不同的目录挂载到同一个虚拟文件系统下。Overlayfs文件系统像其他文件系统一样,先被作为一种文件系统注册到Linux内核,而后用户通过Mount命令触发其挂载,然后才得以被用户使用。
需要注意的是,Overlay fs在Linux内核3.18后就被默认加入内核模块了,查看Linux内核版本可以使用如下命令:
为了更好地帮助我们理解overlay fs的作用,可以在Linux上开启overlay模块,并做些简单的实验,再去阅读源码会有更好的效果。在Linux上开启overlay fs模块的方法主要有两种,具体如下所示:
-
使用如下命令进行加载overlay模块
-
overlay会在挂载的时候自动加载该文件系统,故可以直接使用如下命令进行overlay模块的安装和挂载
加载overlay模块后,就可以进行一些实验,而本文主要关注Overlay fs挂载流程,结合Linux内核源码分析挂载过程的执行过程,并通过将该过程中涉及到的主要数据结构之间的联系绘制成结构图,来尽可能清晰地为读者展现一张文件系统核心数据结构整体图。
鉴于作者知识有限,仅以个人视角,一孔窥豹,不成体系,读者还需实地阅读代码才能加深理解。
若发现文中错误,可以联系笔者进行修改。
1.Overlay fs挂载命令介绍
Overlay fs挂载命令格式如下:
其中,overlay文件系统挂载的命令参数解释如下:
-t overlayfs
,指定挂载Overlay fs联合文件系统;-o lowerdir=/lower,upperdir=/upper,workdir=/work
,即lower层目录为**/lower**,uppper层目录为**/upper**,工作目录为**/work**;- /merged为Overlay文件系统的合并层,其为upper和lower两个目录的堆叠,具体的堆叠规则稍后说明;
需要注意的几点:
-
workdir=/work<u>不可为空或者省略</u>,否则会导致挂载失败。
-
在创建工作目录时,系统会默认在该目录下创建一个名称为
WORK
的新目录,<u>用于存放临时文件或者目录</u>。例如在删除由Lower层和Upper层目录合成的目录时,既需要删除Upper层同名的目录,又要中创建一个同名whiteout类型目录,要保证这个删除和创建两个操作的原子性,就要借助于WORK工作目录。现在WORK目录中创建临时目录,设置属性,然后将临时目录与目标目录rename,借助于Upper层文件系统保证rename的原子性,然后在删除交互到WORK目录下的目录,完成整个删除操作。即使这个过程,中间遇到突然关机的情况,在WORK目录中也是只有刚创建的临时文件或者交换过去的临时文件,在下一次系统挂载的过程中自动清空其中的内容。这样,就可以保证整个过程的原子性。
Overlay文件系统的不同层合并规则以及读写规则有如下几点:
- Overlay 对Upper层目录或者文件有写权限,对Lower层目录或者文件<u>仅具有读权限</u>;
- lowerdir和upperdir两个目录存在同名文件时,lowerdir的文件将会被隐藏,用户只能看到upperdir的文件;
- lowerdir低优先级的同目录同名文件将会被隐藏;
- 用户修改mergedir中来自upperdir的数据时,数据将直接写入upperdir中原来目录中,删除文件也同理;
- 用户修改mergedir中来自lowerdir的数据时,lowerdir中内容均不会发生任何改变;
- 如果某一个目录单纯来自lowerdir或者lowerdir和upperdir合并,默认无法进行rename系统调用
为了简要形象地说明Overlay文件系统挂载之后的堆叠(合并)规则,可以参考下图,图中含有一个lowedir和upperdir,两者合并成一个merged层:
这一小结中Overlay fs文件系统挂载的的命令行参数,就介绍到这里,下面主要关注Overlayfs的挂载过程。
2. mount系统调用过程
使能Linux内核Overlay fs文件系统编译选项CONFIG_OVERLAY_FS
,或者以=y
静态方式编译进内核,或者先以=m
内核模块方式编译再加载该内核模块,在Linux内核层添加对Overlay fs联合文件系统的支持。 然后以mount -t overlay overlayfs
,触发mount系统调用,进行挂载Overlayfs文件系统的流程。
mount系统调用挂载Overlay fs文件系统的过程如下:
如上系统调用mount的简化调用堆栈中可以看出,整个mount流程可以总结为4个步骤:
(1)根据文件系统名称fstype
,在内核所支持的文件系统链表中,找到对应的文件系统,若没有找到则先加载该模块;
(2)创建文件系统上下文空间,并初步初始化,对Overlay fs联合文件系统,fc的ops设置为legacy_fs_context_ops;
(3)由文件系统fc间接调用文件系统的mount接口,对Overlay fs文件系统来说,该指针指向ovl_mount(),由该函数完成Overlay fs文件系统的挂载;
(4)在Overlay fs文件系统挂载完成后,创建一个mount节点,并将其挂载到Overlayfs文件系统supper_block的挂载链表内;
上述几个步骤中**,关键结构体的链接情况**可以参考下图:
如上图,为了便于理解和记忆,可以将mount过程中的关键结构体抽象成4个层次,即mount层,fs_context层,fs文件系统层,以及目录项节点层。首先,从系统支持的文件系统链表中获得Overlayfs文件系统,然后创建fs_context对象,并以此间接地调用Overlay fs文件系统的mount接口函数。由ovl_mount()挂载函数完成Overlayfs文件系统所特有的挂载过程,有上图Overlayfs有一个独有的表示其文件系统结构的结构体类型struct ovl_fs
,作为其super_block的私有数据,以有别与其他的文件系统。
在第3小结中,我们将详细地解析Overlay fs文件系统的挂载过程。
3. Overlay fs文件系挂载过程详解
如前文所述,真正实现Overlay fs联合文件系统挂载过程的函数是由fc_context间接调用的ovl_mount()过程,过程也比较简单,就是申请一个supper_block,
然后使用Overlayfs文件系系统的信息将其填充。 具体过程如下:
由于Overlay fs文件系统叠层联合文件系统,那么在执行mount命令时指定upper目录、lower目录及work目录,是如何在Overlayfs内被组织利用,进而实现层叠联合文件系统的呢?该过程为Overlayfs文件挂载的核心过程,主要在ovl_fill_super()函数内完成。
在ovl_fill_super()的主要过程为:
(1)从overlayfs挂载命令中获取Lower层的个数,并以此分配layers空间;
(2)解析Upper层,包括挂载路径,原系统的挂载节点、挂载目录等;
(3)解析Work工作目录,并做必要合法性检测;
(4)解析lower层,可能包含多个叠层,需要对每一层都进行解析,并将解析结果保存layers中;
(5)设置overlayfs系统根目录;
其中,比较复杂而且关系到Overlayfs整个实现机制的步骤为(2)、(4)和(5),在下面的内容中将着重介绍这些内容,之后便可以对整个Overlay fs联合文件系统的挂载过程形成一个整体蓝图。
3.1 Upper层过程解析
Overlay fs对upper层目录的解析过程在ovl_get_upper()函数中完成,主要分为3个步骤:
(1)查找upper层目标目录的路径,是根据挂载Overlayfs提供的upperdir路径,层层查找得到;
(2)设置upper_layer的trap,trap即为Overlayfs文件系统中的一个inode,其私有数据指向upper目录在实际文件系统中的inode;
(3)创建一个upper层目录挂载节点的克隆体,并设置为upper_layer的mnt成员;
如下为ovl_get_upper()函数的调用堆栈:
为方便理解,将ovl_get_upper()中涉及的结构类型ovl_layer、mount、dentry和inode等的关联关系绘制成如下图形:
3.2 lower层过程解析
Overlayfs对upper层目录的解析过程在ovl_get_lowerstack()函数中完成,lower层与upper层不同是lower层可能有多个目录叠加在一起,需要对lower层
目录做批量处理,过程有些类似于ovl_get_upper()对upper层的解析过程:
仔细阅读如上代码,我们会发现除了批量执行类似于ovl_get_upper()中解析目录操作外,还增加了分配并初始化一个ovl_entry类型结构实例的过程,
该ovl_entry的在Overlayfs虚拟文件系统中的功能主要为Overlayfs文件系统中的目录提供额外的联合文件系统的Lower层目录信息,其作用我们将在
root根目录初始化的过程中见到。
将ovl_get_lowerstack()内创建的数组和相关结构体类型的关系绘制成如下图形:
从上图可知,ovl_get_lowerstack()的功能相对于ovl_get_upper()揉进了额外的功能,除了构建ovl_fs的layers数组外,还构建了fs数组,另外还构建Overlayfs目录的ovl_entry
结构体对象。可以明显的感觉到,这部分代码不像Linux内核一贯严谨的代码风格,在一个函数混合了多个功能。 其中的lowerstack关系图可以参考下图,分别用图表和代码的形式绘制。
3.3 root根目录构建过程解析
文件系统的目录和文件操作是以root根目录为起点,而对于Overlayfs联合文件系统,知道root根目录的构建过程,是理解该联合文件系统操作目录的关键。Overlayfs文件系统依靠ovl_get_root()完成根目录的构建,具体调用堆栈如下:
为便于理解其中繁杂的结构体之间的组合关心,还是将他们直接的关系绘制成如下图形:
在构建root根目录的过程中,ovl_get_root()首先调用d_make_root(ovl_new_inode(sb, S_IFDIR, 0))
创建一个ovl_inode
类型的Overlay fs系统的inode节点,该节点中包含一个VFS系统的inode结构体;再创建一个跟目录价的dentry目录项,并将ovl_inode包含的inode成员的地址赋值给dentry目录项的d_inode指针。然后,ovl_get_root()
将ovl_get_lowerstack()解析lower层目录时创建的ovl_entry结构体对象作为root根目录dentry的私有数据。最后,ovl_get_root()借助upper和lower目录在ovl_inode_init()函数内初始化了root根目录在VFS中的inode节点,借此间接设置了ovl_inode对象的上层目录的dentry和第一个lower层的inode节点地址。
至此,我们完成了挂载Overlayfs文件系统的整个过程。
总结
Overlay fs是一种虚拟文件系统,它的实现是在现有文件系统上又添加了一个抽象层,从而达到实现联合文件系统的目的。而这个抽象层的实现借助了负责的结构体类型以及他们之间的关联关系而实现,所以,要理解Overlay fs联合文件系统的关键就是理清这些结构体的组织关系。
为了能明白地解析Overlayfs文件系统挂载过程,本文只尽可能详细跟踪了代码执行过程,同时也省略了“自以为”不影响描述整个过程的代码,主要目的也是为了是读者更加关注在挂载流程。至于其他机制,例如目录的合并、目录或者文件的删除、目录的遍历等,这里不做涉及,将在后续的博客中介绍。
更多原创内容请关注:深开鸿技术团队
入门到精通、技巧到案例,系统化分享OpenHarmony开发技术,欢迎投稿和订阅,让我们一起携手前行共建生态。
了解学习下Overlay fs
了解下移植过程。
挂载过程代码讲解很详细
图表描述的很清晰