Skip to content

Latest commit

 

History

History
369 lines (212 loc) · 16.3 KB

Note.md

File metadata and controls

369 lines (212 loc) · 16.3 KB

File Systems

File System(文件系统)是除了Shell外最常见的user interface。

File System的特点:

  • 文件具有用户友好的名字/路径。
  • 可以在用户/进程之间共享文件。
  • 文件系统是持久化的。

文件和目录都需要以某种形式在磁盘中存储(这样才能实现持久性保证)。

所以在磁盘上有一些数据结构表示了文件系统的结构或文件系统的内容。

同时文件系统需要具备良好的性能,而文件系统所在的存储设备(HDD、SSD)通常很慢,操作这种设备通常花费毫秒级的时间,所以文件系统通常会有block cache(块缓存,buffer cache),并且通常将数据结构设计为可并发操作。

inode是文件系统维护的一个结构,它是一个代表文件的对象,并且不依赖于文件名(这样才能实现link()unlink()系统调用),实际上inode是通过自身的编号进行区分的,同时它维护一个link count,来跟踪这个inode有多少个文件名,可能还有一个openfd count,表示打开当前文件的文件描述符数量,一个文件(inode)只会在link count和openfd count都为0时被删除。

F1

同磁盘文件的文件描述符(fd),维护了当前文件的offset(因为write()read()系统调用并没有offset参数)。

NOTE:大多数操作系统同时提供pread()pwrite()系统调用,它们具有offset参数且只能用于磁盘文件的文件描述符。

NOTE:同时还提供writev()readv()来进行聚合写与分散读操作,相应的带offset版本是pwritev()preadv()

Storage Layers

文件系统通常由几个层次组成:

  • Disk - 磁盘是文件系统的最底层,这些设备负责提供持久的存储。
  • Block Cache - 文件系统通常在内存中缓存磁盘的内容,尽量减少操作磁盘的开销,避免频繁地读写磁盘。
  • Loggin - 负责提供崩溃安全(crash safety)的特性。
  • Inode Cache - XV6中主要用来同步,因为多个inode会被打包在一个disk block中(inode的大小通常远小于disk block),所以提供单个inode的同步操作需要使用Inode Cache。
  • Inode - 负责提供read()write()的实现。
  • Names/Fds - 用户接口。

F2

常见的Storage Devices(存储设备):

  • SSD(固态硬盘) - 访问时间通常在0.1 ~ 1 ms之间。
  • HDD(机械硬盘) - 访问时间通常在10 ms数量级。

Sector是磁盘驱动可以读写的最小单元,过去通常是512字节。

Block通常是操作系统或文件系统视角的数据,它由文件系统定义,在XV6中它是1024字节。

通常来说一个block对应了一个或多个sector。

NOTE:有时人们把磁盘上的sector称为block。

CPU通过读取/写入block(在此处意为sector)的方式(以block number为参数)与磁盘设备交互。

虽然HDD和SSD的工作方式完全不同,但是磁盘驱动抹消了它们的差异。

磁盘驱动通常会使用一些标准的协议,例如PCI、PCIE与磁盘交互。

F3

磁盘是一个巨大的block数组,从0开始到磁盘的末尾。

Disk Layout

一个简单的文件系统如下:

一般来说block 0要么没有使用,要么作为boot sector来启动操作系统,它包含了启动操作系统的代码。

block 1通常被称为super block(超级块),它描述了文件系统(例如该文件系统包含多少个Blocks),即存储了文件系统的metadata。

log blocks从block 2开始到block 32结束,log blocks的block数量是由super block决定的,这些blocks保存了write ahead log。

block 32block 45之间是inode blocks,这些blocks存储了inode。

block 46是bitmap block,该block记录了data blocks是否为空。

在那之后就是data blocks,这些blocks保存了文件和目录的数据。

通常来说bitmap block、inode blocks和log blocks被统称为metadata blocks,它们不存储真正的数据,但是它们存储能帮助文件系统完成工作的信息。

F4

当读取inode时,通过inode编号获取相应的inode block,读入内存中找到对应的inode

Inode offset = Inode blocks start point + $\frac{inodeNumber * inodeSize}{blockSize}$

F5

Inode Layout:

  • Type - inode的类型。
  • Nlink - 表示该文件对象有多少个link。
  • Size - 表示文件数据共有多少字节。
  • Block Numbers - 该文件所有的data block的numbers,其中某些blocks可能是indirect block(它们不保存文件的内容而是记录了data blocks的number,这使inode能够形成层次结构,允许更大的文件),在XV6中,inode保存13个block number,只有最后一个block number是indirect block,该block保存了256个data block number的block。

F6

理论上XV6支持的最大文件大小为:(256 + 12) * 1024 bytes = 268 KB(非常小的文件长度)。

NOTE:indirect block能够保存其他indirect block的number,这样inode就能构造出一种树结构,例如使用inode构造b+tree。

F7

direct block offset = $\frac{offset}{blockSize}$

F8

Directory本质上是一个文件,这种文件的格式能够被文件系统理解。

F9

每一个directory都是一个map,保存了文件名到inode的映射。

这种结构利用进行pathname lookup,例如要查找"/y/x"

先从root directory的data blocks进行scan找到"y"的inode。

NOTE:root directory总是有一个预先分配的inode编号。

然后读取"y"的inode,对"y"的data blocks进行scan找到"x"的inode,返回它的inode编号。

F10

NOTE:inode的type字段能够标识这个inode是文件还是目录。

NOTE:真正的文件系统会在目录使用更复杂的数据结构,例如在目录的data blocks中构建树,来加速找查。

由于XV6没有inode bitmap block,所以需要type来表示该inode是否被占用。

F11

占用inode会导致一次写入。

因为磁盘操作需要很长的时间,并且我们希望打开中断,所以我们需要使用sleep lock。

Block Cache

使用bget()brelease()获取block cache。

bget() brelease()
F13 F14

NOTE:必须保证block cache中的所有block都是唯一的,否则会产生灾难性后果(出现竟态条件)。

NOTE:当refcnt为0时,brelease()将cache移动到链表的头部(表示它最近刚使用过,与其他refcnt为0的caches相比它最不可能被evict,LRU Cache),只有refcnt为0的cache能被evict。

bread() bwrite()
bread()先检查block cache中是否存在block,如果不存在分配一个新的cache,将从磁盘读入的数据放到该cache上。F12 在执行bwrite()时必须持有sleep lock,防止竟态条件出现,同时必须在cache上修改数据。F15

bpin()可以在block被释放之后(refcnt为0)保证其不被evict。

除非bunpin()被调用。

bpin() bunpin()
F24 F25

Crash Recovery

当crash和电力故障产生时,可能会导致磁盘上的文件系统处于不一致或不正确的状态中,例如:一个data block属于两个文件。

F16

许多文件系统的操作都包含多个步骤,如果我们在多个步骤的错误的位置上崩溃,系统重启时文件系统就会处于一种不一致的状态。

对于这类问题,logging(Write ahead logging,预写日志)是一个很好的解决方案。

F17

在写入到父目录的data block之前崩溃,我们可能会失去一个inode。

F18

我们可能调整操作的顺序来避免失去inode,但是会出现另外一个问题:inode可能存在double use。

F19

在写入文件的inode之前崩溃,可能会失去data block。

F20

同样,调整顺序可以避免失去data block,但会存在double use。

F21

要彻底解决这些问题,必须把多个步骤的操作原子化。

logging能提供如下保证:

  • 保证文件系统调用是原子的。
  • 支持快速恢复(fast recovery)。
  • 可以被高效实现。

每一次写入,先写log,而不是直接写block。

当所有写入都进入log时,在log的commit记录写入属于同一个文件系统的操作个数(通常用占用log blocks的数量表示,对一个block的修改需要占用一个log block)。

当磁盘保存log blocks之后,我们执行install操作,在文件系统中执行log中记录的操作。

最后清除log,将log中记录的写入次数设置为0

F22

当重启时,文件系统查看log的commit记录,如果是0那就什么都不做。

如果非0那么某些操作需要被写入文件系统,我们重新执行install,然后清除log。

F23

F26

在XV6中,所有对文件系统的操作都以begin_op()开始,以end_op()结束。

F38

begin_op()将开启一个事务(transaction)。

F28

F29

end_op()将执行commit操作,将数据写入log中。

必须通过log_write()而不是bwrite()对block进行写入。

F30

log_write()首先查看block的block number是否已被记录(write absorbtion),如果没有再写入block number到log中。

F27

然后使用bpin()将该block固定在cache中,防止由于该block被evict导致更新丢失。

end_op()先查看有没有process在等待log,如果有则唤醒该process(该process不一定可以运行,可能的条件仍不满足它运行),然后什么都不做(减少操作磁盘的次数,由后面的process来commit,group commit)。

NOTE:group commit必须按序进行,防止出现系统调用被重排的现象。

F31

如果没有,则进行commit。

commit()首先将cache中的block写入到log中,然后执行commit步骤,把log header(标记了有几个block)写入到log blocks的首个block中。

NOTE:并且commit还需要唤醒其他process,告诉它们log有空间了。

commit() write_log() write_head() install_trans()
F32 F33 F34 F35

然后执行install操作,最后清除log。

NOTE:只有当前不处在recovery阶段才需要bunpin(),因为recovery时,并没有pin住blocks。

F36

在启动XV6的过程中,initlog()会被调用。

F37

NOTE:XV6的实现并不高效,每次写入都需要write ahead log。

实现logging的挑战:

  • 当Block cahce满时,不能evict在cache中的block。
  • 所有操作必须能放在log中,不能超过log的大小,否则事务可能被分割或拒绝。
  • 并发文件系统调用,多个进程可能同时打开事务,这样很容易耗尽log的空间,并且不能提交任何事务,因为它们未完成,必须在启动事务前检查是否有足够的log block。

NOTE:事务被分割(例如大写入)也是block cache不能evict且没有空间时panic的原因,因为我们不能从该调用中返回否则会破坏原子性,部分事务提交了但还有一部分没有。

File System Performance And Fast Crash Recovery(Ext3 File System)

ext3的结构与XV6类似。

NOTE:jourual是log的别名。

F39

在内存中存在block cache(一种write-back cache)。

除此之外,还维护多个事务信息。

每个事务的信息如下:

  • 一个唯一的事务序列号。
  • 该事务修改的block numbers。
  • 以及一系列的handle(handle对应了系统调用)。

F40

在磁盘中保存了文件系统树(inode、directory、file),也有一个bitmap block表明data blocks的空闲状态。

并在磁盘中指定一块区域保存log。

F41

Ext3的日志结构如下:

  • Super Block - 包含了log中第一个有效的transaction的offset和序列号。
  • 每一个事务包含一个Descriptor Block - 该block保存了修改过的文件系统block的numbers数组、transaction的序列号和一些metadata。
  • 每一个事务将修改过的blocks放在它的descriptor block的后面。
  • 每一个事务以Commit Block结尾(如果它成功提交)- 该block同样保存了transaction的序列号。

F42

descriptor block和commit block会以一个32bits的magic number开头,来将它们与其他blocks区分开。

ext3采用与XV6类似的3阶段方法,系统调用只修改block cache,当事务提交时,再把修改的cache落盘到log上,最后重放log完成对应block的更新。

所以磁盘上的log是串行写入的,descriptor block与commit block之间不会存在第二个descriptor block。

ext3高性能的原因:

  • 提供了Asynchronous System Call - 系统调用在数据落盘之前返回,写操作只更新block cache,读操作可能会从磁盘中读(如果没有cache)。
  • 提供了批量处理(batching)的能力 - 将多个系统调用打包成一个transaction,由于系统调用可以很快返回,process可以在短时间内发起多个系统调用。
  • 提供了I/O Concurrency - 允许多个系统调用并行执行,同时系统调用很快返回,process可以更快向下执行让计算与I/O重叠。

但是Asynchronous System Call也带来了问题:

  • 系统调用返回并不表示该完成的工作完成了。
  • 需要使用fsync()系统调用来等待数据落盘。

在ext3中,一个transaction可以包含多个系统调用,例如kernel打开一个transaction,然后接下来的几秒的系统调用都属于这个transaction。

在默认情况下ext3,每5 sec创建一个新的transaction,这样可以包含大量的系统调用,并且更容易出现write absorbtion节省log的空间,同时更利于磁盘调度,驱动可以重新排序这些blocks,按顺序写入。

一个ext3系统调用以start()开始,它返回一个handle。

从block cache获取缓存时需要使用这个handle。

transaction会跟踪所有的handles,只有全部系统调用都完成,这个transaction才能提交。

F43

stop()用于关闭一个文件系统调用。

提交一个transaction需要执行以下步骤:

  1. 阻塞新的系统调用直到彻底完成commit。
  2. 等待未完成的系统调用完成。
  3. 为后续系统调用打开一个新的transaction。
  4. 写入descriptor block到磁盘。
  5. 写入被修改的blocks到磁盘。
  6. 等待45完成。
  7. 写入commit block到磁盘。
  8. 等待7完成。
  9. 将log中修改的blocks应用到文件系统上。
  10. 重用transaction对应的空间。

F44

ext3的log类似一个环形缓冲区。

F45

NOTE:当提交新transaction的log空间不够时,需要等待旧的transaction落盘完成,这样才能有空间储存log。

在恢复时,ext3从super block开始扫描整个log,直到它回到super block。

在扫描过程中小于super block记录的序列号的descriptor block会被忽略(防止重复commit),未commit的transaction也会被忽略。

并且只有descriptor block和commit block里的magic number都正确,才会认为这是一个正确的transaction。

当一个data block以这个magic number开始时,ext3修改这个block把它设置为0,然后在descriptor block中添加一个元数据,表示我们修改了它,在应用日志时再进行还原。

在提交时,阻塞新系统调用的原因:事务之间共享block cache,如果系统调用发生重排,并且它们不再一个事务中就可能破坏崩溃一致性。

例如此处T2unlink(),重排在T1creat()前,T2崩溃时未提交导致两个文件使用了同一个inode。

F46

NOTE:在transaction提交时,还会拷贝涉及到的blocks,防止后面的transaction修改了block cache,导致向磁盘中写入脏数据。

NOTE:ext4会同时写入commit block和所有的被修改的blocks,并在commit block中添加checksum来避免磁盘调度导致commit blocks先写入的问题。

对于data blocks,ext3有三种模式:

  • Journal - 对所有blocks的修改都被写入日志。
  • Ordered - 只有metadata blocks和目录的data blocks的修改被写入日志,ext3的默认模式。
  • Writeback - 只有metadata blocks的修改被写入日志(且不跟踪inode中文件大小的改变)。