216.Mit6.S081-实验四-Traps

news2024/9/23 3:18:24

本实验探索如何使用陷阱实现系统调用。您将首先使用栈做一个热身练习，然后实现一个用户级陷阱处理的示例。

开始编码之前，请阅读xv6手册的第4章和相关源文件：

  • kernel/trampoline.S：涉及从用户空间到内核空间再到内核空间的转换的程序集
  • kernel/trap.c：处理所有中断的代码

要启动实验，请切换到traps分支：

$ git fetch
$ git checkout traps
$ make clean

一、RISC-V assembly（easy）

1.实验要求

理解一点RISC-V汇编是很重要的，你应该在6.004中接触过。xv6仓库中有一个文件user/call.c。执行make fs.img编译它，并在user/call.asm中生成可读的汇编版本。

阅读call.asm中函数g、f和main的代码。RISC-V的使用手册在参考页上。以下是您应该回答的一些问题（将答案存储在answers-traps.txt文件中）：

2.提示

首先，执行 make fs.img 指令，进行编译。然后查看生成的 user/call.asm 文件，其中的 main 函数如下：

void main(void) {
  1c:	1141                	addi	sp,sp,-16
  1e:	e406                	sd	ra,8(sp)
  20:	e022                	sd	s0,0(sp)
  22:	0800                	addi	s0,sp,16
  printf("%d %d\n", f(8)+1, 13);
  24:	4635                	li	a2,13
  26:	45b1                	li	a1,12
  28:	00000517          	auipc	a0,0x0
  2c:	7b050513          	addi	a0,a0,1968 # 7d8 <malloc+0xea>
  30:	00000097          	auipc	ra,0x0
  34:	600080e7          	jalr	1536(ra) # 630 <printf>
  exit(0);
  38:	4501                	li	a0,0
  3a:	00000097          	auipc	ra,0x0
  3e:	27e080e7          	jalr	638(ra) # 2b8 <exit>

3.回答问题

问题一

Q1：哪些寄存器保存函数的参数？例如，在main对printf的调用中，哪个寄存器保存13？

在A0-A7中保存函数的参数。由main函数可知寄存器a2保存了13

问题二

main的汇编代码中对函数f的调用在哪里？对g的调用在哪里(提示：编译器可能会将函数内联）

其实是没有这样的代码。 g(x) 被内联到 f(x) 中，然后 f(x) 又被进一步内联到 main() 中。所以看到的不是函数跳转，而是优化后的内联函数。

问题三

printf函数位于哪个地址？

其实，直接在 user/call.asm 代码中一直找，就能找到 printf 函数的地址。

也可以通过计算得到，首先将当前程序计数器的值赋给 ra 寄存器。auipc ra, 0x0，是指将当前立即数向右移动12位，然后加上 pc 寄存器的值，赋给 ra 寄存器，由于立即数为 0，因此 ra 的值即为 pc 的值。当前指令在0x30处，因此 pc = 0x30。1536(ra) 是指 1536 加上 ra 寄存器的值，1536 转为16进制再加上0x30 即为 0x0000000000000630。刚好是 printf 的地址。

问题四

在main中printf的jalr之后的寄存器ra中有什么值？

jalr 指令会将 pc + 4 赋给当前寄存器，刚好是其下一条指令的地址。

问题五

运行下面的代码

unsigned int i = 0x00646c72;
printf("H%x Wo%s", 57616, &i);

输出是什么？ 如果 RISC-V 是大端序的，要实现同样的效果，需要将 i 设置为什么？需要将 57616 修改为别的值吗？

57616=0xE110，0x00646c72小端存储为72-6c-64-00，对照ASCII码表

72:r 6c:l 64:d 00:充当字符串结尾标识

因此输出为：HE110 World

若为大端存储，i应改为0x726c6400，不需改变57616

问题六

在下面的代码中，“y=”之后将打印什么(注：答案不是一个特定的值）？为什么会发生这种情况？

printf("x=%d y=%d", 3);

原本需要两个参数，却只传入了一个，因此y=后面打印的结果取决于之前a2中保存的数据

二、 Backtrace

1.实验要求

回溯(Backtrace)通常对于调试很有用：它是一个存放于栈上用于指示错误发生位置的函数调用列表。

在kernel/printf.c中实现名为backtrace()的函数。在sys_sleep中插入一个对此函数的调用，然后运行bttest，它将会调用sys_sleep。你的输出应该如下所示：

backtrace:
0x0000000080002cda
0x0000000080002bb6
0x0000000080002898

在bttest退出qemu后。在你的终端：地址或许会稍有不同，但如果你运行addr2line -e kernel/kernel（或riscv64-unknown-elf-addr2line -e kernel/kernel），并将上面的地址剪切粘贴如下：

$ addr2line -e kernel/kernel
0x0000000080002de2
0x0000000080002f4a
0x0000000080002bfc
Ctrl-D

你应该看到类似下面的输出：

kernel/sysproc.c:74
kernel/syscall.c:224
kernel/trap.c:85

编译器向每一个栈帧中放置一个帧指针（frame pointer）保存调用者帧指针的地址。你的backtrace应当使用这些帧指针来遍历栈，并在每个栈帧中打印保存的返回地址。

2.提示

  • 在kernel/defs.h中添加backtrace的原型，那样你就能在sys_sleep中引用backtrace

  • GCC编译器将当前正在执行的函数的帧指针保存在s0寄存器，将下面的函数添加到kernel/riscv.h

static inline uint64
r_fp()
{
  uint64 x;
  asm volatile("mv %0, s0" : "=r" (x) );
  return x;
}

 并在backtrace中调用此函数来读取当前的帧指针。这个函数使用内联汇编来读取s0

  • 这个课堂笔记中有张栈帧布局图。注意返回地址位于栈帧帧指针的固定偏移(-8)位置，并且保存的帧指针位于帧指针的固定偏移(-16)位置

  • XV6在内核中以页面对齐的地址为每个栈分配一个页面。你可以通过PGROUNDDOWN(fp)和PGROUNDUP(fp)（参见kernel/riscv.h）来计算栈页面的顶部和底部地址。这些数字对于backtrace终止循环是有帮助的。

一旦你的backtrace能够运行，就在kernel/printf.c的panic中调用它，那样你就可以在panic发生时看到内核的backtrace。

3.具体实现

(1)首先在，kernel/defs.h添加backtrace的声明

(2)由于我们需要先获取到当前函数的栈帧 fp 的值，该值存放在 s0 寄存器中，因此需要写一个能够读取 s0 寄存器值得函数。按照实验指导书给的方法，在 kernel/riscv.h 添加读取 s0 寄存器的函数：

(3)这个函数就是实现曾经调用函数地址的回溯，这个功能在日常的编程中也经常见到，编译器报错时就是类似的逻辑，只不过题目的要求较为简单，只用打印程序地址，而实际的报错中往往打印程序文件名，函数名以及行号等信息（最后的可选练习就是实现这样的功能）。

根据提示：返回地址位于栈帧帧指针的固定偏移(-8)位置，并且保存的帧指针位于帧指针的固定偏移(-16)位置。先使用r_fp()读取当前的帧指针，然后读出返回地址并打印，再将fp定位到前一个帧指针的位置继续读取即可。

根据提示：XV6在内核中以页面对齐的地址为每个栈分配一个页面。使用PGROUNDUP(fp) - PGROUNDDOWN(fp) == PGSIZE判断当前的fp是否被分配了一个页面来终止循环。

（4）在 kernel/printf.c 文件中的 panic 函数里添加 backtrace 的函数调用；在 sys_sleep 代码中也添加同样的函数调用。

4测试结果

在xv6代码库中执行make qemu，xv6中执行bttest，bttest调用sleep(system call)。依次调用trap.c、syscall.c、sysproc.c。

三、Alarm

 1.实验要求

在这个练习中你将向XV6添加一个特性，在进程使用CPU的时间内，XV6定期向进程发出警报。这对于那些希望限制CPU时间消耗的受计算限制的进程，或者对于那些计算的同时执行某些周期性操作的进程可能很有用。更普遍的来说，你将实现用户级中断/故障处理程序的一种初级形式。例如，你可以在应用程序中使用类似的一些东西处理页面故障。如果你的解决方案通过了alarmtest和usertests就是正确的。

你应当添加一个新的sigalarm(interval, handler)系统调用，如果一个程序调用了sigalarm(n, fn)，那么每当程序消耗了CPU时间达到n个“滴答”，内核应当使应用程序函数fn被调用。当fn返回时，应用应当在它离开的地方恢复执行。在XV6中，一个滴答是一段相当任意的时间单元，取决于硬件计时器生成中断的频率。如果一个程序调用了sigalarm(0, 0)，系统应当停止生成周期性的报警调用。

你将在XV6的存储库中找到名为user/alarmtest.c的文件。将其添加到Makefile。注意：你必须添加了sigalarm和sigreturn系统调用后才能正确编译（往下看）。

alarmtest在test0中调用了sigalarm(2, periodic)来要求内核每隔两个滴答强制调用periodic()，然后旋转一段时间。你可以在user/alarmtest.asm中看到alarmtest的汇编代码，这或许会便于调试。当alarmtest产生如下输出并且usertests也能正常运行时，你的方案就是正确的：

$ alarmtest
test0 start
........alarm!
test0 passed
test1 start
...alarm!
..alarm!
...alarm!
..alarm!
...alarm!
..alarm!
...alarm!
..alarm!
...alarm!
..alarm!
test1 passed
test2 start
................alarm!
test2 passed
$ usertests
...
ALL TESTS PASSED
$

​ 当你完成后，你的方案也许仅有几行代码，但如何正确运行是一个棘手的问题。我们将使用原始存储库中的alarmtest.c版本测试您的代码。你可以修改alarmtest.c来帮助调试，但是要确保原来的alarmtest显示所有的测试都通过了。

2.提示

这项练习要实现定期的警报。首先是要通过test0，如何调用处理程序是主要的问题。程序计数器的过程是这样的：

  1. ecall指令中将PC保存到SEPC
  2. 在usertrap中将SEPC保存到p->trapframe->epc
  3. p->trapframe->epc加4指向下一条指令
  4. 执行系统调用
  5. 在usertrapret中将SEPC改写为p->trapframe->epc中的值
  6. 在sret中将PC设置为SEPC的值

可见执行系统调用后返回到用户空间继续执行的指令地址是由p->trapframe->epc决定的，因此在usertrap中主要就是完成它的设置工作。

3.具体实现

(1)在 user/user.h 中添加声明：

（2）在 user/usys.pl 添加 entry，用于生成汇编代码：

(3)在 kernel/syscall.h 中添加函数调用码：

(4)在 kernel/syscall.c 添加函数调用代码：

(5)在Makefile增加

(6)在kernel/proc.h中增加字段

(7)在kernel/sysproc.c

(8)同时记得在kernel/proc.c/allocproc中将它们初始化为0，并在freeproc中也设为0

(9)修改usertrap()

(4)测试结果

四、test1/test2(): resume interrupted code(恢复被中断的代码)

 1.实验要求

alarmtest打印“alarm!”后，很可能会在test0或test1中崩溃，或者alarmtest（最后）打印“test1 failed”，或者alarmtest未打印“test1 passed”就退出。要解决此问题，必须确保完成报警处理程序后返回到用户程序最初被计时器中断的指令执行。必须确保寄存器内容恢复到中断时的值，以便用户程序在报警后可以不受干扰地继续运行。最后，您应该在每次报警计数器关闭后“重新配置”它，以便周期性地调用处理程序。

作为一个起始点，我们为您做了一个设计决策：用户报警处理程序需要在完成后调用sigreturn系统调用。请查看alarmtest.c中的periodic作为示例。这意味着您可以将代码添加到usertrap和sys_sigreturn中，这两个代码协同工作，以使用户进程在处理完警报后正确恢复。

2.提示

  • 您的解决方案将要求您保存和恢复寄存器——您需要保存和恢复哪些寄存器才能正确恢复中断的代码？(提示：会有很多）

  • 当计时器关闭时，让usertrap在struct proc中保存足够的状态，以使sigreturn可以正确返回中断的用户代码。

  • 防止对处理程序的重复调用——如果处理程序还没有返回，内核就不应该再次调用它。test2测试这个。

  • 一旦通过test0、test1和test2，就运行usertests以确保没有破坏内核的任何其他部分。

3.具体实现

接下来要通过test1和test2，要解决的主要问题是寄存器保存恢复和防止重复执行的问题。考虑一下没有alarm时运行的大致过程

  1. 进入内核空间，保存用户寄存器到进程陷阱帧
  2. 陷阱处理过程
  3. 恢复用户寄存器，返回用户空间

而当添加了alarm后，变成了以下过程

  1. 进入内核空间，保存用户寄存器到进程陷阱帧
  2. 陷阱处理过程
  3. 恢复用户寄存器，返回用户空间，但此时返回的并不是进入陷阱时的程序地址，而是处理函数handler的地址，而handler可能会改变用户寄存器

因此我们要在usertrap中再次保存用户寄存器，当handler调用sigreturn时将其恢复，并且要防止在handler执行过程中重复调用，过程如下

（1）再在struct proc中新增两个字段

（2）在allocproc和freeproc中设定好相关分配，回收内存的代码

（3）更改kernel/trap.c/usertrap函数，保存进程陷阱帧p->trapframe到p->alarm_trapframe

(4)更改sys_sigreturn，恢复陷阱帧

4.测试结果

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1921367.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

检索 Postgres 不同版本功能差异的神器

检索 Postgres 不同版本功能差异的神器

官方 官方提供了 Feature Matrix https://www.postgresql.org/about/featurematrix pgPedia https://pgpedia.info/ 提供了更加丰富的内容 带搜索功能 不同版本下的 SQL 命令支持 系统表的支持 总结 横向对比其他数据库&#xff0c;官方的版本功能比对已经做的很不错了。pgP…
阅读更多...
配置Redis时yml的格式导致报错

配置Redis时yml的格式导致报错

报错如下 java.lang.IllegalStateException: Failed to load ApplicationContext at org.springframework.test.context.cache.DefaultCacheAwareContextLoaderDelegate.loadContext(DefaultCacheAwareContextLoaderDelegate.java:98) at org.springframework.test.context.su…
阅读更多...
这几个伦敦金交易常识性的知识 一定要知道

这几个伦敦金交易常识性的知识 一定要知道

常识是指在伦敦金交易中&#xff0c;获得大部分投资者一致公认的有用的的一些投资知识&#xff0c;掌握这些知识&#xff0c;对我们做伦敦金交易是很重要的。下面我们就来讨论三个伦敦金交易的常识。 支撑阻力位。在伦敦金交易中支撑阻力位的重要性不言而喻。这里需要说明的是&…
阅读更多...
YOLOv10: Real-Time End-to-End Object Detection

YOLOv10: Real-Time End-to-End Object Detection

双重标签分配 与一对一多分配不同&#xff0c;一对一匹配只为每个地面真相分配一个预测&#xff0c;避免了NMS后处理。然而&#xff0c;这导致了较弱的监督&#xff0c;导致次优的准确性和收敛速度。幸运的是&#xff0c;这种缺陷可以通过一对一多分配来弥补。为此&#xff0c…
阅读更多...
一起来学习孟德尔随机化临床医学SCI发表吧！！！

一起来学习孟德尔随机化临床医学SCI发表吧！！！

如今&#xff0c;临床科研工作者面对越来越重的科研压力&#xff0c;以及越来越高的 SCI 文章要求&#xff0c;如何才能在不 进实验室、不做基础科研的前提下&#xff0c;利用好各种公共数据资源快速发表 SCI 论著&#xff1f;这是一个困绕每一 个临床科研医生的话题。真正的随…
阅读更多...
Docker 使用基础（4）—存储卷

Docker 使用基础（4）—存储卷

&#x1f3ac;慕斯主页&#xff1a;修仙—别有洞天 ♈️今日夜电波&#xff1a;秒針を噛む—ずっと真夜中でいいのに。 0:34━━━━━━️&#x1f49f;──────── 4:20 &#x1f504; ◀️ ⏸ …
阅读更多...
【JavaScript 算法】广度优先搜索：层层推进的搜索策略

【JavaScript 算法】广度优先搜索：层层推进的搜索策略

&#x1f525; 个人主页&#xff1a;空白诗 文章目录 一、算法原理二、算法实现三、应用场景四、优化与扩展五、总结 广度优先搜索&#xff08;Breadth-First Search, BFS&#xff09;是一种用于遍历或搜索图或树数据结构的算法。该算法从起始节点开始&#xff0c;逐层向外扩展…
阅读更多...
delete删除new[]创建的数组会发生什么

delete删除new[]创建的数组会发生什么

这是国泰君安技术面出的题 先说结论 如果是删除原始的数据类型&#xff0c;并不会发生什么&#xff0c;也不会产生内存泄露。如果是删除自定义类型&#xff0c;比如说类和结构体&#xff0c;则只能删除第一个&#xff0c;后面的可能会内存泄露。 一、删除原始数据类型 举个…
阅读更多...
LeetCode 141.环形链表 C写法

LeetCode 141.环形链表 C写法

LeetCode 141.环形链表 C写法 思路&#x1f9d0;&#xff1a; ​ 利用快慢指针&#xff0c;快指针走两步&#xff0c;慢指针走一步&#xff0c;如果没有环&#xff0c;快指针走完就返回false&#xff0c;如果有环&#xff0c;那么快指针一定先进环&#xff0c;等慢指针进环以后…
阅读更多...
闯荡西游之路，续写经典传奇，大话西游图文架设教程

闯荡西游之路，续写经典传奇，大话西游图文架设教程

前言 这次给大家带来的是我精心准备了很久的&#xff0c;也是大家呼声很高的大话西游&#xff0c;云集西游版本&#xff0c;安卓苹果双端&#xff0c;非变态版本&#xff0c;包含天梯、星阵、八卦等玩法&#xff0c;游戏内置GM后台&#xff0c;快来体验一下吧~ 本文讲解大话西…
阅读更多...
公司网站搭建源码系统 带网站的源代码包以及搭建部署教程

公司网站搭建源码系统 带网站的源代码包以及搭建部署教程

系统概述 随着互联网的飞速发展&#xff0c;网站已成为企业对外展示、交流和服务的重要窗口。然而&#xff0c;对于非技术背景的企业而言&#xff0c;自行开发网站往往面临技术门槛高、成本高、周期长等难题。因此&#xff0c;我们推出了这款集成了先进技术和丰富功能的网站搭…
阅读更多...
一文详解DDL同步及其应用场景

一文详解DDL同步及其应用场景

目录 一、什么是DDL&#xff1f; 二、什么是DDL同步&#xff1f; 三、DDL同步的痛点 1、缺少自动DDL同步机制 2、缺少DDL变更监测预警 四、解决方案 五、应用场景及案例 案例一 案例二 案例三 在现代数据管理中&#xff0c;数据库的结构变更频繁且不可避免&#xff0c;特别是在…
阅读更多...
风光摄影：相机设置和镜头选择

风光摄影：相机设置和镜头选择

写在前面 博文内容为《斯科特凯尔比的风光摄影手册》读书笔记整理涉及在风景拍摄中一些相机设置&#xff0c;镜头选择的建议对小白来讲很实用&#xff0c;避免拍摄一些过曝或者过暗的风景照片理解不足小伙伴帮忙指正 &#x1f603;,生活加油 99%的焦虑都来自于虚度时间和没有好…
阅读更多...
秋招在线测评，性格和岗位是如何匹配的？

秋招在线测评，性格和岗位是如何匹配的？

又是一年的秋招季&#xff0c;应届毕业生都会面临一个问题&#xff0c;如何将性格和岗位相互匹配&#xff0c;以找到最合适的自己的岗位呢&#xff1f; 事实上绝大部分人并没有找准最适合的岗位..... 对于应届毕业生来说&#xff0c;通常都是想着先拿下offer&#xff0c;至于是…
阅读更多...
frameworks 之Zygote

frameworks 之Zygote

frameworks 之Zygote Zygote.rc 解析Zygote 启动ZygoteInit.javaZygote.cppLiunx fork Zygote 中文意思为受精卵。 和其意思一样&#xff0c;该功能负责android系统孵化service 和 app 进程。 本文讲解Zygote的大概流程。涉及的相同的类&#xff0c;如下所示 system/core/rootd…
阅读更多...
centos9+mysql8.0下mycat1.6部署

centos9+mysql8.0下mycat1.6部署

#创作灵感# 整理一下mysql代理技术&#xff0c;这个当时是和mysql集群部署一个项目的&#xff0c;一并整理出来供参考。 1、环境准备 此处使用的为M-M-SS双主双从结构集群&#xff0c;集群部署方法放在我的上一篇文章中 防火墙可以使用firewall-cmd放行&#xff0c;演示环境…
阅读更多...
Nature Communications|柔性高密度、高灵敏应变传感器阵列（柔性应变传感/界面调控/电子皮肤/柔性电子）

Nature Communications|柔性高密度、高灵敏应变传感器阵列（柔性应变传感/界面调控/电子皮肤/柔性电子）

复旦大学武利民（ Limin Wu）和李卓（ Zhuo Li）团队，在《Nature Communications》上发布了一篇题为“High-density, highly sensitive sensor array of spiky carbon nanospheres for strain field mapping”的论文。论文内容如下： 一、 摘要 在工程应用中，准确地映射应变…
阅读更多...
SQL 删除emp_no重复的记录，只保留最小的id对应的记录。

SQL 删除emp_no重复的记录，只保留最小的id对应的记录。

系列文章目录 文章目录 系列文章目录前言 前言 前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到网站&#xff0c;这篇文章男女通用&#xff0c;看懂了就去分享给你的码吧。 描述 删除emp_no重…
阅读更多...
CDGA|数据治理：标准化处理与确保数据可溯源性

CDGA|数据治理：标准化处理与确保数据可溯源性

在当今信息爆炸的时代&#xff0c;数据已成为企业决策、科学研究和政府管理的核心要素。然而&#xff0c;随着数据量的不断增加和来源的多样化&#xff0c;数据治理成为了一个亟待解决的问题。特别是在处理复杂数据时&#xff0c;标准化处理和确保数据的可溯源性显得尤为重要。…
阅读更多...
etcd 实现分布式锁

etcd 实现分布式锁

10 基于 Etcd 的分布式锁实现原理及方案
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023