怎么理解Linux虚拟文件系统

82次阅读
没有评论

共计 3862 个字符,预计需要花费 10 分钟才能阅读完成。

本篇内容主要讲解“怎么理解 Linux 虚拟文件系统”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让丸趣 TV 小编来带大家学习“怎么理解 Linux 虚拟文件系统”吧!

背景

有时会出现这样的情况,磁盘空间显示已经被占满,但是在查看磁盘的具体文件占用情况时,发现磁盘仍然有很大的空余空间。

1. 执行 df 命令查看磁盘使用情况,发现磁盘已经满了。

-bash-4.2$ df -Th Filesystem Type Size Used Avail Use% Mounted on /dev/vda1 ext4 30G 30G 0 100% / devtmpfs devtmpfs 489M 0 489M 0% /dev tmpfs tmpfs 497M 0 497M 0% /dev/shm tmpfs tmpfs 497M 50M 447M 11% /run tmpfs tmpfs 497M 0 497M 0% /sys/fs/cgroup

2. 执行 du 命令查看各个目录的磁盘占用情况,把各个目录文件的大小相加,发现并没有占满磁盘,有 10 多 G 空间莫名失踪。

-bash-4.2$ du -h --max-depth=1 /home16M /home/logs11G /home/serverdog11G /home

3. 为何会出现这样的情况呢?

因为虽然文件已被删除,但是一些进程仍然打开这些文件,因此其占用的磁盘空间并没有被释放。执行 lsof 命令显示打开已删除的文件。将有问题的进程重启(或,清空),磁盘空间就会得到释放。

-bash-4.2# lsof | grep deletemysqld 2470 mysql 4u REG 253,1 0 523577 /var/tmp/ibfTeQFn (deleted) mysqld 2470 mysql 5u REG 253,1 0 523579 /var/tmp/ibaHcIdW (deleted) mysqld 2470 mysql 6u REG 253,1 0 523581 /var/tmp/ibLjiALu (deleted) mysqld 2470 mysql 7u REG 253,1 0 523585 /var/tmp/ibCFnzTB (deleted) mysqld 2470 mysql 11u REG 253,1

那么,Linux 的文件系统,到底为什么这么设计呢?要了解这些,就要先弄清楚并不容易,下面将从一些基本概念入手,一步步将这些梳理清楚:

  什么是虚拟文件系统(VFS:virtual filesystem)?

  什么是通用文件模型?

  超级块对象(superblock object)

  索引节点对象(inode object)

  文件对象(file object)

  目录项对象(dentry object)

  文件的概念

  文件的表达

  内存表达

  磁盘表达

  目录树的构建

  软链接 vs 硬链接

  文件 磁盘管理

  索引节点状态

  文件 进程管理

  操作:

  打开 删除

虚拟文件系统(virtual filesystem)

下图显示了 Linux 操作系统中负责文件管理的基本组件。上半区域为用户模式,下半区域为内核模式。应用程序使用标准库 libc 来访问文件,库将请求映射到系统调用,以便进入内核模式。

怎么理解 Linux 虚拟文件系统

所有与文件相关的操作的入口都是虚拟文件系统(VFS),而非特定的额文件系统(如 Ext3、ReiserFS 和 NFS)。VFS 提供了系统库和特定文件系统之间的接口。因此,VFS 不仅充当抽象层,而且实际上它提供了一个文件系统的基本实现,可以由不同的实现来使用和扩展。因此,要了解文件系统是如何工作的,就要先了解 VFS。

通用文件模型

VFS 的主要思想在于引入了一个通用文件模型(common file model)。通用文件模型由以下对象类型组成:

超级块对象(superblock object)

  内存:文件系统安装时创建,存放文件系统的有关信息

  磁盘:对应于存放在磁盘上的文件系统控制块(filesystem control block)

索引节点对象(inode object)

  内存:访问时创建,存放关于具体文件的一般信息(inode 结构)

  磁盘:对应于存放在磁盘上的文件控制块(file control block)每个索引节点对象都有一个索引节点号,唯一地标识文件系统的文件

文件对象(file object)- 内存:打开文件时创建,存放 打开文件 与进程之间进行交互的有关信息(file 结构)打开文件信息,仅当进程访问文件期间存在于内核内存中。

目录项对象(dentry object)

内存:目录项一旦被读入内存,VFS 就会将其转换成 dentry 结构的目录项对象

  磁盘:特定文件系统以特定的方式存储在磁盘上

  存放目录项(即,文件名称)与对应文件进行链接的有关信息

目录树

综合来说,Linux 的 根文件系统 (system rsquo;s root filessystem) 是内核启动 mount 的第一个文件系统。内核代码映像文件保存在根文件系统中,而系统引导启动程序会在根文件系统挂载之后,从中把一些基本的初始化脚本和服务等加载到内存中去运行(文件系统和内核是完全独立的两个部分)。其他文件系统,则后续通过脚本或命令作为子文件系统安装在已安装文件系统的目录上,最终形成整个目录树。

start_kernel vfs_caches_init mnt_init init_rootfs //  注册 rootfs 文件系统  init_mount_tree //  挂载 rootfs 文件系统   hellip; rest_init kernel_thread(kernel_init, NULL, CLONE_FS);

就单个文件系统而言,在文件系统安装时,创建超级块对象;沿树查找文件时,总是首先从初识目录的中查找匹配的目录项,以便获取相应的索引节点,然后读取索引节点的目录文件,转化为 dentry 对象,再检查匹配的目录项,反复执行以上过程,直至找到对应的文件的索引节点,并创建索引节点对象。

软链接 vs 硬链接

软链接是一个普通的文件,其中存放的是另外一个文件的路径名。硬链接则指向同一个索引节点,硬链接数记录在索引节点对象的 i_nlink 字段。当 i_nlink 字段为零时,说明没有硬链接指向该文件。

文件 进程管理

下图是一个简单示例,说明进程是怎样与文件进行交互。三个不同进程打开同一个文件,每个进程都有自己的文件对象,其中两个进程使用同一个硬链接(每个硬链接对应一个目录对象),两个目录项对象都指向同一个 索引节点对象。

怎么理解 Linux 虚拟文件系统

索引节点的数据又由两部分组成:内存数据和磁盘数据。Linux 使用 Write back 作为索引节点的数据一致性策略。对于索引节点的数据,当文件被打开时,才会加载索引节点到内存;当不再被进程使用,则从内存踢出;如果中间有更新,则需要把数据写回磁盘。

*  in_use  - valid inode, i_count   0, i_nlink   0 *  dirty  - as  in_use  but also dirty *  unused  - valid inode, i_count = 0

索引节点是否仍在使用,是通过 open() 和 close() 操作建立和销毁文件对象,文件对象通过索引节点提供的 iget 和 iput 更新索引节点的 i_count 字段,以完成使用计数。open 操作使得 i_count 加一,close 操作使得 i_count 减一。在 close 操作时判断索引节点是否释放,如果 i_count = 0,则意味着不再有进程引用,将会从内存释放。

文件 磁盘管理

文件与磁盘管理联系最紧密的操作,莫过于 touch 和 rm 操作,而尤以后者最为关键。通过 strace(或 dtruss),查看 rm 的实际的系统调用

# dtruss rm tmp ... geteuid(0x0, 0x0, 0x0) = 0 0 ioctl(0x0, 0x4004667A, 0x7FFEE06F09C4) = 0 0 lstat64(tmp\0 , 0x7FFEE06F0968, 0x0) = 0 0 access(tmp\0 , 0x2, 0x0) = 0 0 unlink(tmp\0 , 0x0, 0x0) = 0 0

可以发现 rm 实际是通过 unlink 完成的。unlink 代表删除目录项,以及减少其索引节点的计数。由通用文件模型可知,父目录本身同样是一个文件,也就意味着目录项是其文件数据的一部分。删除目录项等价于从父目录的文件中删除数据,也就意味着首先要打开父目录的文件。那么,删除操作即可理解为:

  删除命令(一个进程)使用 open 操作获得父目录文件对象

  通过 iget 增加 目录文件的索引节点对象计数

  读取目录文件数据

  将目录文件数据转化为目录项对象

  由于目录项包含文件的索引节点,类似的,需要通过 iget 增加文件的索引节点对象计数

  删除目录的目录项

  减少文件索引节点对象的硬链接计数 i_nlink

  通过 iput 结束对文件索引节点对象的操作,使用计数 i_count 减一

  判断 i_count 是否为零,如果为零,则释放内存

  然后,判断 i_nlink 是否为零,如果为零,则释放磁盘空间

  通过 iput 结束对目录索引节点对象的操作。

到此,相信大家对“怎么理解 Linux 虚拟文件系统”有了更深的了解,不妨来实际操作一番吧!这里是丸趣 TV 网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!

正文完
 
丸趣
版权声明:本站原创文章,由 丸趣 2023-08-25发表,共计3862字。
转载说明:除特殊说明外本站除技术相关以外文章皆由网络搜集发布,转载请注明出处。
评论(没有评论)