【MIT 6.S081】2020, 实验记录(2),Lab: System calls

2024-01-09 03:36

本文主要是介绍【MIT 6.S081】2020, 实验记录(2),Lab: System calls,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

    • Task
      • Task 1: System call tracing
        • 1.1 task 说明
        • 1.2 实现过程
        • 1.3 测试

这个实验尝试自己在 OS kernel 中添加 system call。

Task

Task 1: System call tracing

1.1 task 说明

这个 task 实现在 kernel 中添加一个 trace 的系统调用,当用户调用这个系统调用并指定想要追踪哪些系统调用后,这个进程在之后发生系统调用的时候会记录下这个系统调用的相关信息。

每个 system call 都有一个对应的 number,kernel 也是通过这个 number 来知道用户想要调用哪个 system call。比如 fork 的系统调用 number 是 1,在代码中有一个 SYS_fork 来代表这个 number。

当我们把 1 << SYS_fork 作为参数(参数名为 mask)传给 trace 后,就表示我们想要查看后面发生 fork 时的相关信息。

lab 已经事先实现好了一个 user/trace.c 程序来利用 trace 这个系统调用实现一个用户级的 trace 程序,用户可以在命令行中通过 trace 命令来调用这个程序。

1.2 实现过程
  1. 在 Makefile 的 UPROGS 中添加一个 $U/_trace
  2. user/user.h 中添加一个 trace 的 system call 的 prototype:
int trace(int);
  1. usys.pl 中添加一个 entry 用来生成 user/usys.S,即用户实际调用的 stub:
entry("trace");
  1. kernel/syscall.h 中为 trace 分配一个 system call number:
#define SYS_trace  22
  1. kernel/sysproc.c 中添加一个 sys_trace() 函数,用来实现读取用户在调用 system call 时传递的参数,同时将参数 mask 记录到这个进程中,也就是 struct proc 中,其声明在 kernel/proc.h 中,每个进程可以通过 myproc() 来获取当前进程的这个结构体信息:
  • 先在 kernel/proc.h 的 struct proc 中添加一个字段用来记录 trace mask:
// Per-process state
struct proc {...char name[16];               // Process name (debugging)int trace_mask;              // Mask arguments for `trace` system call
};
  • 实现 sys_trace() 函数:
uint64
sys_trace(void)
{int mask;if (argint(0, &mask) < 0) {return -1;}myproc()->trace_mask = mask;return 0;
}
  1. 修改 kernel/proc.c 中的 fork() 函数实现,让其在产生子进程时,也将父进程的 trace mask 数据复制给子进程:
int
fork(void)
{...np->sz = p->sz;np->trace_mask = p->trace_mask;  // 复制 trace masknp->parent = p;...
}
  1. 修改 kernel/syscall.c 中函数 syscall() 的函数实现,这个函数用来根据 system call number 来调用真正的 system call,我们需要根据当前进程的 trace mask 来决定当一个 system call 完成后是否 print 这次调用的相关信息:
void
syscall(void)
{int num;struct proc *p = myproc();num = p->trapframe->a7;if(num > 0 && num < NELEM(syscalls) && syscalls[num]) {p->trapframe->a0 = syscalls[num]();// system call 完成后,根据 trace mask 来决定是否 printif ((p->trace_mask & (1 << num)) != 0) {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);p->trapframe->a0 = -1;}
}

以上完成后,这个 task 就完成了,make qemu 测试一下,看看与 Lab 的要求是否一致:

$ trace 32 grep hello README
3: syscall read -> 1023
3: syscall read -> 966
3: syscall read -> 70
3: syscall read -> 0
$
$ trace 2147483647 grep hello README
4: syscall trace -> 0
4: syscall exec -> 3
4: syscall open -> 3
4: syscall read -> 1023
4: syscall read -> 966
4: syscall read -> 70
4: syscall read -> 0
4: syscall close -> 0
$
$ grep hello README
$
$ trace 2 usertests forkforkfork
usertests starting
test forkforkfork: 407: syscall fork -> 408
408: syscall fork -> 409
409: syscall fork -> 410
410: syscall fork -> 411
409: syscall fork -> 412
410: syscall fork -> 413
409: syscall fork -> 414
411: syscall fork -> 415
...
1.3 测试

输出与 Lab 要求一致:
task-1 截图

这篇关于【MIT 6.S081】2020, 实验记录(2),Lab: System calls的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/585809

相关文章

usaco 1.3 Mixing Milk (结构体排序 qsort) and hdu 2020(sort)

到了这题学会了结构体排序 于是回去修改了 1.2 milking cows 的算法~ 结构体排序核心: 1.结构体定义 struct Milk{int price;int milks;}milk[5000]; 2.自定义的比较函数,若返回值为正,qsort 函数判定a>b ;为负,a<b;为0,a==b; int milkcmp(const void *va,c

Node.js学习记录(二)

目录 一、express 1、初识express 2、安装express 3、创建并启动web服务器 4、监听 GET&POST 请求、响应内容给客户端 5、获取URL中携带的查询参数 6、获取URL中动态参数 7、静态资源托管 二、工具nodemon 三、express路由 1、express中路由 2、路由的匹配 3、路由模块化 4、路由模块添加前缀 四、中间件

记录每次更新到仓库 —— Git 学习笔记 10

记录每次更新到仓库 文章目录 文件的状态三个区域检查当前文件状态跟踪新文件取消跟踪(un-tracking)文件重新跟踪(re-tracking)文件暂存已修改文件忽略某些文件查看已暂存和未暂存的修改提交更新跳过暂存区删除文件移动文件参考资料 咱们接着很多天以前的 取得Git仓库 这篇文章继续说。 文件的状态 不管是通过哪种方法,现在我们已经有了一个仓库,并从这个仓

STM32(十一):ADC数模转换器实验

AD单通道: 1.RCC开启GPIO和ADC时钟。配置ADCCLK分频器。 2.配置GPIO,把GPIO配置成模拟输入的模式。 3.配置多路开关,把左面通道接入到右面规则组列表里。 4.配置ADC转换器, 包括AD转换器和AD数据寄存器。单次转换,连续转换;扫描、非扫描;有几个通道,触发源是什么,数据对齐是左对齐还是右对齐。 5.ADC_CMD 开启ADC。 void RCC_AD

学习记录:js算法(二十八):删除排序链表中的重复元素、删除排序链表中的重复元素II

文章目录 删除排序链表中的重复元素我的思路解法一:循环解法二:递归 网上思路 删除排序链表中的重复元素 II我的思路网上思路 总结 删除排序链表中的重复元素 给定一个已排序的链表的头 head , 删除所有重复的元素,使每个元素只出现一次 。返回 已排序的链表 。 图一 图二 示例 1:(图一)输入:head = [1,1,2]输出:[1,2]示例 2:(图

Partical System

创建"粒子系统物体"(点击菜单GameObject -> Create Other -> Particle System) 添加"粒子系统组件"(点击Component -> Effects  ->Particle System) 粒子系统检视面板  点击粒子系统检视面板的右上角的"+"来增加新的模块。(Show All Modules:显示全部) 初始化模块: •

小技巧绕过Sina Visitor System(新浪访客系统)

0x00 前言 一直以来,爬虫与反爬虫技术都时刻进行着博弈,而新浪微博作为一个数据大户更是在反爬虫上不遗余力。常规手段如验证码、封IP等等相信很多人都见识过…… 当然确实有需要的话可以通过新浪开放平台提供的API进行数据采集,但是普通开发者的权限比较低,限制也比较多。所以如果只是做一些简单的功能还是爬虫比较方便~ 应该是今年的早些时候,新浪引入了一个Sina Visitor Syst

HNU-2023电路与电子学-实验3

写在前面: 一、实验目的 1.了解简易模型机的内部结构和工作原理。 2.分析模型机的功能,设计 8 重 3-1 多路复用器。 3.分析模型机的功能,设计 8 重 2-1 多路复用器。 4.分析模型机的工作原理,设计模型机控制信号产生逻辑。 二、实验内容 1.用 VERILOG 语言设计模型机的 8 重 3-1 多路复用器; 2.用 VERILOG 语言设计模型机的 8 重 2-1 多

perl的学习记录——仿真regression

1 记录的背景 之前只知道有这个强大语言的存在,但一直侥幸自己应该不会用到它,所以一直没有开始学习。然而人生这么长,怎就确定自己不会用到呢? 这次要搭建一个可以自动跑完所有case并且打印每个case的pass信息到指定的文件中。从而减轻手动跑仿真,手动查看log信息的重复无效低质量的操作。下面简单记录下自己的思路并贴出自己的代码,方便自己以后使用和修正。 2 思路整理 作为一个IC d

SSM项目使用AOP技术进行日志记录

本步骤只记录完成切面所需的必要代码 本人开发中遇到的问题: 切面一直切不进去,最后发现需要在springMVC的核心配置文件中中开启注解驱动才可以,只在spring的核心配置文件中开启是不会在web项目中生效的。 之后按照下面的代码进行配置,然后前端在访问controller层中的路径时即可观察到日志已经被正常记录到数据库,代码中有部分注释,看不懂的可以参照注释。接下来进入正题 1、导入m