文章目录
1. 认识磁盘1.1 磁盘的物理结构1.2 磁盘的逻辑结构 2. 引入文件系统2.1 EXT系列文件系统的分区结构2.2 inode 3. 软硬链接3.1 软链接3.2 硬链接
在讲过了内存文件系统后,我们可以知道文件分为两种:
打开的文件(内存中)未被打开的文件(磁盘中)今天我们主要来探讨未被打开的文件。
当文件存储在磁盘中时,如果我要打开它,那我首先要能找到它(通过路径)既然是这样,那Linux中每一个文件都要有路径为了更好的进行磁盘级文件的管理,我们必须要有一个磁盘文件系统的东西那么文件系统是怎么把没有被打开的文件在磁盘上管理起来的呢?
只要它管好了,就可以给我们提供正确的路径,那么我们就可以定位这个文件,在系统层面就可以打开这个文件,进而能够转化到内存中,进行内存文件的管理。
1. 认识磁盘
1.1 磁盘的物理结构
磁盘的结构磁盘在工作时,主轴会高速旋转,磁头也会左右摆动。
磁盘的存储结构
一个盘片有两面,每一面都可以存数据。多个盘片,相同磁道之间自上而下形成一种逻辑结构:柱面。
在linux系统也是可以查到扇区的
磁盘每一个面上都有一个磁头,对应h0-h5;读写哪一个磁头,本质是读写哪一面。传动臂上的磁头是共进退的。所以如何定位一个扇区呢?
先定位柱面(cylinder)再定位磁头(head)最后定位扇区(sector)因此,这叫做CHS定址法。
由于文件 = 内容+属性,但它们都是数据,在磁盘中无非就是占据哪几个扇区的问题。那既然我们能定位一个扇区了,那能不能定位多个扇区呢?
1.2 磁盘的逻辑结构
磁带也是磁盘的一种,在磁带圈起来时,就类似一个盘面。将其拉直展开,就可以看成是由扇区为单位组成的数组。
我们可以将磁盘想象成卷起来的磁带,那么就可以将磁盘的某一个盘片上的某一个磁道抽象为线性结构,类似于数组:
这样,每一个扇区,就有了一个线性地址(数组下标)
所以,在系统使用文件的时候,只需要使用数组下标法(LBA),不用关心CHS,但是数组下标又是怎么得到的呢?
由于传动臂上的磁头是同进退的,所以在我们找磁道时,所有的磁头共同移动,对应就找到了一个柱面。
所以,磁盘虽然分了很多面,但是在我们看来,逻辑上磁盘是由n多个柱面组成的。
所以,磁盘的真实情况应该是:
所以,磁盘就可以抽象为一个”三维数组“,但是在我们看来,其实它还是一个一维数组
所以,每个扇区都有一个下标,我们叫做LBA(Logical Block Address),其实就是线性地址。
LBA与CHS之间可以互相转换(磁盘的工作)。
当磁盘告诉操作系统磁盘的总容量、扇区大小,那OS一瞬间就可以知道有多少个扇区了。
那么从今往后 ,在磁盘的使用者看来,根本不关心CHS地址,而是直接使用LBA地址,磁盘内部自己转换
。
所以,从现在开始,磁盘就是一个元素为扇区的一维数组,数组的下标就是每一个扇区的LBA地址。OS使用磁盘,就可以用一个数字访问磁盘的扇区了。
2. 引入文件系统
2.1 EXT系列文件系统的分区结构
有了上面的知识后,我们知道OS与磁盘进行IO时,就是访问数组下标所对应的扇区,但是扇区512字节有点少,即单次IO的数据量有点少。
为了增加单次IO的数据量,OS与磁盘进行交互时,是以1KB、2KB、4KB、8KB等数据块为单位进行IO的,Linux中选择4KB数据块,一个数据块由8个扇区构成。
所以,在文件系统层面上,它才不管扇区,它IO的基本单位是数据块。
数据块转LBA地址:块号*8 + [1,8]
那么我们的磁盘就被抽象成了以块位单位的数组。
如果直接对块进行管理的话,成本太高了。因此将众多块又划分为一个分区,最终磁盘被划分为N个分区,分区之间各自独立。
分区中又划分出了组
分完组之后,只需要对组进行管理就可以。
一个组又分为如下几个区域:
2.2 inode
由于文件 = 内容+属性,属性也是数据,是以结构体的方式构建出来的,该结构体叫做inode(文件对应属性的集合,一般是128字节),所以在磁盘的一个4KB块中,会有32个inode。
在Linux中可以使用ls - i 选项查看一个文件的inode,下方显示出来的信息起始就是inode struct中的内容。
在一个组中,会存在非常多的inode,所以组中就存在一张inode Table,存放组中所有inode,方便管理每一个文件。
Data Blocks中,全都是划分好的4KB块,存放的是文件的内容。
所以,在Linux下,文件的属性和内容是分开存储的。
那通过inode找到文件的属性后,内容是怎么找到的呢? - - 在inode中,存在一个block数组,记录当前inode所占用的data block块,后面讲。
一个组中的区域分布如下:
inode table(节点表):存储了每个inode的详细信息,包括文件的大小、权限、时间戳、数据块位置等Data blocks(数据区):存放文件内容,全都是划分好的4KB块inode Bitmap(inode table位图):每个bit位表示inode table中的inode是否被占用。 inode号在inode table中早就设置好了,只是有没有被使用的问题。inode bitmap中的位置与inode table中的位置是一一对应的。Block Bitmap(块位图):Block Bitmap中记录着Data Block中哪个数据块已经被占用,哪个数据块没有被占用Group Descriptor Table:块组描述符,描述块组属性信息。例如:每个组的起始inode与block编号。超级块(Super Block):存放当前分区文件系统本身的结构信息
。记录的信息主要有:bolck 和 inode的总量,未使用的block和inode的数量,一个block和inode的大小,最近一次挂载的时间,最近一次写入数据的时间,最近一次检验磁盘的时间等其他文件系统的相关信息。Super Block的信息被破坏,可以说整个文件系统结构就被破坏了。Super Block有多份拷贝,可在损坏时进行修复。
分区格式化的本质:写入空的文件系统。将组中的super block、GDT、data bitmap、block bitmap置为空即可。
关于inode
关于block
块号也是以分区为单位的块号在分配时,也只需要确定当前组的起始block编号在一个组中,我们是如何分配一个inode的呢?
由于inode bitmap的存在,我们只需要在bitmap中找一个可用位置,然后加上当前组inode的起始编号即可。 由于组起始inode的存在,我们就在不同组的起始inode之间就形成了一个区间,所以我们就可以分配为全局且唯一的inode在一个组中,我们是如何分配一个block的呢?
由于block bitmap的存在,我们只需要在blockmap中找一个可用位置,然后加上当前组block的起始编号即可。 在整个区间中,block号也是全局且唯一的。 当一个组中存储大文件,块不够用时,可以跨组!inode中记录了所有存储文件内容的块当知道一个inode号或者block块时,只需要在GDT中比对每一个组的起始编号,定位组;然后使用提供的inode号或者block号减去该组的起始编号,即可在位图中找到对应的位置,然后就可以确定inode在inode table的位置。
所以我们就可以确定任意一个块、任意一个组了。
那inode和block是怎么映射的呢?inode中block数组是多大呢?
在ext系列的文件系统中,block数组的大小是15,可是一个块才4KB,总共才60KB,那怎么能行呢?
前12个确实直接指向数据块;后三个则不是,它们3个存的是数据块的编号。
当前组的data block不够用时,是可以跨组的。但不建议这么做,因为一旦跨组访问了,意味所有的块不连续了,磁盘寻址效率也会大大降低。
在上面对文件的所有操作中,都是以inode为前提的,但是inode是怎么得到的呢?我们平时操作文件使用的都得文件名呀!
所以inode是通过文件名找到的,我们在struct inode中也并没有看到文件名的存在,那文件名存在哪里呢?
要弄清楚上面的问题,我们首先要知道,文件有普通文件和目录文件,我们之前谈论的全部都是普通文件,那目录文件又是如何呢?上面我们已经从文件系统角度认识文件了,所以目录文件也要有属性和内容,那内容中也要有对应的数据块。目录文件的数据块中存的是什么呢? - -存文件名和inode的映射关系,二者互为映射
所以,文件名存放在文件所属的目录的数据块中 此时,我们就可以更清楚的认识目录的权限:
r:没有读权限,就无法读取目录的data block,也就得不到文件名和inode的映射关系,拿不到inode,你怎么访问文件。w:没有写权限,无法把文件名和inode的映射关系保存到目录的data block中那我们的文件名又是怎么找到的呢?
要找到一个文件名,首先要打开当前目录,访问当前目录的data block;
可是目录也是文件,也有文件名呀?所以还需要继续向上找,直到根目录。根目录的data block中固定存储了文件名与inode的映射关系。
但是在系统中并不是逆向的,而是正向的。
因为任何一个文件都有路径,在最开始时,系统就按照路径进行查找。
当我访问在同一个目录下的另一个文件时,系统还需要从头再访问一遍磁盘的文件系统吗? - - 不需要了,Linux系统中,会对所访问过的路径进行缓存!会以一个多叉树的结构,将路径缓存在内存中,该结构在内核中叫做 dentry树
所以,系统在查找一个文件时
先按照路径找到文件所在的目录在目录的data block块中,获得文件名与inode的映射关系拿着inode,对比磁盘分区的GDT,确定该inode在哪一个分组确定分组后,用inode减去该分组的起始inode,确定inode的位置n通过inode bitmap核实 n 位置,然后找到inode table中的n位置对应的inode通过inode中的block数组,访问对应的数组块。那inode和进程、文件描述符之间又有什么关系呢?
此时,我们的进程和文件就关联起来了。
那整体上我们应该怎么理解呢?
3. 软硬链接
Access 最后访问时间Modify 文件内容最后修改时间Change 文件属性最后修改时间在之前的学习中,我们直到使用ls -l 命令可以查看文件的属性,可是在文件权限后面的那一列数字,代表的是什么呢?
3.1 软链接
建立软链接的方式:
ln -s 被链接的文件名 链接后的文件名
下面我们将它们的inode也显示出来
发现二者的inode并不相同,软链接有自己独立的inode,因此,软链接本质是一个独立的文件。
当我们对被链接的文件与链接后的文件操作时,发现它俩操作的是同一个文件。
删除一个软链接的方式:
unlink 链接后的文件名
3.2 硬链接
建立硬链接的方式:
ln 被链接的文件名 链接后的文件名
此时我们发现,file-hard.link与file.txt两个文件的inode相同,并且权限后面的那一列数组变成了2,这是什么情况呢?而且如果将file-hard.link删掉,那一列数字又变成了1,那一列数字到底是什么意思呢?
首先,既然二者的inode相同,那么硬链接本质上不是一个独立的文件。
了解软硬链接的创建后,那么该如何理解软硬链接呢?为什么要有软硬链接呢?
理解软硬链接软链接
软链接有独立的inode,那么它就有内容和属性。内容中,它保存的是目标文件的路径,等同于快捷方式硬链接
硬链接不是独立的文件,它本质存储的是指向文件inode的引用,通过共享inode来实现对同一文件数据的访问文件权限后面对应的那一列数字是什么意思呢?
首先我们知道,文件名并不在inode中保存,它保存在文件所属目录的内容(data block)中,这也就意味着会有多个文件名映射到同一个文件上。
换句话说,一个文件在什么时候才能被系统真正的删除呢?- - 没有任何文件名映射到当前文件的inode时。
在inode内部,存在一个引用计数,来统计有多少个文件名映射到当前inode。
那一列数字,对应的就是当前inode的引用计数的个数,即硬链接数。
软链接的作用
通过创建一个指向目标文件或目录的软链接,可以简化对目标文件或目录的访问路径。用户可以通过软链接名来访问目标文件或目录,而不需要输入完整的路径。软链接类似于一个文件系统中的“快捷方式”,如果目标文件或目录被删除或移动,软链接将变成“死链接”(dangling link),即指向一个不存在的文件或目录。
当我创建了一个目录时,为什么它的硬链接数是2呢?
当我在empty目录中又创建了一个目录时,它为什么又变成3了呢?
因为有以下三个硬链接指向它
emptyempty/.empty/dir/. .所以,这就是为什么一个文件创建时,默认有两个隐藏目录 .
和 . .
,为了方便找路径
硬链接的作用
数据冗余和备份:通过创建硬链接,你可以在不同的目录或同一目录中拥有文件的多个访问路径。如果原始文件被删除,硬链接仍然可以访问文件数据。这就意味着,在linux中,如果对文件进行备份,只需要建立硬链接!节省磁盘空间:硬链接不会创建文件的副本,而是共享相同的物理数据块。因此,它们可以节省磁盘空间,特别是在需要多个文件副本的情况下。文件恢复:如果文件被误删除,但文件系统中仍然存在指向该文件的硬链接,那么文件数据仍然可以恢复。这提供了一种额外的数据保护机制。
注意:Linux中,不允许对目录新建硬链接。因为硬链接后的目录,也是可以进入的,那么就会产生环状路径。