xv6 文件系统(上)

〇、前言

本文将会结合 xv6 源码讨论文件系统的工作原理。

一、文件系统实现概述

xv6 文件系统可以用下面的图来表示:
在这里插入图片描述
按照分层的方式进行理解:

  • 在最底层是磁盘,也就是一些实际保存数据的存储设备,正是这些设备提供了持久化存储。
  • 在这之上是buffer cache或者说 block cache,这些cache可以避免频繁的读写磁盘。这里我们将磁盘中的数据保存在了内存中。
  • 为了保证持久性,再往上通常会有一个logging层
  • 在logging层之上,xv6有inode cache,这主要是为了同步(synchronization)。inode通常小于一个disk block,所以多个inode通常会打包存储在一个disk block中。为了向单个inode提供同步操作,xv6维护了inode cache
  • 再往上就是inode本身了。它实现了read/write。
  • 再往上,就是文件名&文件描述符操作。

二、文件系统怎么使用硬盘

有些术语有点让人困惑,它们是 sectorsblocks

  • sector 通常是磁盘驱动可以读写的最小单元,它过去通常是512字节;
  • block 通常是操作系统或者文件系统视角的数据。它由文件系统定义,在xv6中它是1024字节。所以 xv6 中一个block对应两个sector。通常来说一个block对应了一个或者多个sector。

有的时候,人们也将磁盘上的 sector 称为 block,所以这里的术语也不是很精确。

从文件系统的角度来看磁盘还是很直观的。因为对于磁盘就是读写 block 或者 sector,我们可以将磁盘看作是一个巨大的block数组,数组从0开始,一直增长到磁盘的最后。

在这里插入图片描述

而文件系统的工作就是将所有的数据结构以一种能够在重启之后重新构建文件系统的方式,存放在磁盘上。虽然有不同的方式,但是 xv6 使用了一种非常简单,但是还挺常见的布局结构。通常来说:

  • block0 要么没有用,要么被用作boot sector来启动操作系统。
  • block1 通常被称为super block,它描述了文件系统。它可能包含磁盘上有多少个block共同构成了文件系统这样的信息。我们之后会看到XV6在里面会存更多的信息,你可以通过block1构造出大部分的文件系统信息。
  • xv6 中,logblock2 开始,到 block32 结束。实际上 log 的大小可能不同,这里在super block中会定义log就是30个block
  • 接下来在 block32block45 之间,xv6 存储了 inode
  • 之后是 bitmap block,这是我们构建文件系统的默认方法,它只占据一个block。它记录了数据block是否空闲。
  • 之后就全是数据block了,数据block存储了文件的内容和目录的内容(目录也是文件)。

通常来说,bitmap block,inode blocks和log blocks被统称为metadata block。它们虽然不存储实际的数据,但是它们存储了能帮助文件系统完成工作的元数据。

假设 inode64 字节,如果你想要读取 inode10,那么你应该按照下面的公式去对应的 block 读取 inode

在这里插入图片描述
所以 inode0block32inode17 会在 block33。只要有 inode 的编号,我们总是可以找到 inode 在磁盘上存储的位置。

三、inode 结构

inode 结构体在内存中的表示如下:

#define NDIRECT 12// in-memory copy of an inode
struct inode {uint dev;           // Device numberuint inum;          // Inode numberint ref;            // Reference countstruct sleeplock lock; // protects everything below hereint valid;          // inode has been read from disk?short type;         // copy of disk inodeshort major;short minor;short nlink;uint size;uint addrs[NDIRECT+1];
};

在硬盘中的表示如下:

// On-disk inode structure
struct dinode {short type;           // File typeshort major;          // Major device number (T_DEVICE only)short minor;          // Minor device number (T_DEVICE only)short nlink;          // Number of links to inode in file systemuint size;            // Size of file (bytes)uint addrs[NDIRECT+1];   // Data block addresses
};

我们先研究在硬盘的 inode 结构:

  • 通常来说它有一个 type 字段,表明 inode 是文件还是目录。
  • nlink字段,也就是 link计数器,用来跟踪究竟有多少文件名指向了当前的inode
  • size字段,表明了文件数据有多少个字节。
  • 不同文件系统中的表达方式可能不一样,不过在 xv6 中接下来是一些 block 的编号,例如编号0,编号1,等等。xv6inode 中总共有12block编号。这些被称为direct block number。这 12block 编号指向了构成文件的前 12block。举个例子,如果文件只有2个字节,那么只会有一个block编号0,它包含的数字是磁盘上文件前2个字节的block的位置。
  • 之后还有一个 indirect block number,它对应了磁盘上一个 block,这个 block 包含了256block number,这 256block number 包含了文件的数据。所以 inodeblock number0block number11 都是direct block number,而 block number12保存的 indirect block number 指向了另一个block。所以数组 addrs[NDIRECT+1] 的长度为 13

如果一个 block号4 个字节,那么一个block 就可以存储 1024/4 = 256block号。所以我们很轻易地计算出 xv6 中一个文件的大小上限:(256+12)*1KB。因为一个块号占 4 个字节,那么 xv6 一共可以寻址 2^32个 block,一个 block 大小为 1KB,那么 xv6 一共可以安装的硬盘大小为 2^42B,也就是 4TB

四、目录

文件系统的酷炫特性就是层次化的命名空间hierarchical namespace),你可以在文件系统中保存对用户友好的文件名。大部分 Unix文件系统 有趣的点在于,一个目录本质上是一个文件加上一些文件系统能够理解的结构。在 xv6 中,这里的结构极其简单。每一个目录包含了directory entries,每一条 entry 都有固定的格式:

  • 2 个字节包含了目录中文件或者子目录的 inode 编号;
  • 接下来的 14 个字节包含了文件或者子目录名。

所以每个 entry 总共是16个字节。

对于实现路径名查找,这里的信息就足够了。假设我们要查找路径名 “/y/x”,我们该怎么做呢?

从路径名我们知道,应该从 root inode 开始查找。通常 root inode 会有固定的 inode 编号,在 xv6 中,这个编号是1。我们该如何根据编号找到 root inode 呢?

从前一节我们可以知道,inodeblock32 开始,如果是 inode1,那么必然在block32 中的 64128 字节的位置。所以文件系统可以直接读到 root inode 的内容。

由于 inodein-memory copy of an inode) 中包含对于路径名查找程序,接下来就是扫描 root inode 包含的所有 block,就是为了找到 “y” 。该怎么找到 root inode 所有对应的 block 呢?根据前一节的内容就是读取所有的 direct block numberindirect block number

如果找到了,那么 目录y 也会有一个 inode 编号,假设是 251。我们可以继续从inode251查找,先用公式计算出 block号,然后再根据偏移量读取 inode251 的内容,之后再扫描 inode 所有对应的block,以找到 “x”并得到文件x对应的inode编号,最后将其作为路径名查找的结果返回。

这么简单的一件事,上面的过程一共查询了三次 inode(两次目录node,一次文件xinode ),两次 扫描block 操作。

很明现,这里的结构不是很有效。为了找到一个目录名,需要线性扫描。实际的文件系统会使用更复杂的数据结构来使得查找更快,当然这又是设计数据结构的问题,而不是设计操作系统的问题。出于简单和更容易解释的目的,xv6 使用了这里这种非常简单的数据结构。

五、文件系统工作示例

首先启动 xv6,启动 xv6 的过程中,调用了makefs指令,来创建一个文件系统。

所以makefs创建了一个全新的磁盘镜像,在这个磁盘镜像中包含了我们在指令中传入的一些文件。makefs为你创建了一个包含这些文件的新的文件系统

xv6 总是会打印文件系统的一些信息,所以从指令的下方可以看出有46meta block,其中包括了:

  • boot block
  • super block
  • 30个log block
  • 13个inode block
  • 1个bitmap block

之后是954data block。所以这是一个袖珍级的文件系统,总共就包含了1000block

稍微修改了一下 xv6之后,使得任何时候写入 block 都会打印出 block 的编号:

void
log_write(struct buf *b)
{...printf("write: %d\n",b->blockno);     // 打印使用的 block 号log.lh.block[i] = b->blockno;if (i == log.lh.n) {  // Add new block to log?bpin(b);log.lh.n++;}release(&log.lock);
}

接下来我们运行一个命令 echo hi > x,来看一下特定的命令对哪些 block 做了写操作,并理解为什么要对这些 block 写入数据。

我们通过echo hi > x,来创建一个文件x,并写入字符 hi,这会打印以下信息:

$ echo hi > x
1	write: 33
2	write: 33
3	write: 46
4	write: 32
5	write: 33
6	write: 45
7	write: 908
8	write: 908
9	write: 33
10	write: 908
11	write: 33

这里会有几个阶段:

  • 第一阶段是创建文件x
  • 第二阶段将 hi写入文件;
  • 第三阶段将 \n换行符写入到文件;

看一下user/echo.c的代码实现,基本就是这3个阶段:

#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"int
main(int argc, char *argv[])
{int i;for(i = 1; i < argc; i++){write(1, argv[i], strlen(argv[i]));if(i + 1 < argc){write(1, " ", 1);} else {write(1, "\n", 1);}}exit(0);
}

首先它将 hi写入到标准输出(我们在此处已经重定向了,对于 echo()argc==2 ),然后继续写入 \n

1、创建文件x

我们已经了解到,x文件是创建在根目录下的。既然是创建文件,第一步肯定是分配一个 inode。因此要在空闲 inode 列表中找一个空闲的 inode,然后打上标记。

然后我们要在此 inode 中写入一些信息,比如 inode 的引用计数、addrs等内容。

以上两步对应于:

1	write: 33
2	write: 33

由于我们在根目录下创建了一个文件x,因此根目录的 inodeinode 映射的addrs中的内容都要被修改。首先修改的是根目录中的第一个 block文件x 是根目录下的一个 entry,自然要修改这个 block。然后根目录的 inode 也要修改,因为根目录大小变了。之后,又修改了一次文件xinode

以上两步对应于:

3	write: 46
4	write: 32
5	write: 33

2、写入文件x hi

因为要引用某个块,所以要更新 bitmap。之后要往某个 direct block 中写两个字符。最后还需要更改文件x inode中的size字段,而且还会将 inodeblock 关联起来,即修改 addrs 字段。这对应于:

6	write: 45
7	write: 908
8	write: 908
9	write: 33

这意味着文件系统挑选了 block 908

3、写入\n

这就很简单了,写文件,修改 inode

10	write: 908
11	write: 33

4、再执行一条命令

通过再执行一条命令 echo hii > x:这条命令会将 文件x 中内容覆盖,并且重新写 hii\n(注意这是分开写的)。因为文件x 已经创建过了,因此这个写入block 的记录和上面的那个命令是不同的:

$ echo hii > x
1	write: 45
2	write: 33
3	write: 45
4	write: 908
5	write: 908
6	write: 33
7	write: 908
8	write: 33

首先修改bitmap,然后修改 inode。这是为了将 x文件中的内容全部清空,那么这个block 自然就不用了,需要修改 inode 中 的 sizeaddrs字段等。这对应于:

1	write: 45
2	write: 33

之后又要继续写 hii。这意味着要重新启用这个 block,因此要修改 bitmap。之后写入 hii,写完后,继续更新 inode,这对应于:

3	write: 45
4	write: 908
5	write: 908
6	write: 33

因为写入了 3 个字符,但是这里的 block 被写了两次,目前还找不到原因。事实上,我尝试写了几十个字符,也只有两次写入 block

$ echo asdfsdfasdf > x
write: 45
write: 33
write: 45
write: 908
write: 908
write: 33
write: 908
write: 33

然后就是写入\n了:

7	write: 908
8	write: 33

以上就是文件系统的工作示例了。

五、代码

sysfile.c中包含了所有与文件系统相关的函数,分配inode发生在sys_open()函数中,这个函数会负责创建文件:

uint64
sys_open(void)
{char path[MAXPATH];int fd, omode;struct file *f;struct inode *ip;int n;argint(1, &omode);if((n = argstr(0, path, MAXPATH)) < 0)return -1;begin_op();if(omode & O_CREATE){ip = create(path, T_FILE, 0, 0);if(ip == 0){end_op();return -1;}} ...
}

superblock 中存储着各种各样的信息,包括 inode 的数量 ninodes

// Disk layout:
// [ boot block | super block | log | inode blocks |
//                                          free bit map | data blocks]
//
// mkfs computes the super block and builds an initial file system. The
// super block describes the disk layout:
struct superblock {uint magic;        // Must be FSMAGICuint size;         // Size of file system image (blocks)uint nblocks;      // Number of data blocksuint ninodes;      // Number of inodes.uint nlog;         // Number of log blocksuint logstart;     // Block number of first log blockuint inodestart;   // Block number of first inode blockuint bmapstart;    // Block number of first free map block
};

创建的过程中,它会调用 create()函数:

static struct inode*
create(char *path, short type, short major, short minor)
{struct inode *ip, *dp;char name[DIRSIZ];if((dp = nameiparent(path, name)) == 0)return 0;ilock(dp);if((ip = dirlookup(dp, name, 0)) != 0){iunlockput(dp);ilock(ip);if(type == T_FILE && (ip->type == T_FILE || ip->type == T_DEVICE))return ip;iunlockput(ip);return 0;}if((ip = ialloc(dp->dev, type)) == 0){iunlockput(dp);return 0;}ilock(ip);ip->major = major;ip->minor = minor;ip->nlink = 1;iupdate(ip);if(type == T_DIR){  // Create . and .. entries.// No ip->nlink++ for ".": avoid cyclic ref count.if(dirlink(ip, ".", ip->inum) < 0 || dirlink(ip, "..", dp->inum) < 0)goto fail;}if(dirlink(dp, name, ip->inum) < 0)goto fail;if(type == T_DIR){// now that success is guaranteed:dp->nlink++;  // for ".."iupdate(dp);}iunlockput(dp);return ip;
}

create()函数中首先会解析路径名并找到最后一个目录,之后会查看文件是否存在,如果存在的话会返回错误。之后就会调用ialloc(),这个函数会为 文件x 分配inodeialloc函数位于fs.c文件中:

// Allocate an inode on device dev.
// Mark it as allocated by  giving it type type.
// Returns an unlocked but allocated and referenced inode,
// or NULL if there is no free inode.
struct inode*
ialloc(uint dev, short type)
{int inum;struct buf *bp;struct dinode *dip;for(inum = 1; inum < sb.ninodes; inum++){bp = bread(dev, IBLOCK(inum, sb));dip = (struct dinode*)bp->data + inum%IPB;if(dip->type == 0){  // a free inodememset(dip, 0, sizeof(*dip));dip->type = type;log_write(bp);   // mark it allocated on the diskbrelse(bp);return iget(dev, inum);}brelse(bp);}printf("ialloc: no inodes\n");return 0;
}

它会遍历所有可能的 inode编号IBLOCK(inum, sb)可以将通过inum找到 superblock 对应的 block numberbread()可以通过设备名和 blockno 可以得到硬盘中的 block 在内存中的缓存,记为 bp。由于 bpdblock 中的一个拷贝,因此接下来就直接在 bp 中操作了。

找到inode所在的block,再看位于block中的inode数据的type字段。如果这是一个空闲的 inode,那么将其type字段设置为文件,这会将inode标记为已被分配。函数中的log_write() 就是我们之前看到在console中有关写block的输出。这里的 log_write() 是我们看到的整个输出的第一个

以上就是第一次写磁盘涉及到的函数调用。

这里有个有趣的问题,如果有多个进程同时调用create函数会发生什么? 对于一个多核的计算机,进程可能并行运行,两个进程可能同时会调用到 ialloc函数,然后进而调用 bread() 函数。所以必须要有一些机制确保这两个进程不会互相影响。

这个已经在上一个实验中讨论了,就不再赘述了。

六、总结(大模型总结)

这篇文章深入探讨了文件系统在 xv6 环境下的工作原理,分层次地介绍了文件系统的实现概述、硬盘使用、inode 结构、目录、以及文件系统的工作示例。文章详细解释了inodeblock在磁盘上的分布方式,以及文件的创建、写入和元数据修改的过程。它提供了清晰的代码示例和相关函数的解释,为理解文件系统的内部机制提供了深入而全面的认识。

文章非常详尽地描述了 xv6 文件系统的内部机制和数据结构,从底层的磁盘操作到高层的文件操作都有涉及。它还着重强调了在文件系统设计中的一些限制和简化,尤其是对于路径查找等操作的效率问题。这样的详细解释对于想要深入了解文件系统工作原理的读者来说是非常有帮助的。

全文完,感谢阅读。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/284270.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

在金属/绝缘体/p-GaN栅极高电子迁移率晶体管中同时实现大的栅压摆幅和增强的阈值电压稳定性

标题&#xff1a;Simultaneously Achieving Large Gate Swing and Enhanced Threshold Voltage Stability in Metal/Insulator/p-GaN Gate HEMT (IEDM2023) 摘要 摘要&#xff1a;对于增强型GaN功率晶体管的发展&#xff0c;栅压摆幅和阈值电压稳定性通常是互相排斥的。本文展…

动能方案 | 技术引领未来:两轮电动车遥控解锁方案探秘

随着电动交通工具的快速普及&#xff0c;创新性的智能解锁系统正在为两轮电动车带来更便捷、安全的使用体验。本文将深入介绍一种先进的两轮电动车遥控解锁方案&#xff0c;探讨其优势&#xff0c;并推荐一款先进的芯片技术&#xff0c;引领行业未来。 01方案介绍 1、技术原…

06.deque 容器

6、deque 容器 功能&#xff1a; 双端数组&#xff0c;可以对头端进行插入删除操作 deque 与 vector 区别&#xff1a; vector 对于头部的插入删除效率低&#xff0c;数据量越大&#xff0c;效率越低deque 相对而言&#xff0c;对头部的插入删除速度会比 vector 快vector 访…

Python中itertools 模块的用法

嗨喽&#xff0c;大家好呀~这里是爱看美女的茜茜呐 在 Python 中&#xff0c;迭代器是一种非常好用的数据结构&#xff0c;其最大的优势就是延迟生成&#xff0c;按需使用&#xff0c;从而大大提高程序的运行效率。 而 itertools 作为 Python 的内置模块&#xff0c;就为我们提…

【AIGC重塑教育】AI大模型驱动的教育变革与实践

文章目录 &#x1f354;现状&#x1f6f8;解决方法✨为什么要使用ai&#x1f386;彩蛋 &#x1f354;现状 AI正迅猛地改变着我们的生活。根据高盛发布的一份报告&#xff0c;AI有可能取代3亿个全职工作岗位&#xff0c;影响全球18%的工作岗位。在欧美&#xff0c;或许四分之一…

js输入框部分内容不可编辑,其余正常输入,el-input和el-select输入框和多个下拉框联动后的内容不可修改

<tr>//格式// required自定义指令<e-td :required"!read" label><span>地区&#xff1a;</span></e-td><td>//v-if"!read && this.data.nationCode 148"显示逻辑<divclass"table-cell-flex"sty…

Python3中_和__的用途和区别

目录 一、_&#xff08;下划线&#xff09; 1、临时变量&#xff1a; 2、未使用的变量&#xff1a; 二、__&#xff08;双下划线&#xff09; 1、私有属性&#xff1a; 2、私有方法&#xff1a; 三、__的一些特殊用途。 总结 Python3中的_和__是两个特殊的标识符&#…

羊大师讲解,羊奶中的干物质

羊大师讲解&#xff0c;羊奶中的干物质 羊奶作为一种营养价值极高的乳制品&#xff0c;其中的干物质含量是其重要组成成分之一。干物质是指在牛奶中除去水分后剩余的成分&#xff0c;包括蛋白质、脂肪、乳糖、矿物质和维生素等。这些干物质不仅赋予了羊奶独特的口感和营养价值…

1U、2U、4U和42U服务器,看完秒懂!

晚上好&#xff0c;我的网工朋友。 服务器是一个很广泛的概念&#xff0c;涵盖了各种类型和规格的计算机&#xff0c;用于提供各种网络和数据服务。 而机架服务器是当前数据中心和专业计算环境中&#xff0c;使用最为广泛的服务器类型之一。 机架式服务器的外形看来不像计算…

Spring Cloud Alibaba核心技术宝典,分布式系统中间件实战案例(百度云下载)

前言 《Spring Cloud Alibaba学习笔记》其实是阿里的微服务解决方案&#xff0c;是阿里巴巴结合自身微服务实践,开源的微服务全家桶&#xff0c;在Spring Cloud项目中孵化成为Spring Cloud的子项目。第一代的Spring Cloud标准中很多组件已经停更,如&#xff1a;Eureak,zuul等。…

05-Autoscaling

1 Knative的自动缩放机制 “请求驱动计算”是serverless的核心特性 缩容至0&#xff1a;即没有请求时&#xff0c;系统不会分配资源给Kservice&#xff1b;从0开始扩容&#xff1a;由Activator缓存请求&#xff0c;并报告指标数据给Autoscaler&#xff1b;按需扩容&#xff1a;…

说一下 jvm 有哪些垃圾回收算法?

说一下 jvm 有哪些垃圾回收算法&#xff1f; 一.对象是否已死算法 1.引用计数器算法 2.可达性分析算法 二.GC算法 1.标记清除算法 如果对象被标记后进行清除&#xff0c;会带来一个新的问题–内存碎片化。如果下次有比较大的对象实例需要在堆上分配较大的内存空间时&#xff0…