首页 > 其他分享 >Mit6.S081笔记:知识点记录

Mit6.S081笔记:知识点记录

时间:2024-11-11 10:41:26浏览次数:1  
标签:知识点 trapframe Mit6 a0 内核 寄存器 table S081 page

课程地址翻译

程序到汇编的转换

​ 任何一个处理器都有一个关联的ISA(Instruction Sets Architecture,指令集架构),ISA就是处理器能够理解的指令集。每一条指令都有一个对应的二进制编码或者一个Opcode。当处理器在运行时,如果看见了这些编码,那么处理器就知道该做什么样的操作。

​ 写好的C程序需要被编译成汇编语言,汇编语言会被翻译成二进制文件也就是.obj或者.o文件。

​ 汇编语言不具备C语言的组织结构,在汇编语言中只能看到一行行的指令,比如add,mult等等。汇编语言中没有很好的控制流程,没有循环(但是有基于lable的跳转),虽然有函数但是与C语言函数不太一样,汇编语言中的函数是以label的形式存在而不是真正的函数定义。汇编语言是一门非常底层的语言,许多其他语言,比如C++,都会编译成汇编语言。运行任何编译型语言之前都需要先生成汇编语言

​ 汇编语言有很多种,不同的处理器指令集不一样,而汇编语言中都是一条条指令,所以不同处理器对应的汇编语言必然不一样。

寄存器

​ 寄存器是CPU或者处理器上,预先定义的可以用来存储数据的位置。寄存器之所以重要是因为汇编代码并不是在内存上执行,而是在寄存器上执行,也就是说,在做add,sub时,其实是对寄存器进行操作。所以通常看到的汇编代码中的模式是,通过load将数据存放在寄存器中(这里的数据源可以是来自内存,也可以来自另一个寄存器),之后在寄存器上执行一些操作。如果对操作的结果关心的话,会将操作的结果store在某个地方。这里的目的地可能是内存中的某个地址,也可能是另一个寄存器。寄存器是用来进行任何运算和数据读取的最快的方式。

​ 栈使得函数变得有组织,且能够正常返回。下面是一个非常简单的栈的结构图,其中每一个区域都是一个Stack Frame,每执行一次函数调用就会产生一个Stack Frame

​ 每一次调用一个函数,函数都会为自己创建一个Stack Frame,并且只给自己用。函数通过移动Stack Pointer来完成Stack Frame的空间分配

​ 对于Stack来说,是从高地址开始向低地址使用。所以栈总是向下增长。当想要创建一个新的Stack Frame的时候,总是对当前的Stack Pointer做减法。一个函数的Stack Frame包含了保存的寄存器,本地变量,并且,如果函数的参数多于8个,额外的参数会出现在Stack中。所以Stack Frame大小并不总是一样,即使在这个图里面看起来是一样大的。不同的函数有不同数量的本地变量,不同的寄存器,所以Stack Frame的大小是不一样的。但是有关Stack Frame有两件事情是确定的:

  • Return address总是会出现在Stack Frame的第一位
  • 指向前一个Stack Frame的指针也会出现在栈中的固定位置

​ 有关Stack Frame中有两个重要的寄存器,第一个是SP(Stack Pointer),它指向Stack的底部并代表了当前Stack Frame的位置。第二个是FP(Frame Pointer),它指向当前Stack Frame的顶部。因为Return address和指向前一个Stack Frame的的指针都在当前Stack Frame的固定位置,所以可以通过当前的FP寄存器寻址到这两个数据

​ 保存前一个Stack Frame的指针的原因是为了能跳转回去。所以当前函数返回时,我们可以将前一个Frame Pointer存储到FP寄存器中。所以使用Frame Pointer来操纵Stack Frames,并确保总是指向正确的函数。

​ Stack Frame必须要被汇编代码创建,所以是编译器生成了汇编代码,进而创建了Stack Frame。所以通常,在汇编代码中,函数的最开始可以看到Function prologue,之后是函数的本体,最后是Epilogue。这就是一个汇编函数通常的样子

结构体

​ struct在内存中是一段连续的地址,可以认为struct像是一个数组,但是里面的不同字段的类型可以不一样

Trap机制

​ 每当

  • 程序执行系统调用
  • 程序出现了类似page fault、运算时除以0的错误
  • 一个设备触发了中断使得当前程序运行需要响应内核设备驱动

都会发生用户空间和内核空间的切换,这种切换通常被称为trap。很多应用程序,要么因为系统调用,要么因为page fault,都会频繁的切换到内核中。

​ 需要清楚如何让程序的运行,从只拥有user权限并且位于用户空间的程序,切换到拥有supervisor权限的内核。在这个过程中,硬件的状态将会非常重要,因为很多的工作都是将硬件从适合运行用户应用程序的状态,改变到适合运行内核代码的状态

​ 用户应用程序可以使用全部的32个寄存器,很多寄存器都有特殊的作用。其中

  • 在硬件中还有一个寄存器叫做程序计数器(Program Counter Register)
  • 表明当前mode的标志位,这个标志位表明了当前是supervisor mode还是user mode
  • 还有一堆控制CPU工作方式的寄存器,比如SATP(Supervisor Address Translation and Protection)寄存器,包含了指向page table的物理内存地址
  • STVEC(Supervisor Trap Vector Base Address Register)寄存器,指向了内核中处理trap的指令的起始地址
  • SEPC(Supervisor Exception Program Counter)寄存器,在trap的过程中保存程序计数器的值
  • SSCRATCH(Supervisor Scratch Register)寄存器,这也是个非常重要的寄存器

这些寄存器表明了执行系统调用时计算机的状态

​ 在trap处理的过程中需要更改一些状态,或者对状态做一些操作。这样才可以运行系统内核中普通的C程序。先来预览一下需要做的操作:

  • 首先需要保存32个用户寄存器。因为很显然我们需要恢复用户应用程序的执行,尤其是当用户程序随机的被设备中断所打断时。我们希望内核能够响应中断,之后在用户程序完全无感知的情况下再恢复用户代码的执行。所以这意味着32个用户寄存器不能被内核弄乱。但是这些寄存器又要被内核代码所使用,所以在trap之前必须先在某处保存这32个用户寄存器
  • 程序计数器也需要在某个地方保存,它几乎跟一个用户寄存器的地位是一样的,需要能够在用户程序运行中断的位置继续执行用户程序
  • 需要将mode改成supervisor mode,因为需要使用内核中的各种各样的特权指令
  • SATP寄存器现在正指向user page table,而user page table只包含了用户程序所需要的内存映射和一两个其他的映射,它并没有包含整个内核数据的内存映射。所以在运行内核代码之前,需要将SATP指向kernel page table
  • 需要将堆栈寄存器指向位于内核的一个地址,因为需要一个堆栈来调用内核的C函数
  • 一旦设置好了,并且所有的硬件状态都适合在内核中使用, 需要跳入内核的C代码

一旦运行在内核的C代码中,那就跟平常的C代码是一样的。

​ 不能让用户代码介入到这里的user/kernel切换,否则有可能会破坏安全性。所以这意味着,trap中涉及到的硬件和内核机制不能依赖任何来自用户空间东西。比如不能依赖32个用户寄存器,它们可能保存的是恶意的数据,所以,XV6的trap机制不会查看这些寄存器,而只是将它们保存起来。

Trap代码执行流程

​ 用户程序执行系统调用函数(实际上通过执行ECALL指令来执行系统调用)

​ 用户程序 → ECALL → uservec(在trampoline中) → usertrap(在trap.c中) → syscall → sys_xxx(对应的系统调用) →执行结果返回给syscall → usertrapret(在trap.c中) → userret(在trampoline中) → 系统调用完成,返回到用户空间,恢复ECALL之后的用户程序的执行

ECALL

​ shell调用write为例。作为用户代码的Shell调用write时,实际上调用的是关联到Shell的一个库函数,在usys.s,首先将SYS_write加载到a7寄存器(SYS_write映射常量16,表示第16个系统调用,即write),之后这个函数中执行ecall指令(此时进入了supervisor mode)

​ ecall指令会让程序计数器跳转到用户空间顶部trampoline page的位置,所以现在指令正运行在内存的trampoline page中,这个page包含了内核的trap处理代码。ecall并不会切换page table,这是ecall指令的一个非常重要的特点。所以这意味着,trap处理代码必须存在于每一个user page table中。因为ecall并不会切换page table,我们需要在user page table中的某个地方来执行最初的内核代码。而这个trampoline page,是由内核小心的映射到每一个user page table中,以使得当我们仍然在使用user page table时,内核在一个地方能够执行trap机制的最开始的一些指令

所有进程的 trampoline page 都映射到同一个物理地址

​ 这里的控制是通过STVEC寄存器完成的,这是一个只能在supervisor mode下读写的特权寄存器。在从用户空间进入到内核空间之前,内核会设置好STVEC寄存器指向内核希望trap代码运行的位置,这就是trampoline page的起始位置。STVEC寄存器的内容,就是在ecall指令执行之后,我们会在这个特定地址执行指令的原因

​ 即使trampoline page是在用户地址空间的user page table完成的映射,但用户代码并不能写它,因为这些page对应的PTE并没有设置PTE_U标志位

​ 我们是通过ecall走到trampoline page的,而ecall实际上只会改变三件事情:

第一,ecall将代码从user mode改到supervisor mode

第二,ecall将程序计数器的值保存在了SEPC寄存器

第三,ecall会将STVEC拷贝到程序计数器,也就是程序开始执行STVEC所指向的代码,即trampoline page的位置

uservec函数

​ 现在程序位于trampoline page的起始,也是uservec函数的起始,现在需要做的第一件事情就是保存寄存器的内容。在一些其他的机器中或许直接就将32个寄存器中的内容写到物理内存中某些合适的位置。但是不能在RISC-V中这样做,因为在RISC-V中,supervisor mode下的代码不允许直接访问物理内存,所以只能使用page table中的内容

​ 对于保存用户寄存器,XV6在RISC-V上的实现包括了两个部分。第一个部分是,XV6在每个user page table映射了trapframe page,这样每个进程都有自己的trapframe page。这个page包含了很多有趣的数据,但是现在最重要的数据是用来保存用户寄存器的32个空槽位。所以,在trap处理代码中,user page table有一个之前由kernel设置好的映射关系,这个映射关系指向了一个可以用来存放这个进程的用户寄存器的内存位置。所以,如何保存用户寄存器的第一个部分是,内核非常方便的将trapframe page映射到了每个user page table

​ 另一部分在于之前提过的SSCRATCH寄存器。这个由RISC-V提供的SSCRATCH寄存器,就是为接下来的目的而创建的。在进入到user space之前,内核会将trapframe page的地址保存在这个寄存器中。更重要的是,RISC-V有一个指令允许交换任意两个寄存器的值。而SSCRATCH寄存器的作用就是保存另一个寄存器的值,并将自己的值加载给另一个寄存器

​ trampoline.S代码要做的第一件事就是执行csrrw指令,这个指令交换了a0和sscratch两个寄存器的内容。这样,a0寄存器保存的就是trapframe page的地址,sscratch寄存器保存的就是原本a0寄存器的值。这样就可以通过a0寄存器指向的trapframe page的地址保存其他用户寄存器的数据。

		......# 上面是保存寄存器数据
		
		# save the user a0 in p->trapframe->a0
        csrr t0, sscratch
        sd t0, 112(a0)

        # restore kernel stack pointer from p->trapframe->kernel_sp
        ld sp, 8(a0)

        # make tp hold the current hartid, from p->trapframe->kernel_hartid
        ld tp, 32(a0)

        # load the address of usertrap(), p->trapframe->kernel_trap
        ld t0, 16(a0)

        # restore kernel page table from p->trapframe->kernel_satp
        ld t1, 0(a0)
        csrw satp, t1
        sfence.vma zero, zero

        # a0 is no longer valid, since the kernel page
        # table does not specially map p->tf.

        # jump to usertrap(), which does not return
        jr t0

​ 保存其他寄存器的数据后,还需要保存a0寄存器原本的数据(此时是存在sscratch寄存器中)。在汇编代码中,先执行了csrr t0, sscratch,从sscratch中读取值,并存储到t0寄存器中。然后执行sd t0, 112(a0),将t0寄存器的值存储到a0寄存器指向的内存地址的偏移量为112的位置(此时a0指向的是trapframe page)。这样trapframe page中就备份好了所有寄存器的数据。

​ 下一句指令是ld sp, 8(a0),这条指令将a0指向的内存地址往后数的第8个字节开始的数据加载到Stack Pointer寄存器(反复强调一下,此时a0指向的是trapframe page)。第8个字节开始的数据是内核的Stack Pointer(kernel_sp)。trapframe中的kernel_sp是由kernel在进入用户空间之前就设置好的,它的值是这个进程的kernel stack。所以这条指令的作用是初始化Stack Pointer指向这个进程的kernel stack的最顶端

​ 下一条指令是ld tp, 32(a0),向tp寄存器写入数据。在RISC-V中,没有一个直接的方法来确认当前运行在多核处理器的哪个核上,XV6会将CPU核的编号也就是hartid保存在tp寄存器

​ 下一条指令是ld t0, 16(a0),向t0寄存器写入数据。这里写入的是将要执行的第一个C函数的指针,也就是函数usertrap的指针,在后面会使用这个指针

​ 下一条指令是ld t1, 0(a0),向t1寄存器写入数据,写入的是kernel page table的地址。实际上严格来说,t1的内容并不是kernel page table的地址,是需要向SATP寄存器写入的数据。它包含了kernel page table的地址,但是移位了,并且包含了各种标志位。下一条指令是交换SATP和t1寄存器。这条指令执行完成之后,当前程序会从user page table切换到kernel page table。

​ 现在,Stack Pointer指向了kernel stack;有了kernel page table,可以读取kernel data,已经准备好了执行内核中的C代码了

​ 为什么代码没有崩溃?毕竟我们在内存中的某个位置执行代码,程序计数器保存的是虚拟地址,如果切换了page table,为什么同一个虚拟地址不会通过新的page table寻址走到一些无关的page中?

​ 因为现在还在trampoline代码中,而trampoline代码在用户空间和内核空间都映射到了同一个地址。

​ trampoline page在user page table中的映射与kernel page table中的映射是完全一样的。这两个page table中其他所有的映射都是不同的,只有trampoline page的映射是一样的,因此在切换page table时,寻址的结果不会改变,实际上就可以继续在同一个代码序列中执行程序而不崩溃。这是trampoline page的特殊之处,它同时在user page table和kernel page table都有相同的映射关系

​ 最后一条指令是jr t0。执行了这条指令,就要从trampoline跳到内核的C代码中。这条指令的作用是跳转到t0指向的函数中,即usertrap函数

usertrap函数

void
usertrap(void)
{
  int which_dev = 0;

  if((r_sstatus() & SSTATUS_SPP) != 0)
    panic("usertrap: not from user mode");

  // send interrupts and exceptions to kerneltrap(),
  // since we're now in the kernel.
  w_stvec((uint64)kernelvec);

  struct proc *p = myproc();
  
  // save user program counter.
  p->trapframe->epc = r_sepc();
  
  if(r_scause() == 8){
    // system call

    if(p->killed)
      exit(-1);

    // sepc points to the ecall instruction,
    // but we want to return to the next instruction.
    p->trapframe->epc += 4;

    // an interrupt will change sstatus &c registers,
    // so don't enable until done with those registers.
    intr_on();

    syscall();
  } else if((which_dev = devintr()) != 0){
    // ok
  }else {
      printf("usertrap(): unexpected scause %p pid=%d\n", r_scause(), p->pid);
    printf("            sepc=%p stval=%p\n", r_sepc(), r_stval());
    p->killed = 1;
  }

  if(p->killed)
    exit(-1);

  // give up the CPU if this is a timer interrupt.
  if(which_dev == 2)
    yield();

  usertrapret();
}

​ usertrap函数位于trap.c。有很多原因都可以让程序运行进入到usertrap函数中来,比如系统调用,运算时除以0,使用了一个未被映射的虚拟地址,或者是设备中断。usertrap某种程度上存储并恢复硬件状态,但是它也需要检查触发trap的原因,以确定相应的处理方式

​ usertrap做的第一件事情是更改STVEC寄存器。取决于trap是来自于用户空间还是内核空间,实际上XV6处理trap的方法是不一样的。目前为止,我们只讨论过当trap是由用户空间发起时会发生什么。如果trap从内核空间发起,将会是一个非常不同的处理流程,因为从内核发起的话,程序已经在使用kernel page table。所以当trap发生时,程序执行仍然在内核的话,很多处理都不必存在

​ 在内核中执行任何操作之前,usertrap中先将STVEC指向了kernelvec变量,这是内核空间trap处理代码的位置,而不是用户空间trap处理代码的位置

​ 我们需要知道当前运行的是什么进程,可以通过调用myproc函数来做到这一点。myproc函数会查找一个根据当前CPU核的编号索引的数组,CPU核的编号是hartid,这是myproc函数找出当前运行进程的方法

​ 接下来要保存用户程序计数器,它虽然已经保存在SEPC寄存器中,但是可能发生这种情况:当程序还在内核中执行时,由于进程调度可能切换到另一个进程,并进入到那个程序的用户空间,然后那个进程可能再调用一个系统调用进而导致SEPC寄存器的内容被覆盖。所以,我们需要保存当前进程的SEPC寄存器到一个与该进程关联的内存中,这样这个数据才不会被覆盖。这里使用trapframe来保存这个程序计数器:struct proc *p = myproc();

​ 接下来需要找出现在会在usertrap函数的原因: if(r_scause() == 8)。根据触发trap的原因,RISC-V的SCAUSE寄存器会有不同的数字(比如8表示系统调用)。接下来检查是不是有其他的进程杀掉了当前进程:if(p->killed)

p->trapframe->epc += 4;在RISC-V中,存储在SEPC寄存器中的程序计数器,是用户程序中触发trap的指令的地址。但是恢复用户程序时,我们希望在下一条指令恢复,也就是ecall之后的一条指令。所以对于系统调用,对于保存的用户程序计数器加4,这样会在ecall的下一条指令恢复,而不是重新执行ecall指令

intr_on();XV6会在处理系统调用的时候使能中断,这样中断可以更快的服务,有些系统调用需要许多时间处理。中断总是会被RISC-V的trap硬件关闭,所以在这个时间点,需要显式的打开中断

syscall();调用syscall函数,从syscall表单中,根据系统调用的编号查找相应的系统调用函数,syscall函数的工作就是获取由trampoline代码保存在trapframe中a7的数字,然后用这个数字索引实现了每个系统调用的表单。系统调用需要找到它们的参数,通过trapframe来获取这些参数。所有的系统调用都有一个返回值,比如write会返回实际写入的字节数,而RISC-V上的C代码的习惯是函数的返回值存储于寄存器a0,所以为了模拟函数的返回,这里将返回值存储在trapframe的a0中。之后,当返回到用户空间,trapframe中的a0槽位的数值会写到实际的a0寄存器,Shell会认为a0寄存器中的数值是write系统调用的返回值

if(p->killed)再次检查当前用户进程是否被杀掉了

​ 最后,usertrap调用函数usertrapret

usertrapret函数

void
usertrapret(void)
{
  struct proc *p = myproc();

  // we're about to switch the destination of traps from
  // kerneltrap() to usertrap(), so turn off interrupts until
  // we're back in user space, where usertrap() is correct.
  intr_off();

  // send syscalls, interrupts, and exceptions to trampoline.S
  w_stvec(TRAMPOLINE + (uservec - trampoline));

  // set up trapframe values that uservec will need when
  // the process next re-enters the kernel.
  p->trapframe->kernel_satp = r_satp();         // kernel page table
  p->trapframe->kernel_sp = p->kstack + PGSIZE; // process's kernel stack
  p->trapframe->kernel_trap = (uint64)usertrap;
  p->trapframe->kernel_hartid = r_tp();         // hartid for cpuid()

  // set up the registers that trampoline.S's sret will use
  // to get to user space.
  
  // set S Previous Privilege mode to User.
  unsigned long x = r_sstatus();
  x &= ~SSTATUS_SPP; // clear SPP to 0 for user mode
  x |= SSTATUS_SPIE; // enable interrupts in user mode
  w_sstatus(x);

  // set S Exception Program Counter to the saved user pc.
  w_sepc(p->trapframe->epc);

  // tell trampoline.S the user page table to switch to.
  uint64 satp = MAKE_SATP(p->pagetable);

  // jump to trampoline.S at the top of memory, which 
  // switches to the user page table, restores user registers,
  // and switches to user mode with sret.
  uint64 fn = TRAMPOLINE + (userret - trampoline);
  ((void (*)(uint64,uint64))fn)(TRAPFRAME, satp);
}

​ usertrapret函数设置在返回到用户空间之前内核要做的工作。

intr_off();首先关闭了中断。之前在系统调用的过程中打开了中断,这里关闭中断是因为要更新STVEC寄存器来指向用户空间的trap处理代码,而之前在内核中的时候,我们指向的是内核空间的trap处理代码。关闭中断因为将STVEC更新到指向用户空间的trap处理代码时,我们仍然在内核中执行代码。如果这时发生了一个中断,那么程序执行会走向用户空间的trap处理代码,即便现在仍然在内核中,出于各种各样具体细节的原因,这会导致内核出错。所以这里关闭中断

w_stvec(TRAMPOLINE + (uservec - trampoline));设置了STVEC寄存器指向trampoline代码,在那里最终会执行sret指令返回到用户空间。位于trampoline代码最后的sret指令会重新打开中断。这样,即使刚刚关闭了中断,在执行用户代码时中断也是打开的

​ 接下来的几行填入了trapframe的内容,这些内容对于执行trampoline代码非常有用:

  • 存储了kernel page table的指针
  • 存储了当前用户进程的kernel stack
  • 存储了usertrap函数的指针,这样trampoline代码才能跳转到这个函数
  • 从tp寄存器中读取当前的CPU核编号,并存储在trapframe中,这样trampoline代码才能恢复这个数字,因为用户代码可能会修改这个数字

设置好trapframe中的这些数据,这样下一次从用户空间转换到内核空间时可以用到这些数据

​ 接下来要设置SSTATUS寄存器,这是一个控制寄存器。这个寄存器的SPP bit位控制了sret指令的行为,该bit为0表示下次执行sret的时候想要返回user mode而不是supervisor mode。这个寄存器的SPIE bit位控制了,在执行完sret之后,是否打开中断。因为在返回到用户空间之后,我们的确希望打开中断,所以这里将SPIE bit位设置为1。修改完这些bit位之后会把新的值写回到SSTATUS寄存器

w_sepc(p->trapframe->epc);在trampoline代码的最后执行了sret指令,这条指令会将程序计数器设置成SEPC寄存器的值,所以现在将SEPC寄存器的值设置成之前保存的用户程序计数器的值。之前已在usertrap函数中将用户程序计数器保存在trapframe中的epc字段

uint64 satp = MAKE_SATP(p->pagetable);根据user page table地址生成相应的SATP值,这样在返回到用户空间的时候才能完成page table的切换。实际上,我们会在汇编代码trampoline中完成page table的切换,并且也只能在trampoline中完成切换,因为只有trampoline中代码是同时在用户和内核空间中映射。但是现在还没有在trampoline代码中,现在还在一个普通的C函数中,所以这里先将page table指针准备好,并将这个指针作为第二个参数传递给汇编代码,这个参数会出现在a1寄存器

uint64 fn = TRAMPOLINE + (userret - trampoline);计算出将要跳转的汇编代码的地址。我们期望跳转的地址是tampoline中的userret函数,这个函数包含了所有回到用户空间的指令

((void (*)(uint64,uint64))fn)(TRAPFRAME, satp);将fn指针作为一个函数指针,执行相应的函数(也就是userret函数)并传入两个参数,两个参数存储在a0,a1寄存器中

userret函数

​ 现在程序执行又到了trampoline代码

.globl userret
userret:
        # userret(TRAPFRAME, pagetable)
        # switch from kernel to user.
        # usertrapret() calls here.
        # a0: TRAPFRAME, in user page table.
        # a1: user page table, for satp.

        # switch to the user page table.
        csrw satp, a1
        sfence.vma zero, zero

        # put the saved user a0 in sscratch, so we
        # can swap it with our a0 (TRAPFRAME) in the last step.
        ld t0, 112(a0)
        csrw sscratch, t0

        # restore all but a0 from TRAPFRAME
        ld ra, 40(a0)
        ld sp, 48(a0)
        ......
        
        # restore user a0, and save TRAPFRAME in sscratch
        csrrw a0, sscratch, a0
        
        # return to user mode and user pc.
        # usertrapret() set up sstatus and sepc.
        sret

csrw satp, a1:第一步是切换page table。在执行这条指令之前,page table还是巨大的kernel page table。这条指令会将user page table(在usertrapret中作为第二个参数传递给了这里的userret函数,所以存在a1寄存器中)存储在SATP寄存器中。执行完这条指令之后,page table就变成了小得多的user page table。user page table也映射了trampoline page,所以程序还能继续执行而不是崩溃。(sfence.vma是清空页表缓存)

ld t0, 112(a0):在uservec函数中,第一件事情就是交换SSRATCH和a0寄存器。而这里,先将SSCRATCH寄存器恢复成保存好的用户的a0寄存器。在这里a0是trapframe的地址,因为C代码usertrapret函数中将trapframe地址作为第一个参数传递过来了。112是a0寄存器在trapframe中的位置。(就是通过当前的a0寄存器找出存在trapframe中的a0寄存器)先将这个地址里的数值保存在t0寄存器中,之后再将t0寄存器的数值保存在SSCRATCH寄存器中

注:现在trapframe中的a0寄存器是执行系统调用的返回值。系统调用的返回值覆盖了保存在trapframe中的a0寄存器的值。我们希望用户程序在a0寄存器中看到系统调用的返回值。所以,现在SSCRATCH寄存器中也是系统调用的返回值

​ 到目前为止,所有的寄存器内容还是属于内核。接下来的指令将a0寄存器指向的trapframe中,之前保存的寄存器的值加载到对应的各个寄存器中。恢复好寄存器的数据,a0寄存器现在仍然是指向trapframe的指针,而不是保存了的用户数据(注意和trapframe中的a0寄存器区分开来)

csrrw a0, sscratch, a0:在返回到用户空间之前,交换SSCRATCH寄存器和a0寄存器的值。SSCRATCH现在的值是系统调用的返回值,a0寄存器是trapframe的地址。交换完成之后,a0持有的是系统调用的返回值,SSCRATCH持有的是trapframe的地址。之后trapframe的地址会一直保存在SSCRATCH中,直到用户程序执行了另一次trap。现在还在kernel中

sret是在kernel中的最后一条指令,当执行完这条指令:

  • 程序会切换回user mode
  • SEPC寄存器的数值会被拷贝到PC寄存器(程序计数器)
  • 重新打开中断

现在回到了用户空间

页面错误基础

​ page fault可以让地址映射关系变得动态起来。通过page fault,内核可以更新page table。当发生page fault时,内核需要什么样的信息才能够响应page fault:

  • 需要出错的虚拟地址,或者是触发page fault的源。当出现page fault的时候,XV6内核会打印出错的虚拟地址,并且这个地址会被保存在STVAL寄存器中。所以,当一个用户应用程序触发了page fault,page fault会使用trap机制,将程序运行切换到内核,同时也会将出错的地址存放在STVAL寄存器中
  • 出错的原因,需要对不同场景的page fault有不同的响应。不同的场景是指,比如因为load指令触发的page fault、因为store指令触发的page fault又或者是因为jump指令触发的page fault。RISC-V文档在SCAUSE(Supervisor cause寄存器,保存了trap机制中进入到supervisor mode的原因)寄存器的介绍中,有多个与page fault相关的原因。比如,13表示是因为load引起的page fault;15表示是因为store引起的page fault;12表示是因为指令执行引起的page fault。所以第二个信息存在SCAUSE寄存器中,其中总共有3个类型的原因与page fault相关,分别是读、写和指令。ECALL进入到supervisor mode对应的是8。基本上来说,page fault和其他的异常使用与系统调用相同的trap机制来从用户空间切换到内核空间。如果是因为page fault触发的trap机制并且进入到内核空间,STVAL寄存器和SCAUSE寄存器都会有相应的值
  • 触发page fault的指令的地址。作为trap处理代码的一部分,这个地址存放在SEPC(Supervisor Exception Program Counter)寄存器中,并同时会保存在trapframe->epc中

​ 所以,从硬件和XV6的角度来说,当出现了page fault,现在有3个极其有价值的信息,分别是:

  • 引起page fault的内存地址

  • 引起page fault的原因类型

  • 引起page fault时的程序计数器值,这表明了page fault在用户空间发生的位置

Lazy page allocation 惰性分配

​ sbrk是XV6提供的系统调用,它使得用户应用程序能扩大自己的heap。当一个应用程序启动的时候,sbrk指向的是heap的最底端,同时也是stack的最顶端。这个位置通过代表进程的数据结构中的sz字段表示,这里以p->sz表示。

​ 在xv6中,调用sbrk的时候默认是立即分配内存,创建映射。但应用程序一般会申请多于自己所需要的内存,多出来的内存可能会一直用不到,造成内存浪费。

​ 惰性分配思想:调用sbrk的时候,只增加p->sz,将p->sz增加n,其中n是需要新分配的内存page数量,但不分配任何物理内存。之后在某个时间点,应用程序使用到了新申请的那部分内存,这时会触发page fault,因为还没有将新的内存映射到page table。因此,可以在使用到大于旧的p->sz并且小于新的p->sz的虚拟地址的时候,再分配内存。

​ 当触发page fault,相应的虚拟地址小于当前p->sz,同时大于stack,就知道这是一个来自于heap的地址,但是内核还没有分配任何物理内存。这时可以通过kalloc函数分配一个内存page,初始化这个page内容为0,将这个内存page映射到user page table中,最后重新执行指令

Zero Fill On Demand

​ 用户程序的地址空间存在text区域,data区域,同时还有一个BSS区域(BSS区域包含了未被初始化或者初始化为0的全局或者静态变量)。因为BSS里面保存了未被初始化的全局变量,这里或许有许多许多个page,但是所有的page内容都为0

​ Zero Fill On Demand思想:将这些数据全是0的page全都映射到用一个物理地址,节省物理内存分配。这些page的pte都是只读,应用程序尝试写BSS中的一个page时,触发page fault,这时在物理内存中申请一个新的内存page,将其内容设置为0,更新这个page的mapping关系,PTE设置成可读可写,然后将其指向新的物理page,相当于更新了PTE,之后可以重新执行指令

Copy On Write 写时复制

​ 程序调用fork创建子进程的时候,会把父进程地址空间的数据完全复制给子进程。但如果子进程第一件事就是执行exec,马上丢弃这个地址空间,就浪费了操作,浪费了空间。

​ COW思路:创建子进程时,子进程直接共享父进程的地址空间,设置所有的page都是只读。当某一个进程执行写操作的时候,触发page fault,再分配新的物理内存,创建映射,恢复写权限,重新执行指令

Demand Paging

​ 执行exec的时候,操作系统会加载程序内存的text,data区域,马上将这些数据加载进page table

​ Demand Paging思路:直到应用程序实际需要这些指令的时候再加载内存。在虚拟地址空间中为text和data分配好地址段,但是相应的PTE并不对应任何物理内存page,将这些PTE对应的PTE_V设置为0。应用程序是从地址0开始运行。text区域从地址0开始向上增长。位于地址0的指令触发第一个page fault,这个page是on-demand page,需要在某个地方记录了这些page对应的程序文件,在page fault handler中从程序文件中读取page数据,加载到内存中,之后将内存page映射到page table,最后再重新执行指令

标签:知识点,trapframe,Mit6,a0,内核,寄存器,table,S081,page
From: https://www.cnblogs.com/Amroning/p/18539274

相关文章

  • 知识点扫盲:二分答案
    本条博客以及本系列用于记录算法学习中不熟悉或少见的知识点一.关于二分答案的来源和应用由于本大一==蒟蒻==没有经过系统性的学习,在一场牛客小白月赛中首次听说二分答案这一操作,十分震惊其效率与作用,遂写此篇来记录关于二分答案有关的概念[二分法]"https://oi-wiki.or......
  • Mit6.S081-实验环境搭建
    Mit6.S081-实验环境搭建注:大家每次做一些操作的时候觉得不太保险就先把虚拟机克隆一份前言qemu(quickemulator):这是一个模拟硬件环境的软件,利用它可以运行我们编译好的操作系统。准备一个Linux系统,安装qemu以及其他依赖,通过git克隆下github的xv6源码,利用gcc编译源码得到......
  • np.random.randint知识点
    函数概述np.random.randint是NumPy库中的一个函数,用于生成随机整数。它可以在指定的区间(左闭右开)内生成一个或多个随机整数。函数语法np.random.randint(low,high=None,size=None,dtype='l')参数解释:low:生成的随机整数的最小值(包含该值)。如果high为None,则low为......
  • 知识点:动态规划
    知识点:该题目考察的知识点是动态规划,特别是用于计算两个字符串之间的编辑距离(Levenshtein距离)。编辑距离是衡量两个字符串相似度的一种方法,它定义为将一个字符串转换为另一个字符串所需的最少操作次数,这些操作包括插入、删除和替换字符。动态规划的相关内容:动态规划是一种算法策......
  • 知识点:算法策略
    知识点:在软考中,常考的算法策略包括分治法、动态规划法、贪心法、回溯法等。下面详细介绍这些算法策略的原理、适用场景以及算法复杂度:1.分治法原理:分治法是将一个复杂的问题分解成若干个相同或相似的子问题,递归解决子问题,然后将子问题的解合并以解决原问题。适用场景:适用于可......
  • 网络安全技术概论知识点
    目录第一章网络安全基础知识点例题第二章网络安全技术基础知识点第三章网络安全体系管理知识点例题第四章黑客攻防与检测防御知识点例题第五章、第六章第七章计算机及手机病毒防范例题第八章防火墙技术知识点第九章操作系统安全第十章数据库及数据安全知识点第......
  • 知识点:用例图(Use Case Diagram)
    知识点:该题目考查的是面向对象的分析与设计方法(Object-OrientedAnalysisandDesign,OOAD),特别是用例图(UseCaseDiagram)的相关知识点。用例图是UML(统一建模语言)中的一种图表,用于描述系统的功能需求,它展示了系统如何与外部用户或其他系统交互。知识点相关内容:用例(UseCase):用......
  • 动态内存的相关知识点
    今天学了动态内存管理的相关知识点,首先什么是动态内存呢,我的理解是可大可小的,能够动态变化的。1.为什么存在动态内存分配我们已经掌握的内存开辟方式有:intmain(){ inta=10; intarr[10]={0}; intn; scanf("%d",&n); intarr1[n]; return0;}向上面......
  • 网络安全知识点梳理(期末不挂科)
    目录第一章漏洞类型一、操作系统漏洞二、网络协议漏洞三、数据库漏洞四、网络服务漏洞第二章 OSI网络安全体系一、OSI参考模型回顾二、OSI网络安全体系第三章 网络安全机制一、网络访问控制二、数据加密与保护三、威胁情报与安全分析四、虚拟化和容器安全五......
  • c语言入门学习这一篇就够了-知识点总结(三万字二级必看)
    C语言   C语言是中高级语言的代表之一,它是所有现代编程语言的基石,包括C++、Java、C#、Python、JavaScript、Swift等。C语言是学习其他编程语言的基础,因为它提供了对系统底层的精确控制,这使得它在开发操作系统、驱动程序、嵌入式系统、高性能计算等领域中有着不可替代的......