一、实验目的

在前面的PA123中,我们分别实现了基本的运算单元,实现了各种指令和程序的装载,实现了存储器的层次结构。而在PA4中,为了让NEMU可以处理异常情况以及和外设交互,我们要做的事情有以下:

  • PA4-1:为NEMU添加异常和中断支持
  • PA4-2:为NEMU添加外设与IO支持

二、实验步骤

PA4-1 异常和中断响应

我们上课时了解到,打断系统运行的特殊事件有两样:异常和中断。它们俩的分类如下:

  • 内部异常:在执行一条指令时,由处理器在其内部检测到的,与正在执行的指令相关的同步事件

    • 故障:缺页、非法操作码、除数为零……
    • 陷阱:用户程序主动调用操作系统处理例程
    • 终止:执行指令时发生严重错误,如内存校验错误
  • 外部中断:典型地由I/O设备触发,与当前正在执行的指令无关的异步事件

那么我们操作系统是怎样响应它们的呢?

  1. OS需要先初始化中断描述符表IDT

    在NEMU中就是kernel在init_cond()函数中调用了位于kernel/src/irq/idt.cinit_idt(),这个函数中将IDT初始化如下:

    vec的那一列就是定义的一系列异常和中断响应程序及其入口,实现位于kernel/src/irq/do_irq.S

  2. 然后进程执行过程中CPU检测到异常或中断后,立刻保护当前程序执行状态

  3. 再根据异常和中断号去查表得到处理程序的入口地址,转到OS提供的异常/中断处理程序继续执行

  4. 处理完后恢复现场,返回原程序继续

好,现在让我们来看看NEMU是怎么具体实现对中断和异常的处理的:

首先,无论是中断还是异常的处理,第一阶段都是保护程序状态。这个操作由NEMU模拟的硬件实现,依次将EFLAGS, CS, EIP寄存器的值压栈。然后我们可以分开两种响应处理:

对中断的处理

因为中断是属于一个外部信号,我们无法预测它会在啥时候到来,所以采用的方法就是让cpu执行指令的过程中保持对外部中断信号的检测。在nemu/src/cpu/cpu.c/exec()中有一个do_intr()函数,cpu每执行完一条指令,都会调用这个函数来检查是否有外部中断的到来。

#ifdef IA32_INTR
void do_intr()
{
if (cpu.intr && cpu.eflags.IF)
{
// get interrupt number
uint8_t intr_no = i8259_query_intr_no();
assert(intr_no != I8259_NO_INTR);
// tell the PIC interrupt info received
i8259_ack_intr();
// raise interrupt
raise_intr(intr_no);
}
}
#endif

对异常的处理

我们在这里主要处理的异常为trap自陷)。自陷操作是可控的,是我们自己发出的一系列指令,在后面进行系统调用方面会大有用途。 我们先来看看trap的样例文件:

#include "trap.h"

const char str[] = "Hello, world!\n";

int main()
{
asm volatile( "movl $4, %eax;"
"movl $1, %ebx;"
"movl $str, %ecx;"
"movl $14, %edx;"
"int $0x80");
HIT_GOOD_TRAP;
return 0;
}

在这里面,int $0x80就是向CPU发出trap信号的指令。它在NEMU中会调用这个函数:

void raise_sw_intr(uint8_t intr_no)
{
// return address is the
// next instruction
cpu.eip += 2;
raise_intr(intr_no);
}

可以看出,我们两种响应最后都是要调用raise_intr()函数。这个函数的实现也是我们PA4-1的关键,我们需要在这个函数里完成:

  • 根据异常或中断号intr_no查询IDT,这个intr_no分别由用户和i8259中断控制器提供。

  • 查询得到处理程序的入口地址。中断门和陷阱门的门描述符结构如下,不同之处在TYPE字段。

  • 清除IF位如果当前信号位中断信号;

  • 将EIP设置为查询得到的处理程序入口。

接下来就靠处理程序操作,然后通过iret指令返回程序断点处就可以了。

所以,我们在PA4-1做了:

  • include/config.h定义宏 #define IA32_INTR并且make clean;
  • 参照i386手册在nemu/include/cpu/reg.h中定义IDTR结构体,并在 CPU_STATE中添加idtr寄存器和中断引脚(框架代码已经提供)
  • 实现了包括lidtclistiintpushapopairet等指令

PA4-2 外设与IO

在这一章,我们需要完成NEMU与外界的交互,让NEMU可以正常进行输入与输出。

我们先来看看NEMU中CPU完成与外设通信的几种方式:

  • 方式1:端口映射I/O(port-mapped I/O)

    • 串口(Serial)、键盘(Keyboard)、硬盘(IDE)
  • 方式2:内存映射I/O (Memory Mapped I/O, mmio)
    • 显卡(VGA)
  • 其它只需要理解:
    • 声卡(Audio)实验性质
    • 时钟(Timer)只产生时钟中断

可以将CPU和外设的交互简要概括为:

将外设的数据、状态、控制寄存器称为I/O端口;对端口进行编号;CPU使用in与out指令同端口间通过按编号“打电话”的方式通信。

设备制造商和OS可以约定占用的端口数和端口参数的设置,并且为OS提供相应的驱动程序。OS安装了相应的驱动后,驱动程序熟知这些约定,便可通过in和out指令完成对设备的控制和数据读写(直接控制法)。

我们在PA4-2里完成了对串口、硬盘、键盘的端口映射模拟,完成了对显卡的内存映射模拟。

三、思考题

本章没有明确的思考题,有几个要点:

PA4-1.跳转前决定是否允许中断嵌套?

  • 当处理外部中断时,清除EFLAGS寄存器中的IF位,实现关中断,不允许嵌套

  • 当处理内部异常时,不清除EFLAGS寄存器中的IF位,不关闭中断,允许嵌套

PA4-1.在函数irq_handle中,结合kernel/src/irq/do_irq.S,理解tf怎么传进来的?tf里面有什么?

我们可以观察到,tfTrapFrame结构的一个指针,我们在上面将程序状态压栈以及进行int $0x80前对寄存器压栈时就是按照这个结构的顺序来压栈的;而在call irq_handle前,我们有一个这样的操作:

而这个时候esp的值就是tf的首地址,我们结合TrapFrame的结构来看:

可以明显看出只要有了首地址,后面的元素就可以通过指针直接访问。

NEMU PA 4 实验报告的更多相关文章

  1. ucoreOS_lab3 实验报告

    所有的实验报告将会在 Github 同步更新,更多内容请移步至Github:https://github.com/AngelKitty/review_the_national_post-graduat ...

  2. ucoreOS_lab2 实验报告

    所有的实验报告将会在 Github 同步更新,更多内容请移步至Github:https://github.com/AngelKitty/review_the_national_post-graduat ...

  3. JAVA实验报告及第七周总结

    JAVA第六周作业 实验报告五 第一题 1.设计一个类层次,定义一个抽象类--形状,其中包括有求形状的面积的抽象方法. 继承该抽象类定义三角型.矩形.圆. 分别创建一个三角形.矩形.圆存对象,将各类图 ...

  4. 第五次java实验报告

    Java实验报告 班级 计科二班 学号 20188437 姓名 何磊 完成时间2019/10/10 评分等级 实验四 类的继承 实验目的 理解抽象类与接口的使用: 了解包的作用,掌握包的设计方法. 实 ...

  5. 第七周总结&第五次实验报告

    学习总结 这周我们加深了对抽象类与接口的学习,获得的知识点也比上周多了许多,抽象类与接口很相似,就比如别人还没有做完的是交给你来做,而他那些样式都做好了,你只需要完善即可 但也有不同点. 区别点 抽象 ...

  6. 第七周课程总结 & 实验报告(五)

    第七周课程总结 一.抽象类与接口的应用 1.实例化 2.实际应用 ---模板设计(抽象类) ---制定标准(接口) 3.设计模式 ---工厂设计 ---代理设计 ---适配器设计 二.抽象类与接口之间 ...

  7. 第七周&实验报告五

    实验四 类的继承 •实验目的 •理解抽象类与接口的使用: •了解包的作用,掌握包的设计方法. •实验要求 •掌握使用抽象类的方法. •掌握使用系统接口的技术和创建自定义接口的方法. •了解 Java ...

  8. 2019JAVA第五次实验报告

    Java实验报告 班级 计科二班 学号 20188442 姓名 吴怡君 完成时间2019/10/11 评分等级 实验四 类的继承 实验目的 理解抽象类与接口的使用: 了解包的作用,掌握包的设计方法. ...

  9. 实验报告5&第七周课程总结

    实验四 类的继承 实验目的 理解抽象类与接口的使用: 了解包的作用,掌握包的设计方法. 实验要求 掌握使用抽象类的方法. 掌握使用系统接口的技术和创建自定义接口的方法. 了解 Java 系统包的结构. ...

  10. 北京电子科技学院(BESTI)实验报告5

    北京电子科技学院(BESTI)实验报告5 课程: 信息安全系统设计基础 班级:1452.1453 姓名:(按贡献大小排名) 郑凯杰.周恩德 学号:(按贡献大小排名) 20145314.20145217 ...

随机推荐

  1. Linux-目录-cd-mdkir-rm-ls-pwd

  2. [转帖]TLS 加速技术:Intel QuickAssist Technology(QAT)解决方案

    https://zhuanlan.zhihu.com/p/631184323   3 人赞同了该文章 作者:vivo 互联网服务器团队- Ye Feng 本文介绍了 Intel QAT 技术方案,通过 ...

  3. [转帖]总结:Tomcat的IO模型

    一.介绍 对于 linux 操作系统,IO 多路复用使用的是 epoll 方式,对于 windows 操作系统中 IO 多路复用使用的是 iocp 方式,对于 mac 操作系统 IO 多路复用使用的是 ...

  4. java 调优需要关闭的组建

  5. vim 复制代码的方法

    之前vim 复制代码 总是格式变错乱了 尤其是yaml文件 有的还带注释 非常痛苦 今天早上查了下 原来处理的方式非常简单  增加一个参数就可以了 方法为 1. vim 打开一个文件 2.输入 :se ...

  6. Linux平台下面部署node npm 等工具软件

    公司这边用到了运行时定制, 用的是angular 开发的. 所以需要在linux 里面安装 angular的相关工具. 需要在服务器上面有angular nodejs 还有jit的工具 然后 运行时定 ...

  7. 【字符串,哈希】【Yandex】Yandex7736

    2023.6.30 Problem Link 定义一个串 \(S\) 是好的,当且仅当 \(S\) 可以不断消去相邻两个相同字符直至消空.给定一个长为 \(n\) 的字符串 \(s\),求有多少个有序 ...

  8. Spring Boot 统一RESTful接口响应和统一异常处理

    一.简介 基于Spring Boot 框架开发的应用程序,大部分都是以提供RESTful接口为主要的目的.前端或者移动端开发人员通过调用后端提供的RESTful接口完成数据的交换. 统一的RESTfu ...

  9. echarts给每个柱状图配置不同的颜色

    <!DOCTYPE html> <html> <head> <meta charset="utf-8"> <title> ...

  10. vim 从嫌弃到依赖(18)——查找模式进阶

    上一篇文章中,我们初步结识了如何使用查找模式,也能够通过n和 N进行查找.这篇将会介绍搜索中更高级的用法.另外在写上一篇文章的时候我发现介绍查找相关内容的时候不能用动图来演示,主要是因为输入的内容太多 ...