当前位置: 首页 > news >正文

MIT 6.S081学习笔记

计划花25天时间学完6.S081课程,从2月20日-3月20日。

  课程主页Link
  xv6 book
  GDB User Manual

Lecture 1: Introduction and Examples

  课程主题:设计和实现操作系统
  OS的三大功能:多路复用、隔离和交互。

Lab: Xv6 and Unix utilities

Boot xv6
  根据指令操作

sleep
  使用system call实现。

pingpong
  使用pipe实现。

primes
  使用pipe+递归实现。

find
  使用递归实现。

xargs
  xargs没有成功完成,对C语言的特性和pipe、exec等命令了解得太少了。
  这里要吐槽一下,第一个lab难度有点大,差点把人给整劝退了:(

Lecture 2: C and gdb

  在qemu中使用gdb调试程序,参考Fall2020/6.S081 实验笔记(〇) Lab0: Preparation2

Lecture 3: OS Organization and System Calls

Lab: system calls

System call tracing
  难点在于从用户态向内核态转换时,需要将trace后的参数存入寄存器,并修改其他系统调用函数使其输出相关信息,不过也挺有意思的,增加了对xv6的理解。思路如下:
  1.修改proc.h中proc结构,新增trace_num和trace_flag变量;
  2.在sysproc.c中新增sys_trace函数;
  3.修改fork;
  4.修改syscall;

Sysinfo
  难点在于copyout的使用,差点把qemu整崩溃了。
  在调试过程中出现了panic: acquire的错误,原因在于统一UNUSED进程时没有释放对应进程的锁导致出错;出现了FAIL: sysinfo succeeded with bad argument错误,问题在于没有对copyout错误的情况作出处理。

Lecture 4: Page Tables

PPN:Physical Page Number
PTE:Page Table Entry
三级页表是由CPU中的硬件部分MMU实现的

Lecture 5: RISC-V Calling Convention and Stack Frames

gdb常用命令演示,stack结构,stack frame——函数调用所产生的信息;

C中struct有各种不同的字段,这些字段在内存中依次存储,类似于数组,不过元素的类型可能有所不同;

Lab pgtbl: Page tables

Speed up system calls
  在内存中使用一个新的page来存储用户进程的进程号,并设置用户态进程只能read该page,这样用户态进程在获取进程号的时候不用切换到内核态,实现了系统调用的加速。

Print a page table
  根据标志位的不同来判断当前页表是否为第三级页表。

Detecting which pages have been accessed
  debug程序的两种方式,第一种使用printf输出关键参数,第二种使用gdb进行调试,但目前gdb用得还不太熟练。
  debugtui enable指令,开启Text User Interface;

Lecture 6: Isolation & System Call Entry/Exit

Trap code:即使从用户态进入内核态后,也不能向任意地址write/read数据,得根据page table来。

附录——XV6源码中各个函数的作用

  1.为给定的进程创建user page table并返回页表基地址 kenel/proc.c/proc_pagetale;

  2.在给定的页表上映射一对虚拟地址和物理地址 kenel/vm.c/mappages;

  3.当alloc参数为0时,kenel/vm.c/walk返回的是第三级page table上对应的PTE;

  4.kenel/vm.c/uvmunmap,当do_free为0时,将第三级page table上对应的PTE设置为invalid,即取消虚拟地址和物理地址的映射关系;do_free为1,在取消映射关系的同时还需要把对应的物理内存free;

  5.kenel/vm.c/uvmfree,将用户页表上的所有映射清除,并free对应的物理内存;并free第一、二级page table;

  6.kernel/vm.c/mappages,在pagetable中建立所提供虚拟地址va和物理地址pa之间的映射;

  7.kernel/vm.c/freewalk,递归的将所有页表free,默认第三级页表的映射关系已经解除(从这个函数可以看出前两级页表PTE和第三级PTE不同的是,前两级中flag只用valid有效,其他标志位均为0?)。

附录——寄存器

satp——每个CPU都有一个,用来存储页表根地址。

附录——一些疑问

  1.Lab pgtbl中新增page为什么不直接在page table中添加,而是像TRAMPOLINE那样呢?

  2.TRAMPOLINE page的作用是什么?为什么每个新建的进程都有该page?
  A:trampoline page前半部分汇编代码负责进入trap之前保存相应寄存器,加载内核page;后半部分汇编代码负责恢复之前保存的寄存器,返回用户空间,恢复用户指令流的执行。当使用ecall指令从用户态转换到内核态的时候,ecall并不会切换page table,也就是说现在使用的仍然是用户页表,所以需要将trampoline和trapframe页映射到每个用户进程上。实际上,ecall只完成以下三个任务:
    1.将模式从用户态切换到内核态;
    2.将pc的值保存至sepc寄存器;
    3.跳转到stvec指向的地址,即trampoline开始的地方。

  3.同上,trapframe page?
  Q:相当于容器,用于在trap发生时保存用户的寄存器和内核对应的信息,内核页表、栈等。

  4.将一个虚拟地址转换为物理地址的过程,为什么是先右移10位再左移12位?为什么不左移10位?

  5.lab pgtb中提到检测哪些page被访问了,可以用于垃圾回收机制,具体是怎样实现的呢?这里的问题在于,当read/write某个page后,PTE中对应的flag被永远的设置为1,怎么用于垃圾回收呢?



To be a sailor of the world bound for all ports.
http://www.lryc.cn/news/21939.html

相关文章:

  • 《网络安全入门到精通》 - 2.1 - Windows基础 - DOS命令Windows防火墙Windows共享文件
  • 八、Vben框架动态生成可编辑Table
  • 浅谈ERP数据的重要性
  • 【RabbitMQ笔记06】消息队列RabbitMQ七种模式之Topics主题模式
  • ChatGPT似乎有的时候并不能搞懂Java的动态分派,你懂了吗?
  • 【C++初阶】vector的模拟实现
  • 微信小程序、小游戏的流量主一般可以赚多少钱?
  • jni-Demo-基于linux(c++ java)
  • 指针的进阶——(1)
  • 电商平台的促销活动如何抵御大流量的ddos攻击
  • 代码随想录-48-104. 二叉树的最大深度
  • 【Vue3源码】第六章 computed的实现
  • Java基础之注解
  • 三、线性表
  • C++统计方形
  • Tina_Linux配网开发指南
  • 高频面试题|RabbitMQ如何防止消息的重复消费?
  • 黑盒测试用例设计方法-边界值分析法
  • 项目风险管理中不可忽视的5个关键点
  • Linux->进程地址空间
  • 【奶奶看了也不会】AI绘画 Mac安装stable-diffusion-webui绘制AI妹子保姆级教程
  • 基于stm32电梯管理系统设计
  • Spring中的FactoryBean 和 BeanFactory、BeanPostProcessor 和BeanFactoryPostProcessor解析
  • 【C++从入门到放弃】类和对象(上)
  • 什么牌子的蓝牙耳机便宜好用?四款高品质蓝牙耳机推荐
  • eddsa 算法
  • Xcode Developer Document 开发者文档
  • IntelliJ插件开发教程之新建项目
  • 解决SpringBoot中@RequestBody不能和Multipart同时传递的问题
  • 【华为OD机试模拟题】用 C++ 实现 - 统计匹配的二元组个数(2023.Q1)