【MIT6.S081】Lab4: traps(详细解答版)

news2024/11/13 10:46:40

实验内容网址：https://xv6.dgs.zone/labs/requirements/lab4.html
本实验的代码分支：https://gitee.com/dragonlalala/xv6-labs-2020/tree/traps2/

Backtrace

关键点:trapframe、栈

思路：

这道题的关键是栈结构，先阅读xv6中关于栈的知识（https://mit-public-courses-cn-translatio.gitbook.io/mit6-s081/lec05-calling-conventions-and-stack-frames-risc-v/5.5-stack）。
[图片]

阅读链接的资料，我们可以知道，

  1. 每调用一个函数，函数都会为自己创建一个Stack Frame。
  2. 栈是从高地址开始向低地址使用。所以栈总是向下增长。
  3. Return address总是会出现在Stack Frame的第一位，指向前一个Stack Frame的指针也会出现在栈中的固定位置
  4. 第一个寄存器是SP（Stack Pointer），它指向Stack的底部并代表了当前Stack Frame的位置。第二个寄存器是FP（Frame Pointer），它指向当前Stack Frame的顶部。FP-8位是返回地址，FP-16位是上一个stack frame的fp地址。
  5. 保存前一个Stack Frame的指针的原因是为了让我们能跳转回去。
    XV6在内核中以页面对齐的地址为每个栈分配一个页面。你可以通过PGROUNDDOWN(fp)和PGROUNDUP(fp)（参见kernel/riscv.h）来计算栈页面的顶部和底部地址。

步骤&代码：

  1. 将下面的函数添加到kernel/riscv.h
static inline uint64
r_fp()
{
  uint64 x;
  asm volatile("mv %0, s0" : "=r" (x) );
  return x;
}
  1. 在kernel/defs.h中添加backtrace的原型，在printf.c中定义backtrace函数。
void       
backtrace(void){
  // 读取当前Frame Pointer
  uint64 fp = r_fp();
  while(PGROUNDUP(fp) - PGROUNDDOWN(fp) == PGSIZE){
    // 返回地址保存在-8偏移的位置
    uint64 ret_addr = *(uint64*)(fp-8);
    printf("%p\n",ret_addr);
    // 前一个帧指针保存在-16偏移的位置
    fp = *(uint64*)(fp-16);
  }
}
  1. 在sys_sleep中添加对backtrace函数的调用。
uint64
sys_sleep(void)
{
  int n;
  uint ticks0;

  if(argint(0, &n) < 0)
    return -1;
  acquire(&tickslock);
  ticks0 = ticks;
  while(ticks - ticks0 < n){
    if(myproc()->killed){
      release(&tickslock);
      return -1;
    }
    sleep(&ticks, &tickslock);
  }
  release(&tickslock);
  backtrace();// 新添加
  return 0;
}

未解：

这里说的stack是存放在用户页表中的吗

Alarm

关键点：从用户空间陷入陷阱、epc寄存器、trapframe

思路：（参考自https://xv6.dgs.zone/labs/answers/lab4.html）

这项练习要实现定期的警报。首先是要通过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中主要就是完成它的设置工作。
    接下来要通过test1和test2，要解决的主要问题是寄存器保存恢复和防止重复执行的问题。考虑一下没有alarm时运行的大致过程
  7. 进入内核空间，保存用户寄存器到进程陷阱帧
  8. 陷阱处理过程
  9. 恢复用户寄存器，返回用户空间
    而当添加了alarm后，变成了以下过程
  10. 进入内核空间，保存用户寄存器到进程陷阱帧
  11. 陷阱处理过程
  12. 恢复用户寄存器，返回用户空间，但此时返回的并不是进入陷阱时的程序地址，而是处理函数handler的地址，而handler可能会改变用户寄存器
    因此我们要在usertrap中再次保存用户寄存器，当handler调用sigreturn时将其恢复，并且要防止在handler执行过程中重复调用。
    步骤&代码：
    根据题目的提示进行编程
  13. 需要修改Makefile以使alarmtest.c被编译为xv6用户程序。
UPROGS=\
...
    $U/_zombie\
    $U/_alarmtest\
  1. 在user/user.h中放入函数声明：
int sigalarm(int ticks, void (*handler)());
int sigreturn(void);
  1. 更新user/usys.pl（此文件生成user/usys.S）、kernel/syscall.h和kernel/syscall.c以允许alarmtest调用sigalarm和sigreturn系统调用。
# user/usys.pl文件中
...
entry("sleep");
entry("uptime");
entry("sigalarm");
entry("sigreturn");

// syscall.h文件添加
#define SYS_sigalarm  22
#define SYS_sigreturn  23

// syscall.c文件中
... 
extern uint64 sys_uptime(void);
extern uint64 sys_sigalarm(void);// 新添加
extern uint64 sys_sigreturn(void);// 新添加



... 
[SYS_mkdir]   sys_mkdir,
[SYS_close]   sys_close,
[SYS_sigalarm]   sys_sigalarm,// 新添加
[SYS_sigreturn]   sys_sigreturn,// 新添加
...
  1. 在sysproc.c文件中添加函数
// 新添加
uint64 sys_sigalarm(void){

  return 0;
}
uint64 sys_sigreturn(void){

  return 0;
}
  1. 根据提示在struct proc 的定义中添加新字段，分别代表报警间隔，指向处理程序函数的指针，用于跟踪自上次调用到进程的报警处理程序间经历了多少滴答。
 int alarm_interval;           // 报警间隔
  void (*alarm_handle);           // 报警处理函数
  int last_tick_time;           // 上次报警的滴答时刻
  1. 初始化进程时初始化上面的三个新参数。
// 在allocproc函数中添加
  ...
  memset(&p->context, 0, sizeof(p->context));
  p->context.ra = (uint64)forkret;
  p->context.sp = p->kstack + PGSIZE;
  p->alarm_handle = 0;
  p->alarm_interval = 0;
  p->last_tick_time = 0;
  ...
  1. 根据提示，每一个滴答声，硬件时钟就会强制一个中断，这个中断在kernel/trap.c中的usertrap()中处理。因此在usertrap()中添加如下代码
// give up the CPU if this is a timer interrupt.
  if(which_dev == 2){
    // 获取当前的时钟数
    int xticks;
    acquire(&tickslock);
    xticks = ticks;
    release(&tickslock);
    if(xticks - p->last_tick_time >= p->alarm_interval && p->alarm_interval != 0 && p->alarm_handle != 0 ){
      // 调用处理函数
      p->trapframe->epc = (uint64)p->alarm_handle;
      // 更新上次的时钟
      p->last_tick_time = xticks;
    }
    yield();
  }

上面这个代码中获取时间的方式可能比较的弯弯绕绕。其实可以添加一个tick_count的字段，因为每次滴答中断都会进入这段代码，直接对这个变量进行累积即可。
8. 对sys_sigalarm函数进行编写，获得报警间隔和报警处理函数，并将值赋给新添加的字段

uint64 sys_sigalarm(void){
  int interval;
  uint64 handle;
  if(argint(0, &interval) < 0)
    return -1;
    
  if(argaddr(0, &handle) < 0)
    return -1;
  myproc()->alarm_interval = interval;
  myproc()->alarm_handle = (void *)handle;
  return 0;
}

上面8个步骤可以通过test0。但通不过test1 2，会出现panic。原因是执行完报警处理函数后返回用户空间，但此时返回的并不是进入陷阱时的程序地址，而是处理函数handler的地址，而handler可能会改变用户寄存器。必须确保完成报警处理程序后返回到用户程序最初被计时器中断的指令执行。必须确保寄存器内容恢复到中断时的值，以便用户程序在报警后可以不受干扰地继续运行。
8. 为了实现备份寄存器与防止对处理程序的重复调用，在struct proc定义中添加2个新字段。

 struct trapframe *trapframe_copy; // data page for trampoline.S copy
  int is_alarming;
  1. 初始化进程时对这两个字段进行初始化。在allocproc函数中添加如下代码:
 ...
  // Allocate a trapframe page.
  if((p->trapframe = (struct trapframe *)kalloc()) == 0){
    release(&p->lock);
    return 0;
  }
  // Allocate a trapframe page(copy).
  if((p->trapframe_copy = (struct trapframe *)kalloc()) == 0){
    release(&p->lock);
    return 0;
  }
  ...
  ...
  p->alarm_interval = 0;
  p->last_tick_time = 0;
  p->is_alarming = 0;
  ...
  1. 进程释放时也要对新增的trapframe进行释放，因为开辟了一页内存空间，需要释放，在freeproc函数中添加：
 if(p->trapframe)
    kfree((void*)p->trapframe);
  p->trapframe = 0;
  if(p->trapframe_copy)
    kfree((void*)p->trapframe_copy);
  p->trapframe_copy = 0;
  ...
  1. 在usertrap函数中，进入报警处理函数前，需要备份一下trapframe。修改usertrap函数代码
// give up the CPU if this is a timer interrupt.
  if(which_dev == 2){
    // 获取当前的时钟数
    int xticks;
    acquire(&tickslock);
    xticks = ticks;
    release(&tickslock);
    if(xticks - p->last_tick_time >= p->alarm_interval && p->alarm_interval != 0 && p->alarm_handle != 0 && p->is_alarming == 0){
      // 设置为正处于报警程序
      p->is_alarming = 1;
      // 备份trapframe
      memmove(p->trapframe_copy, p->trapframe, sizeof(struct trapframe)); 
      // 调用处理函数
      p->trapframe->epc = (uint64)p->alarm_handle;
      // 更新上次的时钟
      p->last_tick_time = xticks;
    }
    yield();
  }
  1. 补充sys_sigreturn函数，这个函数是由测试程序调用的。在执行完报警处理函数后执行。使得trapframe中寄存器的值恢复成报警前的状态。
uint64 sys_sigreturn(void){
  // 还原寄存器
  memmove(myproc()->trapframe, myproc()->trapframe_copy, sizeof(struct trapframe));
  myproc()->is_alarming = 0;
  return 0;
}

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

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

相关文章

SpringCloud技术—Docker详解、案例展示

SpringCloud技术—Docker详解、案例展示

简介&#xff1a;Docker 将应用程序与该程序的依赖&#xff0c;打包在一个文件里面。运行这个文件&#xff0c;就会生成一个虚拟容器。程序在这个虚拟容器里运行&#xff0c;就好像在真实的物理机上运行一样。有了Docker&#xff0c;就不用担心环境问题。 总体来说&#xff0c;…
阅读更多...
代码随想录刷题｜一刷总结

代码随想录刷题｜一刷总结

文章目录 一刷总结一、 成果汇报1、leetcode提交记录2、博客更新记录 二、 经验总结2.1.刷过的所有题型2.1.1、数组2.1.2、链表2.1.3、哈希表2.1.4、字符串2.1.5、栈与队列2.1.6、二叉树2.1.7、回溯2.1.8、贪心2.1.9、动态规划2.1.10、单调栈 2.2、做得好的2.3、做得不好的2.4、…
阅读更多...
行业模板｜DataEase批发零售大屏模板推荐

行业模板｜DataEase批发零售大屏模板推荐

DataEase开源数据可视化分析平台于2022年6月发布模板市场&#xff08;https://templates-de.fit2cloud.com&#xff09;&#xff0c;并于2024年1月新增适用于DataEase v2版本的模板分类。模板市场旨在为DataEase用户提供专业、美观、拿来即用的大屏模板&#xff0c;方便用户根据…
阅读更多...
AtCoder Beginner Contest 350 ----- F - Transpose ---- 题解

AtCoder Beginner Contest 350 ----- F - Transpose ---- 题解

F - Transpose: 题目描述&#xff1a; 思路解析&#xff1a; 如果有一对括号&#xff0c;那么删掉括号对&#xff0c;并且将括号对里的字符串翻转&#xff0c;在翻转过程中&#xff0c;使字符串的字母改变大小写。那我们可以通过预处理找到每个括号对。 例如 A(x(AXB)x)B …
阅读更多...
计算机网络——数据链路层（介质访问控制）

计算机网络——数据链路层（介质访问控制）

计算机网络——数据链路层&#xff08;介质访问控制&#xff09; 介质访问控制静态划分信道动态划分信道ALOHA协议纯ALOHA&#xff08;Pure ALOHA&#xff09;原理特点 分槽ALOHA&#xff08;Slotted ALOHA&#xff09;原理特点 CSMA协议工作流程特点 CSMA-CD 协议工作原理主要…
阅读更多...
快速开发部署平台Replit

快速开发部署平台Replit

Replit 是可以快速搭建开发、部署环境的平台。能够快速将原型进行部署&#xff0c;代码编辑器支持协同开发&#xff0c;他的在线编辑器做的不错&#xff0c;相当于云上提供了一个 vscode&#xff0c;代码实时更新。Replit 底层是基于容器技术的&#xff0c;可以安全的隔离多个用…
阅读更多...
最新Java面试题3【2024中级】

最新Java面试题3【2024中级】

互联网大厂面试题 1&#xff1a;阿里巴巴Java面试题 2&#xff1a;阿里云Java面试题-实习生岗 3&#xff1a;腾讯Java面试题-高级 4&#xff1a;字节跳动Java面试题 5&#xff1a;字节跳动Java面试题-大数据方向 6&#xff1a;百度Java面试题 7&#xff1a;蚂蚁金服Java…
阅读更多...
【数据结构2-线性表】

【数据结构2-线性表】

数据结构2-线性表 1 线性表-数组2 线性表-单链式结构2.1 前插顺序单链表2.2 后插顺序单链表2.3 循环单链表2.4 双向链表 总结 线性表、栈、队列、串和数组都属于线性结构。 线性结构的基本特点是除第一个元素无直接前驱&#xff0c;最后一个元素无直接后继之外&#xff0c;其他…
阅读更多...
Linux应用开发（8）：Linux进程间通信（IPC）：管道

Linux应用开发（8）：Linux进程间通信（IPC）：管道

Linux应用开发&#xff08;7&#xff09;&#xff1a;Linux进程间通信&#xff08;IPC&#xff09;&#xff1a;POSIX消息队列https://blog.csdn.net/tecsai/article/details/137879465 1. 简述 我们在前面已经介绍了进程间通信&#xff08;IPC&#xff09;常用的“消息队列”…
阅读更多...
[大模型]TransNormerLLM-7B FastApi 部署调用

[大模型]TransNormerLLM-7B FastApi 部署调用

TransNormerLLM-7B FastApi 部署调用 1. TransNormer 介绍 TransNormerLLM 是一个基于线性注意力的 LLM&#xff0c;在准确性和效率方面均优于传统的基于 softmax 注意力的模型。它是在包含多达1.4 万亿个令牌的高质量语料库上进行训练的&#xff0c;TransNormerLLM 从之前的…
阅读更多...
【Scientific American】【科学美国人杂志】2024年4月号：目录部分

【Scientific American】【科学美国人杂志】2024年4月号：目录部分

说明&#xff1a; 仅供学习、参考使用&#xff0c;请勿用于商业用途。 本期购于新加坡&#xff0c;封面图&#xff1a; Contents Special Report: What we’re learning from AI The Race to Decode an Ancient Scroll How scientists, students, gamers and Silicon Valle…
阅读更多...
在 Linux 中删除文件和文件夹

在 Linux 中删除文件和文件夹

目录 ⛳️推荐 前言 删除文件 &#x1f3cb;️练习文件删除 小心删除 删除目录 &#x1f3cb;️练习文件夹删除 测试你的知识 ⛳️推荐 前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到…
阅读更多...
setmapAVL树红黑树

setmapAVL树红黑树

目录 关联式容器树形结构的关联式容器setset的模板参数列表set的构造函数set的迭代器set的容量操作set其他操作 multisetmap键值对map的模板参数列表map的迭代器map中元素的修改map的容量与元素访问 multimap底层结构avl树avl树概念AVL树结点的定义AVL树的插入AVL树的旋转AVL树…
阅读更多...
（助力国赛）美赛O奖数学建模可视化！！！含代码3（误差限图、冰柱图、树图）

（助力国赛）美赛O奖数学建模可视化！！！含代码3（误差限图、冰柱图、树图）

众所周知&#xff0c;数学建模的过程中&#xff0c;将复杂的数据和模型结果通过可视化图形呈现出来&#xff0c;不仅能够帮助我们更深入地理解问题&#xff0c;还能够有效地向评委展示我们的研究成果。   今天&#xff0c;承接《可视化代码2》&#xff0c;作者将与大家分享《…
阅读更多...
我用ADAU1467加5个ADAU1772，做20进10出的音频处理板（一）：硬件设计思路和原理图

我用ADAU1467加5个ADAU1772，做20进10出的音频处理板（一）：硬件设计思路和原理图

作者的话 ADAU1467是现阶段ADI支持最多通道的ADAU音频DSP&#xff0c;他配合外部的AD/DA&#xff0c;可以实现最多32路音频通道&#xff0c;接了一个小项目&#xff0c;我拿它做了一块20进10出的板&#xff0c;10个MIC/LINE输入,10个LINE IN输入&#xff0c;10个HPOUT&#xf…
阅读更多...
Redis(二) 单线程架构

Redis(二) 单线程架构

redis 的单线程架构 我们都知道 redis 作为缓存&#xff0c;读取速度是非常快的&#xff0c;但是大家知道 redis 的线程架构是怎样的呢&#xff1f;也就是说&#xff0c;redis 是多线程架构还是单线程架构呢&#xff1f; 我们通过一个例子来了解&#xff1a; 首先在 redis 服…
阅读更多...
基于Web的宠物医院信息管理系统论文

基于Web的宠物医院信息管理系统论文

摘 要 现代经济快节奏发展以及不断完善升级的信息化技术&#xff0c;让传统数据信息的管理升级为软件存储&#xff0c;归纳&#xff0c;集中处理数据信息的管理方式。本宠物医院信息管理系统就是在这样的大环境下诞生&#xff0c;其可以帮助管理者在短时间内处理完毕庞大的数据…
阅读更多...
【C++】explicit关键字详解（explicit关键字是什么? 为什么需要explicit关键字? 如何使用explicit 关键字）

【C++】explicit关键字详解（explicit关键字是什么? 为什么需要explicit关键字? 如何使用explicit 关键字）

目录 一、前言 二、explicit关键字是什么&#xff1f; 三、构造函数还具有类型转换的作用 &#x1f34e;单参构造函数 ✨引出 explicit 关键字 &#x1f34d;多参构造函数 ✨为什么需要explicit关键字&#xff1f; ✨怎么使用explicit关键字&#xff1f; 四、总结 五…
阅读更多...
MariaDB InnoDB 空洞清理

MariaDB InnoDB 空洞清理

1、背景 数据库占用服务器内存越来越高&#xff0c;除了bin-log文件之外&#xff0c;还发现了一些带有text或者longtext数据类型字段的表&#xff0c;这种表也会占用很高的服务器磁盘空间 数据库版本&#xff1a; 表引擎&#xff1a; InnoDB 数据量&#xff1a;清理之前1500万…
阅读更多...
python安装的详细步骤

python安装的详细步骤

下载 1.打开Python官网.我们建议工具类的测试软件还是官网下载比较靠谱. https://www.python.org/getit/ 2.在下图界面中选择需要的方式进行点击 3.直接点击下载.可以进入保存界面,进行保存即可下载,后续安装 4.鼠标放在Downloads显示平台和版本选择界面,点击Windows,进入wi…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023