Mit6.S081-实验9-file system

一、实验准备

在本实验中，你将添加大量文件和符号链接到xv6文件系统。
在写代码前，你该从xv6 book中读章节8：File system，并学习相关代码。
获取本实验xv6源代码，并检出fs分支：
get fetch、git checkout fs、make clean

二、Large files

1，准备工作

mkfs程序创建xv6文件系统磁盘镜像，并决定文件系统总共有多少blocks；尺寸由kernel/param.h的FSSIZE控制。
那你将看到本实验仓库中的FSSIZE设置为了200000个blocks。
你应该可以在make输出中，看到来自mkfs/mkfs的输出：
nmeta 70（boot, super, log blocks 30 inode blocks 13, bitmap 25）blocks 1999930 total 200000	
这行描述了mkfs/mkfs构建的文件系统：它有70个meta-data blocks（blocks用于描述文件系统），并且199930个数据blocks，总共200000blocks。
实验中任何时候，如果你发现你不得不从scratch重构文件系统，你可以执行make clean，强制make来重构fs.img。

2，要看什么

一个磁盘inode的格式定义在fs.h的struct dinode。
你要特别注意NDIRECT、NINDIRECT、MAXFILE以及struct dinode的addrs[]元素。
xv6 text中的图8.3，看标准xv6 inode图解。
查看磁盘上文件数据的代码在fs.c的bmap()。查看它，并确认你理解它做了什么。
bmap()在读写文件时被调用。
当写时，bmap()按需分配新blocks来持有文件内容，而且如果需要持有block地址，分配一个indirect block。
bmap()处理两种block编号。
bn参数是一个逻辑block编号，文件中的block编号，与文件起始位置有关。
ip->addrs[]中的block编号，bread()中的参数，是磁盘block编号。
你可以将bmap()视作：将一个文件内的逻辑block编号映射为磁盘block编号。

3，你的工作

修改bmap()，以便于除了direct blocks和singly-indirect block之外，实现一个doubly-indirect block。
你将只有11个direct blocks，而不是12个，为你的新doubly-indirect block制作空间；
你不被允许改变磁盘inode的尺寸。
ip->addrs[]的前11个元素应该是direct blocks；第12个应该是singly-indirect block（就想当前这个）；
第13个应该是你的新doubly-indirect block。
当bigfile写65803 blocks，且usertests执行成功时，你完成了此练习。

$ bigfile
.......................................................................................
wrote 65803 blocks
done; ok
$ usertests
...
ALL TESTS PASSED

bigfile将花费至少1分半来执行。

4，提示

确保你理解bmap()。写出ip->addrs[]的关系图，indirect block，doubly-indirect block、singly-indirect block、data blocks。 
确保你理解为什么添加一个doubly-indirect block，可以提升文件最大尺寸256*256blocks（实际还要-1，因为你不得不减少一个direct blocks编号）。
考虑如何用逻辑block编号，来索引doubly-indirect block以及它指向的indirect block。
如果你改变NDIRECT的定义，你将可能不得不改变file.h struct inode addrs[]的声明。确保struct inode和struct dinode在它们的addrs[]数组中有同样的元素编号。
如果你修改NDIRECT的定义，确保创建一个新的fs.img，因为mkfs使用NDIRECT来构建文件系统。
如果你的文件系统陷入错误状态，可能由于崩溃，删除fs.img（在unix中做，并非xv6）。make将构建一个新的、干净的文件系统镜像给你。
不要忘记brelse()每个你bread()的block。
你该仅在需要时分配indirect blocks和doubly-indirect blocks，像原始的bmap()。
确认itrunc()释放掉文件所有blocks，包括double-indirect blocks。

5，具体实现

1）修改kernel/fs.h。

2）修改kernel/file.h。

3）修改kernel/fs.c的bmap函数。

6，测试结果

三、Symbolic links

1，实验要求

在本练习中，你将添加符号链接到xv6。
符号链接（或软链接）指的是一个通过路径名称进行链接的文件；
当一个符号链接是打开时，kernel通过link找到指向的文件。
符号链接与hard links相似，但hard links被限制为指向同一磁盘上的文件，然而符号链接可以跨磁盘设备。
尽管xv6不支持多设备，实现这个system call是一个好的练习，用于理解路径名称查询机制。

2，你的工作

你将实现symlink(char *target, char *path) system call，它在path创建一个新符号链接，指向名为target的文件。
更多信息，看symlink操作手册页。
为了测试，添加symlinktest到Makefile并执行它。
当测试产生下面输出（包括usertests succeeding）你的方案就完成了。

$ symlinktest
Start: test symlinks
test symlinks: ok
Start: test concurrent symlinks
test concurrent symlinks: ok
$ usertests
...
ALL TESTS PASSED

3，提示

首先，为symlink创建一个system call编号，在user/usys.pl、user/user.h添加一个入口，并在kernel/sysfile.c实现空sys_symlink。
添加新文件类型（T_SYMLINK）到kernel/stat.h来代表一个符号链接。
添加一个新标志位到kernel/fcntl.h，（O_NOFOLLOW），可以用在open system call中。注意传到open的标志位，用位运算OR操作符结合，因此你的新标志位，不应该遮盖任何已存在标志位。一旦你把它加到Makefile，这将让你编译user/symlinktest.c。
实现symlink(target, path)system call，在path（指向target）创建一个新符号链接。注意，对于system call成功，target无需存在。你将需要选择某处来存储符号链接的target path，例如，在inode的data blocks中。symlink应该返回一个整数，0代表成功，-1代表失败，与link和unlink相似。
更改open system call来处理这种情况：path指的是一个符号链接。如果文件不存在，open必须失败。当进程在传到open的标志位中明确O_NOFOLLOW，open应该打开symlink（且不follow符号链接）。
如果被链接的文件也是一个符号链接，你必须递归查询，直到抵达一个非链接文件。如果链接构成一个循环，你必须返回一个错误码。你可以近似判断，如果链接深度达到阈值（比如10）返回错误码。
其他system call（比如link和unlink）必须不follow符号链接；这些system calls操作符号链表本身。
本实验中，你无需处理目录符号链表。

4，具体实现

1）修改kernel/syscall.h。

2）修改kernel/usys.pl。

3）修改kernel/user.h。

4）修改kernel/syscall.c。

5）修改kernel/stat.h。

6）修改kernel/fcntl.h。

7）修改kernel/sysfile.c。实现sys_symlink函数。

8）修改kernel/sysfile.c。修改sys_open函数。


9）修改kernel/Makefile。

5，测试结果