news 2026/5/11 16:20:06

xv6 文件系统

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
xv6 文件系统

1. xv6 文件系统的整体结构:目录是一棵树

xv6 的文件系统中:

  • 文件 = 字节数组(例如普通文件)

  • 目录 = 一种特殊的文件,里面存的不是内容,而是:

    • 文件名 → inode 号(指向文件的引用)

    • 子目录的引用

所以整个系统形成一棵树:

/ ├── a │ └── b │ └── c

路径/a/b/c解析方式:

  1. 从根目录/开始

  2. 找名字"a"→ 得到 inode_A

  3. 在 inode_A 代表的目录里找名字"b"→ 得到 inode_B

  4. 在 inode_B 里找"c"→ 得到 inode_C(文件)


2. 绝对路径 vs 相对路径 + chdir

  • 绝对路径/开头,从根开始解析
    如:/a/b/c

  • 相对路径不以/开头,从“当前工作目录”开始解析
    当前工作目录属于每个进程自己的属性

系统调用chdir(path)会改变调用进程的当前目录。

举例:

chdir("/a"); chdir("b"); open("c", O_RDONLY);

执行效果:

  1. 当前目录变为/a

  2. 然后变为/a/b

  3. open("c")打开的就是/a/b/c

所以它等价于:

open("/a/b/c", O_RDONLY);

3. 创建文件 / 目录 / 设备文件的方法

xv6 提供几种系统调用:

系统调用作用
mkdir(path)创建目录
open(path, O_CREATE...)
mknod(path, major, minor)创建设备文件

示例

mkdir("/dir"); // 创建目录 fd = open("/dir/file", O_CREATE|O_WRONLY); // 创建文件 close(fd); mknod("/console", 1, 1); // 创建设备文件

关键点:设备文件不包含数据

它的 inode 会标记为:

  • 类型:T_DEV

  • 记录设备号 major/minor

当进程 open 这个设备文件时:

内核不会从磁盘读取这个“文件”,
而是把read/write调用转发给对应的内核设备驱动。


4. fstat():查看文件的信息

struct stat { short type; // 文件类型:目录 / 普通文件 / 设备文件 int dev; // 所在磁盘设备号 uint ino; // inode 编号(关键) short nlink; // 有多少名字指向这个 inode uint size; // 文件大小(字节) };

最关键字段:

  • ino:唯一标识一个文件实体

  • nlink:有多少文件名指向它(链接数量)


5. 一个 inode 可以有多个名字:link()

文件名只是指向 inode 的“标签”。

一个 inode(真实文件)可以有多个文件名指向它,这叫硬链接(hard link)

示例:

open("a", O_CREATE|O_WRONLY); // 创建 inode 10,名字 a → inode 10 link("a", "b"); // 添加名字 b → inode 10

结果:

  • "a"指向 inode 10

  • "b"也指向 inode 10

  • inode 10 的 nlink = 2

任何对 a 的读写 = 对 b 的读写

因为它们操作的是同一个 inode。

fstat()会告诉你:

  • a 与 b 的 inode 号一样

  • nlink = 2


6. unlink:删除的是“名字”,不是文件本体

unlink(path)做两件事:

  1. 删除该目录项(“名字”)

  2. 把那个 inode 的 nlink 减 1

如果 nlink > 0:

  • 还有别的名字指着它

  • inode 不会删除

如果 nlink = 0:

  • 没有任何名字再引用这个 inode

  • 如果没有进程打开它
    → 文件内容和 inode 会被回收

示例:

open("a", ...); link("a", "b"); unlink("a");

此时:

  • "a"删除

  • "b"仍然指向 inode 10

  • nlink 从 2 降到 1

文件仍然存在。


7. 利用 unlink 创建临时文件(Unix 经典技巧)

代码:

fd = open("/tmp/xyz", O_CREATE|O_RDWR); unlink("/tmp/xyz");

含义:

  • /tmp/xyz被创建,inode 20 的 nlink=1

  • unlink 删除名字"xyz"→ nlink=0

  • 但进程仍然持有 fd 指向 inode 20

  • 所以 inode 不会删除

结果:

  • 文件没有名字 → 外部不可见

  • 进程仍可通过fd读写它

  • 当进程退出 / 关闭 fd → inode 自动删除

这是 Unix 最推荐的“安全临时文件”方式。


8. 为什么 xv6 的 mkdir / ln / rm 都是用户程序?

因为它们只需要执行:

  • 系统调用(mkdir、link、unlink 等)

系统调用操作真正的文件系统:

  • 不依赖进程的内部状态

  • 所以用单独的进程执行完全没问题

这符合 Unix 的“用户态工具 + 小内核”哲学。


9. 唯一例外:cd 必须在 shell 内部实现

为什么?

因为:

  • shell 每次执行命令前都会 fork 一个子进程来执行外部命令

  • 如果 cd 是外部命令,它会运行在子进程

那么:

$ cd /a/b

会发生:

  1. shell fork 出子进程

  2. 子进程执行 cd → 改变子进程的当前目录

  3. 子进程退出

  4. 回到父进程 shell,当前目录没变!

也就是说:

子进程 chdir() 没法改变父进程(shell)的当前目录。

所以:

  • cd 必须直接在 shell 进程里执行

  • shell 不能 fork,它必须自己调用chdir()

这就是为什么:

  • mkdir, rm, ln 等可以自成程序

  • 但 cd 必须写死在 shell 代码里(built-in 命令)


总结

  1. 文件名只是 inode 的引用,目录是一棵树结构。

  2. 路径解析由当前目录决定,chdir 改变当前进程目录。

  3. mkdir/open/mknod 分别创建目录、普通文件、设备文件。

  4. inode 是文件本体,有唯一编号和链接数(nlink)。

  5. link 为同一 inode 创建第二个名字。

  6. unlink 删除“名字”,只有 nlink=0 且无 fd 才删除文件本体。

  7. open + unlink 可创建“无名字的临时文件”。

  8. xv6 文件操作命令都是用户程序,唯独 cd 必须在 shell 内运行,因为子进程不能改变父进程目录。

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/5/10 8:23:47

毕设开源 深度学习yolov11痤疮检测医疗辅助系统(源码+论文)

文章目录0 前言1 项目运行效果2 课题背景2.1、痤疮的医学背景与社会影响2.2、传统痤疮诊断方法的技术局限2.2.1 视觉评估法2.2.2 摄影记录法2.2.3 皮肤镜检测2.3、计算机视觉在皮肤病诊断中的发展3.1 早期图像处理方法(2000-2010)2.3.2 机器学习时代(2011-2015)2.4、深度学习带…

作者头像 李华
网站建设 2026/5/7 23:23:04

频域中的数字下变频 详解与python仿真

核心概念:什么是“数字下变频”?简单说,天线接收到的信号频率通常很高(比如图中的 75MHz),就像在一辆高速飞驰的列车上。但是我们的计算机(DSP/FPGA)想要仔细处理这个信号&#xff0…

作者头像 李华
网站建设 2026/5/8 10:24:08

5分钟快速上手IoTSharp:构建你的专属物联网平台

5分钟快速上手IoTSharp:构建你的专属物联网平台 【免费下载链接】IoTSharp IoTSharp is an open-source IoT platform for data collection, processing, visualization, and device management. 项目地址: https://gitcode.com/gh_mirrors/io/IoTSharp 想要…

作者头像 李华
网站建设 2026/5/11 0:19:02

基于SSM+Vue的社区团购系统小程序的设计与实现

社会的发展和科学技术的进步,互联网技术越来越受欢迎。手机也逐渐受到广大人民群众的喜爱,也逐渐进入了每个会员的使用。手机具有便利性,速度快,效率高,成本低等优点。 因此,构建符合自己要求的操作系统是非…

作者头像 李华
网站建设 2026/5/8 12:47:02

Day 32

DAY 32 昨天我们已经介绍了如何在不同的文件中,导入其他目录的文件,核心在于了解导入方式和python解释器检索目录的方式。 搞清楚了这些,那我们就可以来看看,如何把一个文件,拆分成多个具有着独立功能的文件&#xf…

作者头像 李华
网站建设 2026/5/11 2:28:41

年营收超60亿元,它会成为3D打印领域的大疆吗?

"拓竹战大疆:师徒相争"作者 | 简安编辑 | 卢旭成2025年末,一场发酵于朋友圈的隔空交火,让成立仅5年的拓竹与老东家大疆的“商战大戏”迅速出圈、引发热议。故事的起因是:大疆斥资数亿元投资了一家3D打印公司&#xff0c…

作者头像 李华