主要的思想:实现上下文切换的主要函数是shedule函数。在shedule函数之前的os_main函数已经将多个context的首地址注册在了一个数组里。shedule函数利用全局变量一直自增去遍历多个context,从而让实现每次调用shedule函数指针指向不同的context。将context的首地址作为参数传入到switch_to函数中,a0寄存器现在是context的首地址。接下来就是保存原先任务的context,那原先任务的context记录在哪,记录在mscratch寄存器中。利用mscratch寄存器保存好上个任务的context后,把a0的值传到了mscratch寄存器中,这个时候mscratch指向的是下个context,利用mscratch寄存器恢复下个任务的context。可见,在整个过程中mscratch寄存器是个指向context地址的指针,这个指针的值来自switch函数。
每个context的ra值记录的是此context对应的函数地址。所以switch_to函数执行到最后一条指令ret时,就是跳到当前context的ra值地址中去真正做一些事情去了。
任务(task)
所谓的任务就是寄存器的当前值。
-smp后面的数字指的是hart的个数,qemu模拟器最大可以有8个核,此文围绕一个核来讲。
QEMU = qemu-system-riscv32
QFLAG = -nographic -smp 1 -machine virt -bios none
协作式多任务
协作式环境下,下一个任务调度的前提是当前任务主动放弃处理器。
有一点像函数跳转,但是跟函数跳转又不太一样,函数跳转不会改变上下文,多任务协作会改变context的内容。
抢占式多任务
协作式多任务演变而来。抢占式环境下,操作系统完全决定任务调度方案,操作系统可以剥夺当前任务对处理器的使用,将处理器提供给其它任务。