MIT6.s081 2021 Lab File system

最新推荐文章于 2024-10-18 11:08:12 发布
最新推荐文章于 2024-10-18 11:08:12 发布
阅读量470 收藏 6
点赞数 3
文章标签： unix c语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_37409526/article/details/141267950
版权

Large files

思路

xv6 文件系统的 inode 中地址域 addrs[] 由 12 个直接地址和 1 个一级间接地址组成，本实验要求将地址域更改为 11 个直接地址、1 个一级间接地址和 1 个二级间接地址组成，以支持更大文件的存储。

代码的实现有了直接地址和一级间接地址做参考，就很简单了，直接查看代码部分即可。

代码

diff --git a/kernel/file.h b/kernel/file.h
index b076d1d..5c4eb3a 100644
--- a/kernel/file.h
+++ b/kernel/file.h
@@ -26,7 +26,7 @@ struct inode {
   short minor;
   short nlink;
   uint size;
-  uint addrs[NDIRECT+1];
+  uint addrs[NDIRECT+2];
 };
 
 // map major device number to device functions.
diff --git a/kernel/fs.c b/kernel/fs.c
index 40c9bd4..4c00ab5 100644
--- a/kernel/fs.c
+++ b/kernel/fs.c
@@ -400,6 +400,33 @@ bmap(struct inode *ip, uint bn)
     brelse(bp);
     return addr;
   }
+  bn -= NINDIRECT;
+
+  if (bn < NINDIRECT2) {
+    if ((addr = ip->addrs[NDIRECT + 1]) == 0) {
+      ip->addrs[NDIRECT + 1] = addr = balloc(ip->dev);
+    }
+
+    uint i = bn / NINDIRECT, j = bn % NINDIRECT;
+    
+    bp = bread(ip->dev, addr);
+    a = (uint *)bp->data;
+    if ((addr = a[i]) == 0) {
+      a[i] = addr = balloc(ip->dev);
+      log_write(bp);
+    }
+    brelse(bp);
+
+    bp = bread(ip->dev, addr);
+    a = (uint *)bp->data;
+    if ((addr = a[j]) == 0) {
+      a[j] = addr = balloc(ip->dev);
+      log_write(bp);
+    }
+    brelse(bp);
+
+    return addr;
+  }
 
   panic("bmap: out of range");
 }
@@ -432,6 +459,29 @@ itrunc(struct inode *ip)
     ip->addrs[NDIRECT] = 0;
   }
 
+  struct buf *bp2;
+  uint *a2;
+  if (ip->addrs[NDIRECT + 1]) {
+    bp = bread(ip->dev, ip->addrs[NDIRECT + 1]);
+    a = (uint *)bp->data;
+    for (i = 0; i < NINDIRECT; ++i) {
+      if (a[i]) {
+        bp2 = bread(ip->dev, a[i]);
+        a2 = (uint *)bp2->data;
+        for (j = 0; j < NINDIRECT; ++j) {
+          if (a2[j]) {
+            bfree(ip->dev, a2[j]);
+          }
+        }
+        brelse(bp2);
+        bfree(ip->dev, a[i]);
+      }
+    }
+    brelse(bp);
+    bfree(ip->dev, ip->addrs[NDIRECT + 1]);
+    ip->addrs[NDIRECT + 1] = 0;
+  }
+
   ip->size = 0;
   iupdate(ip);
 }
diff --git a/kernel/fs.h b/kernel/fs.h
index 139dcc9..cd5de8a 100644
--- a/kernel/fs.h
+++ b/kernel/fs.h
@@ -24,9 +24,10 @@ struct superblock {
 
 #define FSMAGIC 0x10203040
 
-#define NDIRECT 12
+#define NDIRECT 11
 #define NINDIRECT (BSIZE / sizeof(uint))
-#define MAXFILE (NDIRECT + NINDIRECT)
+#define NINDIRECT2 (NINDIRECT * NINDIRECT)
+#define MAXFILE (NDIRECT + NINDIRECT + NINDIRECT2)
 
 // On-disk inode structure
 struct dinode {
@@ -35,7 +36,7 @@ struct dinode {
   short minor;          // Minor device number (T_DEVICE only)
   short nlink;          // Number of links to inode in file system
   uint size;            // Size of file (bytes)
-  uint addrs[NDIRECT+1];   // Data block addresses
+  uint addrs[NDIRECT+2];   // Data block addresses
 };
 
 // Inodes per block.

Symbolic links

思路

本实验要求为 xv6 实现符号链接（软链接）机制，符号链接本质上也是一个文件，只不过它的数据内容为该链接指向的文件路径，这其实与 Windows 系统的快捷方式十分类似。实现方案如下：

首先依照 Lab System call 中的方法，添加系统调用 symlink：添加 symlink() 声明，添加系统调用号，添加系统调用 entry，添加 sys_symlink() 声明。

在理解了符号链接的本质后，就可以着手实现 sys_symlink 了。首先明确一下 symlink 的作用，它包含两个参数：target 和 path，作用是创建一个目录为 path 的符号链接，该符号链接指向目录为 target 的文件。实现思路应该比较清晰：使用 create() 创建一个文件类型为符号链接（需要自行定义）的文件，再使用 writei() 将字符串 path 写入该文件中。

uint64 sys_symlink(void) {
    int n1, n2;
    char target[MAXPATH], path[MAXPATH];
    struct inode *ip;

    // get arguments of symlink
    if ((n1 = argstr(0, target, MAXPATH)) < 0 || (n2 = argstr(1, path, MAXPATH)) < 1) {
        return -1;
    }

    begin_op();
    // create symbol link in the path
    if ((ip = create(path, T_SYMLINK, 0, 0)) == 0) {
        end_op();
        return -1;
    }
    // write target to file that ip points to
    if (writei(ip, 0, (uint64)target, 0, n1) < n1) {
        end_op();
        return -1;
    }
    iunlockput(ip);
    end_op();

    return 0;
}

实现了符号链接的创建之后，还需要修改 sys_open()，实现对符号链接的特殊处理：当该文件是一个符号链接并且需要以跟随（follow）的方式打开时，就不断向下递归，将当前的 inode 指针指向符号链接指向文件的 inode，直到 inode 指针对应的文件类型不是符号链接，此时该 inode 指针指向的文件才是本次 sys_open() 系统调用实际需要打开的文件。

这里要用到两个关键函数 readi() 和 namei()。其中 readi() 能够根据 inode 指针，从该 inode 指针对应的文件中读取数据；而 namei() 能够根据指定的路径，返回该路径对应文件的 inode 指针。“跟随”的基本流程就是先使用读取当前 inode 中的数据，即目标文件路径 path，再将当前 inode 指针指向 path 目录对应的文件，以此往复。

最后还有一个小细节，就是当多个符号链接形成一个环时，这样的“跟随”过程就可能会导致死循环，因此必须加以限制，这里为了实现的方便，只是设定了一个最大递归深度，当递归深度超过该设定最大值时，文件打开就会失败。

if (!(omode & O_NOFOLLOW)) {
    int depth = 10;     // max recursive depth
    struct inode *next; // next inode

    while (depth > 0 && ip->type == T_SYMLINK) {
        // read data from file that ip points to to path
        if (readi(ip, 0, (uint64)path, 0, MAXPATH) == 0) {
            iunlockput(ip);
            end_op();
            return -1;
        }

        // get inode of file in the path
        if ((next = namei(path)) == 0) {
            iunlockput(ip);
            end_op();
            return -1;
        }
        iunlockput(ip);
        ip = next;
        --depth;
        ilock(ip);
    }

    if (depth <= 0) {
        iunlockput(ip);
        end_op();
        return -1;
    }
}

代码

diff --git a/Makefile b/Makefile
index 7a7e380..37a202c 100644
--- a/Makefile
+++ b/Makefile
@@ -188,6 +188,7 @@ UPROGS=\
 	$U/_grind\
 	$U/_wc\
 	$U/_zombie\
+	$U/_symlinktest\
 
 
 
diff --git a/kernel/fcntl.h b/kernel/fcntl.h
index 44861b9..b42df18 100644
--- a/kernel/fcntl.h
+++ b/kernel/fcntl.h
@@ -3,3 +3,4 @@
 #define O_RDWR    0x002
 #define O_CREATE  0x200
 #define O_TRUNC   0x400
+#define O_NOFOLLOW 0x800
\ No newline at end of file
diff --git a/kernel/stat.h b/kernel/stat.h
index 19543af..46ba47f 100644
--- a/kernel/stat.h
+++ b/kernel/stat.h
@@ -1,6 +1,7 @@
 #define T_DIR     1   // Directory
 #define T_FILE    2   // File
 #define T_DEVICE  3   // Device
+#define T_SYMLINK 4   // Symbol link
 
 struct stat {
   int dev;     // File system's disk device
diff --git a/kernel/syscall.c b/kernel/syscall.c
index c1b3670..1697b62 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -104,6 +104,7 @@ extern uint64 sys_unlink(void);
 extern uint64 sys_wait(void);
 extern uint64 sys_write(void);
 extern uint64 sys_uptime(void);
+extern uint64 sys_symlink(void);
 
 static uint64 (*syscalls[])(void) = {
 [SYS_fork]    sys_fork,
@@ -127,6 +128,7 @@ static uint64 (*syscalls[])(void) = {
 [SYS_link]    sys_link,
 [SYS_mkdir]   sys_mkdir,
 [SYS_close]   sys_close,
+[SYS_symlink] sys_symlink,
 };
 
 void
diff --git a/kernel/syscall.h b/kernel/syscall.h
index bc5f356..0fbf6ed 100644
--- a/kernel/syscall.h
+++ b/kernel/syscall.h
@@ -20,3 +20,4 @@
 #define SYS_link   19
 #define SYS_mkdir  20
 #define SYS_close  21
+#define SYS_symlink 22
\ No newline at end of file
diff --git a/kernel/sysfile.c b/kernel/sysfile.c
index 5dc453b..ae342c8 100644
--- a/kernel/sysfile.c
+++ b/kernel/sysfile.c
@@ -15,6 +15,7 @@
 #include "sleeplock.h"
 #include "file.h"
 #include "fcntl.h"
+#include "buf.h"
 
 // Fetch the nth word-sized system call argument as a file descriptor
 // and return both the descriptor and the corresponding struct file.
@@ -316,6 +317,35 @@ sys_open(void)
     }
   }
 
+  if (!(omode & O_NOFOLLOW)) {
+    int depth = 10;
+    struct inode *next;
+
+    while (depth > 0 && ip->type == T_SYMLINK) {
+      if (readi(ip, 0, (uint64)path, 0, MAXPATH) == 0) {
+        iunlockput(ip);
+        end_op();
+        return -1;
+      }
+
+      if ((next = namei(path)) == 0) {
+        iunlockput(ip);
+        end_op();
+        return -1;
+      }
+      iunlockput(ip);
+      ip = next;
+      --depth;
+      ilock(ip);
+    }
+
+    if (depth <= 0) {
+      iunlockput(ip);
+      end_op();
+      return -1;
+    }
+  }
+
   if(ip->type == T_DEVICE && (ip->major < 0 || ip->major >= NDEV)){
     iunlockput(ip);
     end_op();
@@ -484,3 +514,28 @@ sys_pipe(void)
   }
   return 0;
 }
+
+uint64 sys_symlink(void) {
+  int n1, n2;
+  char target[MAXPATH], path[MAXPATH];
+  struct inode *ip;
+
+  if ((n1 = argstr(0, target, MAXPATH)) < 0 || (n2 = argstr(1, path, MAXPATH)) < 1) {
+    return -1;
+  }
+  
+  // create symbol link in the path
+  begin_op();
+  if ((ip = create(path, T_SYMLINK, 0, 0)) == 0) {
+    end_op();
+    return -1;
+  }
+  if (writei(ip, 0, (uint64)target, 0, n1) < n1) {
+    end_op();
+    return -1;
+  }
+  iunlockput(ip);
+  end_op();
+
+  return 0;
+}
\ No newline at end of file
diff --git a/user/user.h b/user/user.h
index b71ecda..883ef48 100644
--- a/user/user.h
+++ b/user/user.h
@@ -23,6 +23,7 @@ int getpid(void);
 char* sbrk(int);
 int sleep(int);
 int uptime(void);
+int symlink(char *, char *);
 
 // ulib.c
 int stat(const char*, struct stat*);
diff --git a/user/usys.pl b/user/usys.pl
index 01e426e..65a8d6b 100755
--- a/user/usys.pl
+++ b/user/usys.pl
@@ -36,3 +36,4 @@ entry("getpid");
 entry("sbrk");
 entry("sleep");
 entry("uptime");
+entry("symlink");
\ No newline at end of file
Lordaeron_ESZ
关注
2021 MIT6.S081 LAB9 file system Large files Symbolic links
qq_33894666的博客
12-26 565
实验九 原网址 Lab: file system Large files 这个实验的目标是增加一个文件的最大容量，原来的字节数是（256+12）* 1024，有12个直接引用块 1个1级间接引用块，这一个间接引用块有256个直接引用块。将12个直接引用腾出一个位置，作为一个2级 间接引用，所以，腾出来后，有（256*256 + 256 + 11）个块。 修改宏定义NDIRECT、最大文件MAXFIEL以及相关结构体，增加新宏定义DOUBLE_INDIRECT。修改NDIRECT为11后，结构体din
mit6.s081 lab9 file system
tailuzhecom的博客
10-23 353
Large files 这个exercise的工作是提高xv6支持的最大文件大小，现在的inode结构如下图所示 原始的xv6 inode结构中有12个直接索引，1个一级间接索引，所以当前xv6中文件的支持的最大block数为12 + 256 （每个block可以存储256个block num，一个sector为512 bytes，一个block为1024 bytes，一个block num为4 bytes）。 现在要将inode结构修改为11个间接索引，1个一级间接索引，1个二级间接索引，可以支持的最大文
MIT6.S081 2021 file system
最佳损友1020的博客
08-21 470
在follow_link函数实现时我错误地使用了iunlockput方法，使得inode的引用计数变为0了，在sys_open函数ilock的时候就会报ilock错误，实际上我在只需要调用iunlock解锁即可，不需要降低引用计数。此时已经可以使用普通的gdb进行调试，判断错误在follow_link函数后，将该函数设置为断点。bmap函数，仿照一级索引块处理流程即可，二级索引块->一级索引块->数据块。itrunc函数，对索引块先释放buffer再free，数据块则直接free。...
MIT 6.S081 Lab9: file system
落队的飞行兵
12-30 1848
这个实验是文件系统，内容是扩充 xv6 的文件系统大小和实现软链接，实验地址在这里。感觉到这里是操作系统的另一个视图了，跟前面的虚拟内存和进程不太一样，相比来说，操作系统这部分的知识简单一些。为此我去补充了一下相关的知识，再次感觉这门课真好，。能力太差了，写代码花了好长时间，，代码放在了github上。
2020 MIT6.s081 Lab file system
sun%moon
09-18 942
2020 MIT6.s081 Lab file system
【MIT 6.S081】Lab9: file system
juruo_c的博客
05-15 1020
这个lab难度不大，主要理解file system中几个较高层的函数就可以做笔者用时约3h。
MIT6.S081 2021
最佳损友1020的博客
04-04 2940
MIT6.S081 Xv6 and Unix utilities system calls page tables traps
MIT6.S081 2021 locks
最佳损友1020的博客
08-29 581
另外，许多编译器和CPU会对代码进行指令重排，乱序执行以获取更高的性能，为了不让临界区代码移出临界区，使用内存屏障，告知编译器和CPU不对屏障内部的load store指令进行重排。竞争常常造成丢失更新或读到部分更新问题，竞争的结果取决于CPU的执行顺序，内存操作的再排序，它的结果是很微妙的，调试时一条输出语句就能改变执行顺序，使得bug无法复现。假如数据结构的释放也由其内嵌的锁控制的的话，一旦该数据结构释放，则其他同时请求该锁的线程则会‘失灵’，使用引用计数来解决该问题。.........
「实验记录」MIT 6.S081 Lab9 file system
士全的CSDN，用心连载，欢迎关注
02-16 595
MIT 6.S081 Lab9 file system lab: large file and lab: symlink
操作系统 MIT6.S081 Lab6 File System
airhaohan 的博客
01-05 330
操作系统 MIT6.S081 Lab6 File System
MIT6.S081
caowenbo2311694605的博客
11-21 2277
MIT6.S081笔记——写写OS 深陷脊背的腐烂禁 人生浪费指南三流写手/吃肉肉 2 人赞同了该文章 MIT 6.S081 lab tool 环境要求主要是3个项目: 一个是riscv64的toolchain,另一个就是虚拟机qemu,剩下的就是一个源码库,装好这三个就可以开始写代码了 关于环境一些坑 首先就是toolchain,这个项目仅仅源代码就有3个多G,按照国内访问git的速度几乎不可能下载完,(这个项目是一个套娃项目,其中里面的子module对应着github上的别的项目,
MIT6.S081学习总结-lab9:file system
laplacebh的博客
07-06 2048
lab9 是文件系统相关，主要实现大文件的支持和软链接。 Large files 实现对大文件的支持 文件分配策略就是国内操作系统教材上讲的索引分配。原本xv6中每个文件有13个地址索引，前12个是直接地址索引，对应的数据块直接存储数据，最后一个是一级间接地址索引，对应的数据块存储地址索引，因此最大文件为256+12=268256+12=268256+12=268个数据块。 增大支持的最大文件大小，可以增加一个二级间接地址索引，变为前11个直接地址索引，第12个一级间接地址索引，最后一个是二级间接地址索引，
MIT 6.S081 Lab2
NP_hard的博客
11-13 1365
文章目录System call traceSysinfo System call trace In this assignment you will add a system call tracing feature that may help you when debugging later labs. You’ll create a new trace system call that will control tracing. It should take one argument, an inte
13.2 Linux_网络编程_UNIX域套接字
Fresh_man111的博客
10-18 132
UNIX域套接字是使用套接字进行本地通信，TCP/UDP是使用套接字进行网络通信。UNIX域套接字也有域流式套接字和域数据报套接字，这两种形式域TCP/UDP的含义类似，使用步骤也完全一致。
【C语言】数据的输入格式
我的我的博客
10-15 264
注意★★★：char类型在读取数据时，数据的分隔符也会直接读取，比如换行或者空格，也会直接存储。
【C语言】Hello world!
我的我的博客
10-15 398
第二行：main函数，C语言源程序的入口，也是读代码的开端。函数从stdio.h头文件中进行调用，已经实现，直接调用。printf函数引号包含什么内容，即可打印至电脑屏幕。C语言入门，hello C language.C语言源程序入门，hello world!输出hello world。第一行：预处理阶段进行处理。
rhino grasshoper 框内物体排列（附视频）.gh
最新发布
10-18
【闭合线内物体按方向移动/排列】https://www.bilibili.com/video/BV1z1WfeSEWu?vd_source=b420114c993138474d2e93d83ead77a5
kwant-1.4.3-cp38-cp38-win_amd64.whl
10-18
kwant-1.4.3-cp38-cp38-win_amd64.whl
rhino grasshoper 景观椅（附视频）.gh
10-18
【rhino@grasshoper 曲线金属座椅景观案例（文件获取/见简介）】https://www.bilibili.com/video/BV1Dx4y147Lr?vd_source=b420114c993138474d2e93d83ead77a5
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值