Skip to the content.

文件系统的目标是组织和保存数据。文件系统应支持在用户和程序之间共享数据,它也应该支持持久性(persistence)使得在重启之后数据也是可用的。

xv6的文件系统支持像Unix那样的文件、目录和路径名,并把数据保存在一个virtio硬盘上以支持持久性。文件系统解决了许多挑战:

概述

xv6的文件分为七层。如下图所示:

名称 描述
文件描述符层 用文件系统抽象了许多Unix资源(管道、设备、文件等),应用程序员好过多了
路径名层 提供分层的路径名且用递归查找来解析它们
目录层 目录是特殊的inode,它的内容是一些目录的入口,每个入口包含了文件名和i-number
inode层 提供用inode代表的独立文件,且有唯一的i-number和一些保存了文件数据的块
日志层 让上层在一个事务中封装对多个块的更新,且确保发生故障时这些块是原子性地更新(如,全更新或全不更新)
缓冲区缓存层 缓存硬盘块并同步对它们的访问,确保每次只有一个内核进程可以修改块上的数据
硬盘层 读写virtio硬盘上的块

文件系统必须有一个在磁盘上存储inode和内容块的方案。xv6的作法是把磁盘分为多个区。文件系统不使用0号块(它是启动区)。块1是超级块(superblock),包含了文件系统的元数据(文件系统里块的数量,数据块的数量,inode的数量,日志区里块的数量)。从2号块开始是日志区。日志区之后是inode区,每个块有多个inode。之后是位图区,用于追踪哪个块被使用了。剩下的是数据区,数据区里的块要么在位图区被标记为空闲,要么保存文件或目录的内容。超级块由一个叫mkfs的单独的程序填充,这个程序构建了一个初始的文件系统。

硬盘层

硬盘层在virtio_disk.c,实际上就是硬盘驱动。

缓冲区缓存层用到的接口是virtio_disc_rw

缓冲区缓存层

缓冲区缓存有两个工作(代码在bio.c):

  1. 同步访问磁盘块以确保内存里每个块只有一份复制,且每次只有一个内核线程可以使用那份复制。
  2. 缓存常用块使得不必每次都从硬盘上读取它们。

缓冲区缓存的主要接口是breadbwritebread获取一个buf来包含一个块的复制,这样就可以在内存里进行读写;bwrite把缓冲区中的内容写入到相应的块里。内核线程必须通过调用brelse来释放一个缓冲区。缓冲区缓存使用每个缓冲区的睡眠锁来确保一次只有一个线程可以使用每个缓冲区(进而每个硬盘块);bread返回一个上锁的缓冲区,然后brelse释放那个锁。

我们再回到缓冲区缓存。缓冲区缓存有一个确定数量的缓冲区来保存磁盘块,这意味着如果文件系统请求了不在缓存中的磁盘块,缓冲区缓存必须回收一个已经保存了其它块的缓冲区。缓冲区缓存回收的是最近最少使用的缓冲区。

代码:缓冲区缓存

缓冲区缓存是缓冲区的双向链表。main调用binit来初始化这个列表,列表中的项来自于静态数组buf里的NBUF个缓冲区。所有对缓冲区缓存的其它访问都是通过bcache.head引用链表来实现的,而不是buf数组。

缓冲区缓存的物理表现形式是数组,逻辑表现形式是双向链表。每个缓冲区都有三个部分组成,data字段标示了它的内容,指针的字段用于组成链表,数值字段用于标示它的属性(如与磁盘和块的对应关系,如当前缓冲区是否记录了对应磁盘的内容等)。

在日志层里用到的本层接口有:

与缓冲区相关的状态字段有两个。字段valid的意思是那个缓冲区包含了一个块的复制。字段disk的意思是缓冲区的内容已经被提交到了磁盘,这可能会改变缓冲区(如,把磁盘中的数据写到data)。

bread调用bget来为给定的扇区分配缓冲区。如果缓冲区需要从磁盘读取数据,在返回前bread会调用virtio_disk_rw从磁盘把数据读出来。

bget通过设备和扇区号在缓冲区列表里扫描对应的缓冲区。如果有那样的缓冲区,bget请求那个缓冲区的睡眠锁,然后把带锁的缓冲区返回给调用者。如果没有对应的缓冲区,bget必须生成一个,可能还需要新使用一个已保存了数据的缓冲区。它会第二次扫描缓冲区列表,查找没有被使用的缓冲区(b->refcnt == 0);任何一个那样的缓冲区都是可用的。bget编辑缓冲区的元数据来记录新设备、扇区号并请求它的睡眠锁。注意赋值语句b->valid = 0,它确保了bread将从磁盘读取块数据,而不是错误地使用缓冲区里之前的数据。

每个磁盘扇区最多只有一个缓冲区是十分重要的,这样可以确保读者可以看到写操作,并且文件系统也需要在缓冲区上使用锁来进行同步。通过从第一个循环里检查这个块是否被缓存,到第二循环里声明这个块已经被缓存(设置devblocknorefcnt),bget连续地持有bcache.lock来确保这个不变量。这使得对块存在性的检查和(如果不存在)为保存那个块而进行的缓冲区分配是原子的。

bgetbcache.lock临界区之处请求缓冲区的睡眠锁是安全的,因为b->refcnt非0使得那个缓冲区不会被重新使用。睡眠锁保护了对块缓冲区内容的读写,而bcache.lock保护了哪个块被缓存的信息。

如果所有的缓冲区都忙,表明有太多的进程并发地执行文件系统调用,bget就会panic。一个更优雅的响应可能是睡眠来等待一个缓冲区空闲,尽管那样可能会引发死锁。

一旦bread读取了磁盘(如果需要的话)并把缓冲区返回给它的调用者,调用者就独占了缓冲区的使用,进行读写数据了。如果调用者修改了缓冲区,它在释放缓冲区之前必须调用bwrite来把改变的数据写入到磁盘。bwrite调用virtio_disk_rw来与磁盘硬件对话。

如果调用者完成了对缓冲区的操作,它必须调用brelse来释放它。(brelse是b-release的缩写,它名字有点怪但值得学习一下:源自于Unix,在BSD、Linux和Solaris也都是这么用的)。

brelse释放睡眠锁,并把缓冲区移到链表的前面。对缓冲区的移动引发了列表按照最近使用(释放)进行排序:列表里的第一个缓冲区是最近被使用的,最后一个则是最近最少被使用的。bget里的两个循环利用了这点:在最坏的情况下,扫描一个已经存在的缓冲区必须处理整个列表,当引用处于良好的位置的时候,先检查最近使用的缓冲区将减少扫描时间。通过反向扫描(跟随prev指针),对要重新使用的缓冲区的扫描查找到了最近使用的缓冲区。

日志层

在文件系统的设计里最有趣的问题之一是故障恢复。许多文件系统的操作包含了多次写磁盘的操作,在一串写操作之后的崩溃使得磁盘上的文件系统处于不一致的状态。比如,发生在文件裁切时的崩溃(设置文件长度为0且释放它的内容块)。依赖于写磁盘的次序,崩溃可能使引用到一个内容块的inode被标记为空闲,也可能使一个内容块被分配但未被引用。

后者相对来说是良性的,但引用到一个空闲块的inode在重启后可能会引发严重的问题。重启后,内核可能把那个块分配给了其它文件,现在两个不同的文件都指向了同一个块。如果xv6支持多用户,这就会产生安全问题,因为旧文件的属主可以读写新文件的块,而这个新文件的拥有者是不同的用户。

xv6通过简单的日志记录解决了文件系统操作期间的崩溃问题。一个xv6系统调用不直接写硬盘上文件系统的数据结构。相反,它把一个描述放在磁盘上,这个描述是它在一个log里所期望的所有磁盘写操作。一旦系统调用日志记录了所有的写操作,它往磁盘上写入一个特殊的commit记录用来表示那个日志包含了一个完整的操作。那时系统调用才会把复制写入到磁盘文件系统里的数据结构。当那些写操作都完成后,系统调用删除磁盘上的日志。

如果系统崩溃并重启,在运行任何进程之前,文件系统代码按如下描述从崩溃中恢复。如果日志被标记为包含一个完整的操作,则恢复代码把写操作复制到磁盘文件系统。如果日志不是标记为包含完整的操作,恢复代码忽略这个日志。恢复代码最后删除日志完成所有的操作。

为什么xv6的日志解决了在文件系统操作期间的崩溃问题?如果崩溃发生在操作提交之前,则磁盘上的日志不会标记为已完成,恢复代码会忽略它,磁盘状态就像操作从来没有开始过一样。如果崩溃发生在磁盘操作提交之后,则恢复代码将会重新执行所有的写操作,如果已经开始往磁盘数据结构中执行写操作,则可能会重新执行这些操作。不管是哪种情况,相对于崩溃来说日志都使得操作原子化了:恢复之后,要么所有的写操作都出现在磁盘上,要么它们都不出现在磁盘上。

日志设计

日志驻留在固定的位置,这是在超级块里指定的。它是由一个头块(header block)和随后跟着的一些要更新的块的复制(updated block copies)组成的,要更新的块的复制也叫日志块(logged blocks)。头块由扇区编号的数组和日志块的计数组成,其中每个扇区对应着一个日志块。头块中的计数如果是0则表示日志中没有事务,如果非0则表示日志中包含一个完整的已提交事务。xv6在事务提交的时候(不是之前)写头块,在把日志块复制到文件系统之后将计数置0。因此事务进行到一半的崩溃将导致头块里计数为0;而提交之后的崩溃将导致计数非0。

上面一段描述了磁盘上日志区的结构,是理解日志层的关键。

每个系统调用代码都意味着,相对于崩溃来说,写序列的开始和结束是原子的。为了允许不同进程对文件系统操作的并发执行,日志记录系统可以把多个多个系统调用的写操作累积到一个事务中。即一个提交可能包含多个完整系统调用的写操作。为了避免在事务之间分割系统调用,日志系统只有在没有文件系统的系统调用发生时才提交。

把多个事务一块提交的想法被称为组提交(group commit)。组提交减少了磁盘操作的数量,因为它把一次提交的固定代价分摊到了多个操作上。组提交还有助于磁盘系统进行并发的写操作,这使得磁盘在一次旋转期间就可能把它们全部写入。xv6的virtio驱动不支持这样的批处理(batching),但xv6文件系统的设计允许这样做。

xv6在磁盘上占用固定的空间来保存日志。在一个事务中系统调用要写入的块的数量必须适合那个空间。这有两个后果。

代码:日志

日志层的代码在log.c里。数据结构log可以看做是由两部分组成的,其中lh记录了磁盘上日志区里头块的内容,其它整数则代表了一次事务的属性(如当前事务包含了多少个系统调用,如当前事务是否在提交等)。

本层向上层提供的接口是:

在系统调用里log的典型用法如下所示:

begin_op();
...
bp = bread(...);
bp->data[...] = ...;
log_write(bp);
...
end_op();

begin_op一直在等待,直到日志系统当前没在提交,且直到有足够的日志空间来保存调用的写操作。log.outstanding记录保留了日志空间的系统调用的数量;总的保留空间等于log.outstanding乘以MAXOPBLOCKS。递增的log.outstanding即保留了空间也防止了在这个系统调用期间发生提交。代码里谨慎地假设每个系统调用都可能写入超过MAXOPBLOCKS个块。

log_writebwrite的代理。它在内存中记录块的扇区号,在硬盘上的日志中为它保留一个位置,并把缓冲区固定在块缓存里以防止块缓存驱逐它。块必须待在缓存里,直到提交:在那之前,被缓存的拷贝是修改的唯一记录;在提交之前,不得写入磁盘;且同一事务中的其它读操作必须可以看到这个修改。当一个块在单个事务中被多次写入时,log_write会发现它,并在日志里为那个块分配相同的位置。这个优化被称为合并(absorption)。这很常见,比如,在一个事务里包含了多个文件的inode的磁盘块被多次写入。通过把多个磁盘写操作合并到一个,文件系统可以节省日志空间并获得更好的性能,因为只需将一个磁盘块的拷贝写到磁盘里。

end_op首先对未完成的系统调用的计数进行递减操作。如果记数为0,则调用commit()提交当前事务。这个过程分为四步。

  1. write_log()把在事务中修改过的每个块从缓冲区缓存复制到硬盘上日志分区对应的位置里。
  2. write_head()把头块写到硬盘上。这是提交点,写操作之后的崩溃将导致从日志中恢复事务的写操作。
  3. install_trans从日志中读取每个块并把它写入到文件系统的对应位置。
  4. 把计数0写到日志的头块。必须在下一个事务写日志头块之前做这件事,这样当崩溃发生的时候,就不会产生头块属于一个事务而后续的日志块属于另一个事务的问题。

在第一个用户进程运行之前,fsinit调用initloginitlog调用recover_from_log。它读取日志头,如果日志头表示如果日志包含了一个已提交的事务,则模仿end_op的动作。

filewrite里有一个使用日志的例子。这个事务像下面这样:

begin_op();
ilock(f->ip);
r = writei(f->ip, ...);
iunlock(f->ip);
end_op();

这个代码被包装在一个循环中,把大的写操作拆分成多个独立的事务,以避免日志溢出。对writei的调用写了许多块,这也作为事务的一部分:文件的inode,一个或多个位图块,和一些数据块。

代码:块分配器

文件和目录的内容保存在磁盘块上,必须从空闲池中分配这些磁盘块。xv6的块分配器管理着一个磁盘上的空闲位图,每个位对应着一个块。值为0代表着对应的块是空闲的,值为1代表着对应的块在被使用。程序mkfs设置各种块对应的位,这些块有启动扇区、超级块、日志块、inode块,和位置块。

块分配器提供了两个函数:balloc分配一个新的磁盘块,bfree释放一个块。

就像在本章其余部分描述的大部分代码一样,ballocbfree必须在一个事务的内部调用。

inode层

术语inode有两个相关的含义。

磁盘上的inode被填充在一个被称为inode块的连续磁盘区域上。每个inode都是一样大小,所以给定一个编号n,很容易就找到磁盘上的第n个inode。事实上,编号n(被称为inode编号或i-number),是在具体实现中inode的标识方式。

磁盘上的inode通过struct dinode来定义。type字段区分了文件、目录、和特殊文件(设备)。如类型值为0则表示磁盘inode是空闲的。字段nlink记录了引用当前inode的目录条目的数量,用以识别这个磁盘inode和它的数据块何时应该被释放。size字段记录了文件内容的字节数。addrs数组记录了保存了文件内容的磁盘块的块号。

内核把活动inode的集合保存在内存中,即struct inode。只有在一个C指针指向一个inode的时候内核才会把那个inode保存到内存里。ref字段记录了C指针引用内存里inode的次数,当那个计数降为0的时候内核就会从内存中丢弃这个inode。igetiput函数请求和释放到一个inode的指针,这会修改这个引用计数。到inode的指针可能来自于文件描述符、当前的工作目录,和事件内核代码(如exec)。

xv6的inode代码里有四种锁或类似于锁的机制。

iget()返回的struct inode指针保证是有效的,直到调用相应的iput();这个inode不会被删除,指针所引用的内存也不会被也不会其它的inode重新使用。iget()提供对inode的非独占访问,所以可以有多个指针指向同一个inode。文件系统代码里的许多部分都依赖于iget()的这个行为,即可以保持对inode的长期引用(当打开文件和当前目录),又可以避免竞争,同时还可以在操作多个inode(如路径名查找)的时候避免死锁。

iget()返回的struct inode可能没有任何有用的内容。为了确保它确实保存了磁盘inode上的拷贝,代码必须调用ilock。这会锁定inode(所以其它进程就无法ilock它了),并从磁盘读取尚未读取的inode。iunlock则释放inode上的锁。在某些情况下,把inode指针的获取与锁定分享有助于避免死锁,例如在目录查找期间。多个进程可以持有iget()返回的inode的C指针,但一次只有一个进程可以锁定这个inode。

inode的缓存里缓存的,是内核代码或数据结构持有C指针的inode。它的主要工作是支持多进程的并行访问,缓存只是次要的功能。如果一个inode被频繁使用,且它不是由inode缓存保存,它可能会被缓冲区缓存保存在内存里。inode缓存是直写的(write-through),这意味着修改了被缓存的inode的代码必须用iupdate立即写入磁盘。

代码:inode

在fs.c里。

xv6调用ialloc来分配一个新的inode(如创建文件)。ialloc类似于balloc:它遍历磁盘上的inode结构,每次一个块,查找标记为空闲的块。当它找到空闲块,它就通过把新的type写入磁盘的方式来声明这个块,然后通过调用iget返回一个inode缓存的条目。ialloc的正确操作依赖于这样的事实,一次只有一个进程可以持有对bp的引用:ialloc就可以确保其它进程不会同时发现这个inode的存在并尝试声明它。

iget遍历inode缓存来查找一个活动的入口(ip->ref > 0),这个入口要满足设备和inode编号两个要求。如果找到了这样的入口,它返回对那个inode的新的引用。当iget扫描的时候,它会记录第一个空位的位置,这个空位用于分配一个缓存条目(如果需要的话)。

在读写inode的元数据或内容之前,必须使用ilock来锁定inode。ilock使用一个睡眠锁来实现此目的。一旦ilock可以独占地访问这个inode,它会根据需要从磁盘(更有可能是缓冲区缓存)读取这个inode。函数iunlock释放这个睡眠锁,这可能导致任何正在睡眠的进程被唤醒。

iput通过检查引用计数(reference count)释放一个inode的C指针。如果这是最后一次引入,在inode缓存里这个inode的位置就是空闲的并且可以被其它inode重新使用了。

如果iput发现一个inode没有C指针引用了,也没有到它的连接(不存在于任何目录中),则这个inode和它的数据块必须被释放。iput调用itrunc来把文件截为0字节,释放数据块;把inode的类型设为0(未分配);并把inode写入磁盘。

iput释放inode的时候,它里面的锁定规则(the locking protocol)值得仔细研究。

iput()可以写入磁盘。这意味着任何使用了文件系统的系统调用都可以写磁盘,因为系统调用可能是最后一个到文件的引用。即使是像read()那样看上去只读的系统调用,也有可能会最后调用iput()。这意味着,任何使用了文件系统的系统调用,即使它们是只读的,也必须封装在事务中。

iput()和崩溃之间的交互具有挑战性。当文件的连接数降为0的时候,iput()不会立即的截断文件,因为仍然可能有进程在内存中持有到这个inode的引用:一个进程可能仍然在读写这个文件,因为它成功打开了这个文件。但是,如果在最后一个进程关闭这个文件的文件描述符之前发生了崩溃,这个文件就会标记为分配到了磁盘上,却没有目录条目指向它。

文件系统有两种方法来处理这种情况。

  1. 简单点的方案是,在重启之后恢复的时候,寻找那些已经标记为分配但没有目录条目指向它们的文件。如果找到那样的文件就把它们释放。
  2. 这个方案不必扫描整个文件系统。如果一个文件的连接数降为0而引用数不为0,则把这个文件的inode编号记录到磁盘上(比如,超级块上)。当引用记数降为0的时候删除这个文件,再更新这个磁盘列表以从列表中删除那个inode。恢复的时候,文件系统释放列表中的所有文件。

xv6以上两个方案都没有使用,这意味着inode标记为在磁盘上已分配,即使它们不再被使用。这意味着随着时间的推移,xv6面临着耗尽磁盘空间的风险。

代码:inode的内容

硬盘上的inode结构struct dinode,其中size字段用以表明文件大小,addrs数组用以保存块号。那些块号所对应的块里保存着这个inode的数据。addrs里的前NDIRECT个块被称为直接块(direct blocks);第NDIRECT+1个块记录了NINDIRECT个块的数据,它被称为间接块(indirect block)。由于一个块的大小BSIZE是1024字节,且NDIRECT是12,所以一个文件可以直接载入的内容为12k字节。由于NINDIRECT是256,所以读取间接块后可以载入的内容是256k字节。这有利于在磁盘上的表达,但对于用户程序来说比较复杂。函数bmap管理这个表达。bmap用于返回第bn个数据块的硬盘块号,参数ip用于表示inode的指针。如果ip里没有那个块,bmap会给它分配一个。

函数bmap先从简单的情况开始:前NDIRECT个块已经在inode它自己里列出了。接下来的NINDIRECT个块在间接块ip->addrs[NDIRECT]里列出。bmap读取间接块,然后再从间接块里读取对应的块号。如果块号超过了NDIRECT+NINDIRECTbmap 会panic;writei会进行检查以避免这种情况的发生。

bmap按照需要来分配块。如果直接块或间接块的某个条目为0,则意味着那个条目没有分配块。当bmap发现条目的值为0,它就把新块的编号填充进去,按需分配。

itrunc释放一个文件的块,把inode的大小重置为0。itrunc先释放直接块,再释放间接块里所列出的那些块,最后再释放间接块自身。

对于readiwriteibmap让它们获取inode的数据变的简单。readi首先确保位移和大小没有超出文件的限制。读取的位移超出文件的限制会返回一个错误,读取的大小超出文件的限制则会返回少一些的字节。主循环处理文件的所有块,把缓冲区的数据复制到dstwriteireadi相同,但有三个地方不一样:

  1. 写入的大小超出文件的限制会返回错误。
  2. 循环里不是读出,而是把数据复制进缓冲区。
  3. 如果写操作扩展了文件,writei必须更新它的大小。

在xv6-public的代码里,readiwritei都是从检查ip->type==T_DEV开始。但在xv6-riscv的代码里,没有进行这样的检查。

函数stati把inode的元数据复制进stat结构体,stat结构体最终会通过stat系统调用暴露给用户程序。

代码:目录层

in fs.c

目录的内部实现非常类似于文件。它的inode的类型是T_DIR,它的数据是一些目录条目。每个条目都是一个struct dirent,包含了一个名字和一个inode号。名字最多可以有DIRSIZ(14)个字符;如果低于14个字符,则以NUL(0)结尾。inode号为0的目录条目是空闲的目录条目。

函数dirlookup通过名字来查找目录里的条目。如果找到一个,它返回对应inode的指针(未锁定),并把*poff设置为目录里对应条目的位移,以防调用者期望能编辑它。如果dirlookup找到了正确名称的条目,它更新*poff并返回未上锁的inode(通过iget获取)。iget返回不上锁的inode就是因为dirlookup。调用者锁定了dp,所以如果查找的是.(当前目录的别名),返回之前锁定inode会导致尝试重新锁定dp从而导致死锁。还有更复杂的死锁涉及多进程和..(上级目录的别名)。调用者可以解锁dp然后锁定ip,确保它一次只持有一个锁。

函数dirlink向目录dp里写入一个新的目录条目,参数*name是新目录条目的名称,参数inum是inode号。如果名称已经存在,dirlink返回一个错误。主循环读取目录条目查找一个未分配的条目。当它找到一个,它就先停止循环,此时off被设置为已知条目的位移。否则,off将被设置为dp->size。不管是哪种情况,dirlink都把新的条目写入位移off,这样新条目就填加到了目录里。

代码:路径名

in fs.c

路径名查找包含了一系列对dirlookup的调用,一个dirlookup对应了路径名的一个部分。namei计算path并返回对应的inode。函数nameiparent是一个变量:它在最后一个元素之前停止,返回上级目录的inode并把最后的元素复制进name。它们都是调用namex来完成实际的工作的。

namex首先决定路径计算从哪里开始。如果路径是从斜杠开始的,计算从根目录开始;否则,就从当前目录开始。然后它使用skipelem来依次得到路径里的每个元素。每次循环都必须在当前inode(ip)查找name。循环首先锁定ip并检查它是否是一个目录。如果不是,查找失败。(锁定ip是必要的,不是因为ip->type可以改变,它改变不了,而是因为在ilock运行之前,不能保证已经从磁盘加载了ip->type。)如果这个调用是nameiparent并且这是最后一个路径元素,按照nameiparent的定义,循环终止;最后的路径元素已经复制进了name,所以namex只需返回未锁定的ip即可。最后,使用dirlookup查找路径元素,并通过设置ip = next为下一次循环做好准备。当循环遍历完所有的路径元素退出后,namex返回ip

例程namex可能需要很长的时间才能完成:它可能包含了多个磁盘操作来读取inode和目录块。xv6经过仔细的设计,使得如果一个内核线程调用namex的时候被阻塞在磁盘I/O上,其它内核线程可以并发的查找不同的路径名。namex给不同路径下的目录分别上锁,使得在不同目录下的查找可以并发地进行。

这样的并发带来一些挑战。例如,一个内核线程正在查找一个路径名,而其它内核线程可能正在改变这个目录树(通过取消链接一个目录)。一个潜在的风险是,一个查找可能在搜索已经被其它内核线程删除的目录,并且这个目录的块已经被其它目录或文件重新使用了。

xv6避免了那样的竞争。例如,在namex里执行dirlookup的时候,查找线程持有了目录的锁,并且dirlookup返回一个来自于iget的inode。iget递增这个inode的引用计数。只有在从dirlookup接收到这个inode之后,namex才会释放这个目录的锁。现在其它线程可能会从目录里取消链接这个inode,但是xv6不会删除这个inode,因为这个inode的引用计数仍然大于0。

另一个风险是死锁。例如,当查询.目录的时候,next指向与ip相同的inode。在释放对ip的锁之前锁定next应该会引发死锁。为了避免这种死锁,namex在获取next锁之前会先解锁当前目录。在这里我们再次看到了igetilock分离的重要性。

文件描述符层

in file.c

Unix接口一个酷的地方在于一切皆是文件,包括设备(如控制台)、管道、和真正的文件。文件描述符层实现了这个特性。

每个进程有自己的打开文件(或者说是文件描述符)的表。每个打开文件都是一个struct file,它是对inode或管道的封装,再加上一个I/O位移。每次对open的调用都创建一个新的打开文件(一个新的struct file):如果不同的进程各自打开同一个文件,不同的实例将会有不同的I/O位移。另一方面,一个单独的打开文件(相同的struct file)可能在一个进程的文件表里多次出现,也可以出现在多个进程的文件表里。如果一个进程使用open打开文件,然后使用dup创建别名,或者使用fork与子进程共享这个文件,就会发生这种情况。引用计数追踪一个特定的打开文件的引用数量。readablewritable字段追踪的是一个文件以什么方式打开(读,写,或读写)。

系统里的所有打开文件保存在一个全局文件表里,即ftable。可以操作这个文件表的函数有:分配文件(filealloc),创建一个重复的引用(filedup),释放一个引用(fileclose),读写数据(filereadfilewrite)。

代码:系统调用

in sysfile.c

底层实现了大部分功能,系统调用这一级的实现是微不足道的。只有少数的系统调用值得研究一下。

函数sys_linksys_unlink编辑目录,创建或删除对inode的引用。它们是好的例子来展现使用事务的强大。sys_link从获取它的两个字符串参数oldnew开始。如果old存在且不是目录,递增它的ip->nlink计数。然后调用nameiparent来找到new的父目录和最终的路径元素,并创建一个新的目录条目来指向old的inode。新的上级目录必须存在且和inode在同一设备上:inode号在单独的磁盘上有唯一的意义。如果发生了这样的错误,sys_link必须回退且递减ip->nlink

事务简化了这个实现,因为它需要更新多个磁盘块,但我们不必担心更新的次序。要么全部更新,要么全不更新。如果没有事务,在创建一个连接之前更新ip->nlink,可能会让文件系统临时进入一个不安全的状态,此时的崩溃可能导致严重的破坏。如果有了事务我们就不必担心这点了。

sys_link为一个存在的inode创建了一个新的名称。函数create为一个新inode创建一个新的名称。它是三个系统调用的通用操作:open使用O_CREATE标志创建一个新的普通文件,mkdir创建一个新的目录,mkdev创建一个新的设备文件。像sys_link一样,create首先调用nameiparent来获取上级目录的inode。然后调用dirlookup检查名称是否存在。如果名称存在,create的行为依赖于它是被哪个系统调用使用:对于mkdirmkdev来说open有不同的语义。如果create是代表open(type == T_FILE)使用的,并且名称存在且是一个常规文件,那么open就算是成功了,create也是。否则,就是一个错误。如果名称不存在,create使用ialloc创建一个分配个新的inode。如果新的inode是一个目录,create使用...条目初始化它。最后,数据被正确初始化了,create把它链接进上级目录。createsys_link一样,同时持有了两个inode锁:ipdp。没有死锁的可能,因为inodeip是最新分配的:系统中没有其它进程会持有ip的锁,所以也就不会尝试锁定dp。使用create,可以轻松实现sys_opensys_mkdirsys_mknodsys_open是最复杂的,因为创建一个新文件只是它的工作的一小部分。如果给open传递O_CREATE,它会调用create。否则,它调用nameicreate返回一个上锁的inode,但namei不会,所以sys_open必须自己锁定这个inode。这可以方便的检查目录是为读而打开的,不是写。假定inode是这样或那样获得的,sys_open分配一个文件和一个文件描述符,然后填满这个文件。注意没有其它进程可以访问部分初始化的文件,因为它只存在于当前进程的表中。

在调度那一章里,在没有文件系统前,就研究了管道的实现。函数sys_pipe通过提供创建管道对的方法连接到文件系统的实现。它的参数是一个数组指针,数组里有两个整数,它将在里面记录两个新的文件描述符。然后它分配管道并保存文件描述符。