MIT6.s081 2021 Lab System calls

xv6系统调用实现

不同于 Lab1 利用已实现的系统调用来实现一些用户态下的命令行程序,本 Lab 是要在内核层面实现一些系统调用。这其中难免涉及到一些对内核数据结构的操作,以及处理器体系结构(本系列 Lab 基于 RISCV)相关的内容,那么首先有必要梳理一下 xv6 下系统调用的实现过程。

xv6 系统调用的实现:

  1. trace 系统调用为例,用户通过调用 user/user.h 中的函数 trace 进行系统调用。
  2. 通过调用 Perl 脚本 user/usys.pl 生成的一系列汇编代码,该汇编代码的作用是设置寄存器的内容并实现用户态到内核态的切换,内核后续针对寄存器中的内容执行相应的系统调用操作。以下是对 user/usys.pl 代码的逐行解析:
  1. #!/usr/bin/perl -w:这是一个Perl脚本的“shebang”行,指定使用/usr/bin/perl解释器执行此脚本,并开启警告(-w)选项。

  2. print "# generated by usys.pl - do not edit\n";:打印注释说明此文件是由usys.pl脚本自动生成的,不应手动编辑。

  3. print "#include \"kernel/syscall.h\"\n";:输出一条预处理器指令,包含一个名为syscall.h的头文件,该文件可能包含了系统调用相关的常量和宏定义。

  4. sub entry {...}:定义了一个名为entry的子程序(函数),它接受一个参数(系统调用名称)。

  5. my $name = shift;:在entry函数内部,使用shift函数获取传入的第一个参数(系统调用名称),并将其存储在变量$name中。

  6. 接下来的几行print语句构造了每个系统调用存根的汇编代码:

    • .global $name:声明一个全局标签(函数名),使得链接器能够找到它。
    • ${name}:\n:定义了一个标签,对应于系统调用函数的开始。
    • li a7, SYS_${name}\n:装载(load immediate)指令,将系统调用号(通过宏SYS_${name}得到)放入寄存器a7中。在RISC-V架构中,a7寄存器通常用于存放系统调用号。
    • ecall:执行系统调用指令,这会触发处理器进入内核模式并执行相应的内核服务。
    • ret:返回指令,从系统调用中返回到用户程序。
  7. 最后,脚本通过多次调用entry函数(传入不同的系统调用名称,如fork, exit, wait等),为每一个列出的系统调用生成对应的汇编代码存根。

  1. 内核在执行系统调用时,只是调用 kernel/syscall.c 中的 syscall 函数,该函数读取寄存器 a7 的值,将其作为系统调用号,执行实际的系统调用函数(如sys_trace),并将函数返回值放入寄存器 a0 中,调用结束。

System call tracing

思路

理解了上述的系统调用过程,就可以开始着手完成系统调用的添加了。

由题干可知,用户态系统调用函数 trace 的参数为一个整型 mask,该 mask 用来表示哪些系统调用需要被追踪,如果 mask 的第 i 位为 1,则系统调用号 i 对应的系统调用将被追踪。

首先,在 user/user.huser/usys.plkernel/syscall.h 中添加 trace 的声明。

接下来,在 kernel/sysproc.c 中实现系统调用函数 sys_trace,该函数获取用户态传递的 trace 函数的参数 mask,并存入当前进程的 PCB(进程控制块,xv6 中为 kernel/proc.h 中的 struct proc 结构体)中。获取参数的操作,可以查看如下 xv6 文档的描述,并参考 kernel/sysproc.c 中其它系统调用函数的实现。由于参数类型为整型且数量只有一个(存放在 a0 寄存器中),因此调用 argint(0, &(myproc()->mask))。另外需要注意的是,struct proc 的初始定义中并没有 mask 段的内容,需要自行添加。

Because user code calls system call wrapper functions, the arguments are initially where the RISC-V C calling convention places them: in registers. The kernel trap code saves user registers to the current process’s trap frame, where kernel code can find them. The kernel functions argint, argaddr, and argfd retrieve the n ’th system call argument from the trap frame as an integer, pointer, or a file descriptor. They all call argraw to retrieve the appropriate saved user register (kernel/syscall.c:35).

然后,修改 kernel/proc.cfork 函数的定义,为 mask 字段添加拷贝操作,将父进程的 mask 字段传递给子进程,以此实现对子进程的追踪。

np->mask = p->mask;

最后,修改 kernel/syscall.c 中的 syscall 函数,判断当前的系统调用号是否位于被追踪的范围内,如果是,则按照要求格式将要追踪的信息打印出来:其中进程号为 myproc()->pid;函数调用名可手动创建一个系统调用名称表,通过将系统调用号作为下标来获取;函数返回值位于寄存器 a0 中,可通过 myproc()->trapframe->a0 来获取。

问题

最后再记录一下本 Lab 遇到的一些问题:

make失败

请添加图片描述

被这个错误困扰了挺久,甚至还为此使用 git reset 回退了版本,最后发现是在 $U/_trace\ 的末尾多了一个空格。。。

系统调用名称表添加出错

请添加图片描述

原因是我将系统调用名称表添加在了 kernel/syscall.h 中,但该头文件后续是会被 user/usys.pl 用于生成汇编的,因此不能包含 C 语言语句,最后是选择直接添加在了 kernel/syscall.c 中。

代码

由于本 Lab 主要是在原先的内核代码上进行修改,涉及的文件较多,因此代码部分以 git diff 的形式展现。

diff --git a/Makefile b/Makefile
index c926b7e..6647da5 100644
--- a/Makefile
+++ b/Makefile
@@ -193,6 +193,7 @@ UPROGS=\
 	$U/_grind\
 	$U/_wc\
 	$U/_zombie\
+	$U/_trace\
 
 
 
diff --git a/kernel/proc.c b/kernel/proc.c
index 22e7ce4..f4bd5c2 100644
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -314,6 +314,9 @@ fork(void)
   acquire(&np->lock);
   np->state = RUNNABLE;
   release(&np->lock);
+  
+  // here
+  np->mask = p->mask;
 
   return pid;
 }
diff --git a/kernel/proc.h b/kernel/proc.h
index f6ca8b7..e83d456 100644
--- a/kernel/proc.h
+++ b/kernel/proc.h
@@ -105,4 +105,7 @@ struct proc {
   struct file *ofile[NOFILE];  // Open files
   struct inode *cwd;           // Current directory
   char name[16];               // Process name (debugging)
+  
+  // here
+  int mask;					   // Mask of trace
 };
diff --git a/kernel/syscall.c b/kernel/syscall.c
index c1b3670..b5b8291 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_trace(void);
 
 static uint64 (*syscalls[])(void) = {
 [SYS_fork]    sys_fork,
@@ -127,6 +128,16 @@ static uint64 (*syscalls[])(void) = {
 [SYS_link]    sys_link,
 [SYS_mkdir]   sys_mkdir,
 [SYS_close]   sys_close,
+[SYS_trace]   sys_trace,
+};
+
+// here
+static char *syscall_names[] = {	
+	"dummy",  "fork",  "exit",  "wait",  "pipe",
+	"read",   "kill",  "exec",  "fstat", "chdir",
+	"dup",    "getpid","sbrk",  "sleep", "uptime",
+	"open",   "write", "mknod", "unlink", "link",
+	"mkdir",  "close", "trace",
 };
 
 void
@@ -138,6 +149,11 @@ syscall(void)
   num = p->trapframe->a7;
   if(num > 0 && num < NELEM(syscalls) && syscalls[num]) {
     p->trapframe->a0 = syscalls[num]();
+	
+	// here
+	if (p->mask & (1 << num)) {  // if mask contains current syscall num
+		printf("%d: syscall %s -> %d\n", p->pid, syscall_names[num], p->trapframe->a0);
+	}
   } else {
     printf("%d %s: unknown sys call %d\n",
             p->pid, p->name, num);
diff --git a/kernel/syscall.h b/kernel/syscall.h
index bc5f356..756d191 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_trace  22 // here
\ No newline at end of file
diff --git a/kernel/sysproc.c b/kernel/sysproc.c
index e8bcda9..3ff51d9 100644
--- a/kernel/sysproc.c
+++ b/kernel/sysproc.c
@@ -95,3 +95,11 @@ sys_uptime(void)
   release(&tickslock);
   return xticks;
 }
+
+// here
+uint64 sys_trace(void) {
+	if (argint(0, &(myproc()->mask)) < 0) {
+		return -1;
+	}
+	return 0;
+}
\ No newline at end of file
diff --git a/user/user.h b/user/user.h
index b71ecda..16107d6 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 trace(int); // here
 
 // ulib.c
 int stat(const char*, struct stat*);
diff --git a/user/usys.pl b/user/usys.pl
index 01e426e..76c64ec 100755
--- a/user/usys.pl
+++ b/user/usys.pl
@@ -36,3 +36,4 @@ entry("getpid");
 entry("sbrk");
 entry("sleep");
 entry("uptime");
+entry("trace"); # here
\ No newline at end of file

Sysinfo

思路

在完整添加了一个新的系统调用,熟悉了整体流程之后,本题相对就比较轻松了。声明添加的操作就跳过不谈了,这里主要关注 sys_sysinfo 的实现:即获取 freememnproc 的信息并将其填充到参数 sysinfo 指针对应的地址处。

这个大的目标可以拆分为 3 个小目标:

  1. 如何获取 freemem 的信息?
  2. 如何获取 nproc 的信息?
  3. 如何将数据填充入指定的地址中(用户空间)?

获取 freemem 的信息

仔细阅读 kernel/kalloc.c 的代码,可以发现一些关键信息:

  • struct run:用来内存分配单元的数据结构,本身的地址即为所指向的内存空间的起始地址,包含一个 next 指针,用于实现链表。
  • kmem.freelist:空闲链表,存储着一系列指向空闲空间的指针。
  • PGSIZE:内存分配页的大小,即每个 struct run * 所指向的内存空间的大小。

了解了上述信息后,计算空闲空间的大小就很简单了,只需要计算空闲链表的长度 n,空闲内存的空间大小即为 n * PGSIZE

uint64 freemem_bytes(void) {
	uint64 bytes = 0;
	struct run *r;
	
	for (r = kmem.freelist; r; r = r->next) {
		bytes += PGSIZE;
	}
	
	return bytes;
}

获取 nproc 的信息

与上面一样,阅读 kernel/proc.c 的代码,可知:

  • struct proc proc[NPROC] :进程数组,存储着所有进程的 struct proc.
  • UNUSEDstruct procenum procstate 的类型之一,代表本 struct proc 未被使用。

那么要得到当前系统中进程的数量,只需要遍历整个 proc,计算未处于 UNUSED 状态的进程数量即可。

uint64 proc_num(void) {
	struct proc *p;
	uint64 num = 0;
  
	for(p = proc; p < &proc[NPROC]; ++p) {
		num += (p->state != UNUSED);
	}
	
	return num;
}

将数据填充入指定的地址中

得到 freememnproc 之后,就需要将数据写入 sysinfo 的参数 struct sysinfo * 指向的内存区域,获取参数的方法和 tracing 类似,不过由于参数是指针类型,因此采用 argaddr。最后,仿照 kernel/file.c 中的操作,使用 copyout 将内核区域的数据写入用户空间中。

uint64 sys_sysinfo(void) {
	struct proc *p = myproc();
	struct sysinfo info;
	uint64 addr;
	
	info.freemem = freemem_bytes();
	info.nproc = proc_num();
	
	// get argument addr
	if (argaddr(0, &addr) < 0) {
		return -1;
	}
	
	// copy data of info to addr
	if (copyout(p->pagetable, addr, (char *)&info, sizeof(info)) < 0) {
		return -1;
	}
	
	return 0;
}

代码

diff --git a/Makefile b/Makefile
index 6647da5..cfb5119 100644
--- a/Makefile
+++ b/Makefile
@@ -194,6 +194,7 @@ UPROGS=\
 	$U/_wc\
 	$U/_zombie\
 	$U/_trace\
+	$U/_sysinfotest\
 
 
 
diff --git a/kernel/defs.h b/kernel/defs.h
index 3564db4..b2dbb8d 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -63,6 +63,7 @@ void            ramdiskrw(struct buf*);
 void*           kalloc(void);
 void            kfree(void *);
 void            kinit(void);
+uint64          freemem_bytes(void); // here
 
 // log.c
 void            initlog(int, struct superblock*);
@@ -104,6 +105,7 @@ void            yield(void);
 int             either_copyout(int user_dst, uint64 dst, void *src, uint64 len);
 int             either_copyin(void *dst, int user_src, uint64 src, uint64 len);
 void            procdump(void);
+uint64          proc_num(void); // here
 
 // swtch.S
 void            swtch(struct context*, struct context*);
diff --git a/kernel/kalloc.c b/kernel/kalloc.c
index fa6a0ac..686d84e 100644
--- a/kernel/kalloc.c
+++ b/kernel/kalloc.c
@@ -80,3 +80,15 @@ kalloc(void)
     memset((char*)r, 5, PGSIZE); // fill with junk
   return (void*)r;
 }
+
+// here
+uint64 freemem_bytes(void) {
+	uint64 bytes = 0;
+	struct run *r;
+	
+	for (r = kmem.freelist; r; r = r->next) {
+		bytes += PGSIZE;
+	}
+	
+	return bytes;
+}
\ No newline at end of file
diff --git a/kernel/proc.c b/kernel/proc.c
index f4bd5c2..ed6eec4 100644
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -657,3 +657,15 @@ procdump(void)
     printf("\n");
   }
 }
+
+// here
+uint64 proc_num(void) {
+	struct proc *p;
+	uint64 num = 0;
+  
+	for(p = proc; p < &proc[NPROC]; ++p) {
+		num += (p->state != UNUSED);
+	}
+	
+	return num;
+}
\ No newline at end of file
diff --git a/kernel/syscall.c b/kernel/syscall.c
index b5b8291..6fed4f2 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -105,6 +105,7 @@ extern uint64 sys_wait(void);
 extern uint64 sys_write(void);
 extern uint64 sys_uptime(void);
 extern uint64 sys_trace(void);
+extern uint64 sys_sysinfo(void);
 
 static uint64 (*syscalls[])(void) = {
 [SYS_fork]    sys_fork,
@@ -129,6 +130,7 @@ static uint64 (*syscalls[])(void) = {
 [SYS_mkdir]   sys_mkdir,
 [SYS_close]   sys_close,
 [SYS_trace]   sys_trace,
+[SYS_sysinfo] sys_sysinfo,
 };
 
 // here
@@ -137,7 +139,7 @@ static char *syscall_names[] = {
 	"read",   "kill",  "exec",  "fstat", "chdir",
 	"dup",    "getpid","sbrk",  "sleep", "uptime",
 	"open",   "write", "mknod", "unlink", "link",
-	"mkdir",  "close", "trace",
+	"mkdir",  "close", "trace", "sysinfo",
 };
 
 void
diff --git a/kernel/syscall.h b/kernel/syscall.h
index 756d191..7954d98 100644
--- a/kernel/syscall.h
+++ b/kernel/syscall.h
@@ -20,4 +20,5 @@
 #define SYS_link   19
 #define SYS_mkdir  20
 #define SYS_close  21
-#define SYS_trace  22 // here
\ No newline at end of file
+#define SYS_trace  22 // here
+#define SYS_sysinfo 23
\ No newline at end of file
diff --git a/kernel/sysproc.c b/kernel/sysproc.c
index 3ff51d9..644638f 100644
--- a/kernel/sysproc.c
+++ b/kernel/sysproc.c
@@ -6,6 +6,7 @@
 #include "memlayout.h"
 #include "spinlock.h"
 #include "proc.h"
+#include "sysinfo.h"
 
 uint64
 sys_exit(void)
@@ -101,5 +102,26 @@ uint64 sys_trace(void) {
 	if (argint(0, &(myproc()->mask)) < 0) {
 		return -1;
 	}
+	return 0;
+}
+
+uint64 sys_sysinfo(void) {
+	struct proc *p = myproc();
+	struct sysinfo info;
+	uint64 addr;
+	
+	info.freemem = freemem_bytes();
+	info.nproc = proc_num();
+	
+	// get argument addr
+	if (argaddr(0, &addr) < 0) {
+		return -1;
+	}
+	
+	// copy data of info to addr
+	if (copyout(p->pagetable, addr, (char *)&info, sizeof(info)) < 0) {
+		return -1;
+	}
+	
 	return 0;
 }
\ No newline at end of file
diff --git a/user/user.h b/user/user.h
index 16107d6..37d15a5 100644
--- a/user/user.h
+++ b/user/user.h
@@ -1,5 +1,6 @@
 struct stat;
 struct rtcdate;
+struct sysinfo; // here
 
 // system calls
 int fork(void);
@@ -24,6 +25,7 @@ char* sbrk(int);
 int sleep(int);
 int uptime(void);
 int trace(int); // here
+int sysinfo(struct sysinfo *);
 
 // ulib.c
 int stat(const char*, struct stat*);
diff --git a/user/usys.pl b/user/usys.pl
index 76c64ec..fde7c87 100755
--- a/user/usys.pl
+++ b/user/usys.pl
@@ -36,4 +36,5 @@ entry("getpid");
 entry("sbrk");
 entry("sleep");
 entry("uptime");
-entry("trace"); # here
\ No newline at end of file
+entry("trace"); # here
+entry("sysinfo")
\ No newline at end of file
  • 26
    点赞
  • 15
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值