RVOS操作系统协作式多任务切换实现-03

news2024/10/7 5:12:59

RVOS操作系统协作式多任务切换实现-03

  • 任务(task)
  • 多任务 (Multitask)
  • 任务上下文(Context)
  • 多任务系统的分类
    • 协作式多任务
  • 创建和初始化第 1 号任务
  • 切换到第一号任务执行
  • 协作式多任务 - 调度
    • 初始化和任务创建
    • 任务运行


本系列参考: 学习开发一个RISC-V上的操作系统 - 汪辰 - 2021春 整理而来,主要作为xv6操作系统学习的一个前置基础。

RVOS是本课程基于RISC-V搭建的简易操作系统名称。

课程代码和环境搭建教程参考github仓库: https://github.com/plctlab/riscv-operating-system-mooc/blob/main/howto-run-with-ubuntu1804_zh.md

前置知识:

  • RVOS环境搭建-01
  • RVOS操作系统内存管理简单实现-02

任务(task)

所谓任务,简单来说就是一个函数的调用过程,也就是一个指令的执行流,也就是运行起来的程序,也就是我们常说的一个进程或者线程的概念。
在这里插入图片描述

多任务 (Multitask)

多任务就是存在多个核并行执行多个指令流的过程:
在这里插入图片描述
本节中使用单核配合分时复用,完成多个任务的切换运行。


任务上下文(Context)

由于一个核通常关联一套通用寄存器,每个进程运行时,都会使用寄存器来保持当前执行流中相关变量的值,所以当进程A需要切换到进程B执行时,就需要将通用寄存器的值保存到内存中进程A对应的Context对象中,而将进程B关联的Context对象中保存的寄存器z值恢复到当前通用寄存器上:
在这里插入图片描述

/* task management */
struct context {
	/* ignore x0 */
	reg_t ra;
	reg_t sp;
	reg_t gp;
	reg_t tp;
	reg_t t0;
	reg_t t1;
	reg_t t2;
	reg_t s0;
	reg_t s1;
	reg_t a0;
	reg_t a1;
	reg_t a2;
	reg_t a3;
	reg_t a4;
	reg_t a5;
	reg_t a6;
	reg_t a7;
	reg_t s2;
	reg_t s3;
	reg_t s4;
	reg_t s5;
	reg_t s6;
	reg_t s7;
	reg_t s8;
	reg_t s9;
	reg_t s10;
	reg_t s11;
	reg_t t3;
	reg_t t4;
	reg_t t5;
	reg_t t6;
};

上面代码存在于03节的os.h文件中


多任务系统的分类

在这里插入图片描述

协作式多任务

本节我们来讲解一下协作式多任务的实现流程,首先我们先来复习一下call指令和ret指令:

call label
  • 其中,label 是目标子程序的标签。call 指令会将当前指令的下一条指令的地址保存到链接寄存器(link register)中,并跳转到目标子程序的地址。
  • 在RISC-V中,链接寄存器是 ra(x1),它通常用于保存函数的返回地址。因此,在执行 call 指令之前,程序需要将函数的参数准备好,并将它们存储在适当的寄存器中。
  • 当子程序执行完毕后,通过 ret 指令返回到调用位置。ret 指令会从链接寄存器中获取保存的返回地址,并跳转到该地址继续执行。
  • 需要注意的是,RISC-V中的 callret 指令没有显式地处理参数传递和局部变量的保存。这些任务通常通过约定和编程规范来实现。例如,参数可以通过寄存器传递,而局部变量可以在堆栈上分配和访问。编程者需要根据具体的编程规范和约定来管理参数和局部变量的传递。

下面我们先来看看任务切换的实现流程:
在这里插入图片描述
我们可以在程序中调用switch_to函数,手动完成任务的切换,由于任务切换十分频繁,所以这里使用汇编来实现switch_to函数:

# void switch_to(struct context *next);
# a0: pointer to the context of the next task
# 汇编编写的switch_to函数可以看做c语言中的: void switch_to(struct context *next);
# 其中函数有一个context指针作为参数,而实际上由a0作为参数寄存器,存放该context指针的值
.globl switch_to
.align 4
switch_to:
    # 交换mscratch和t6寄存器的值--t6指向进程的Context上下文地址
	csrrw	t6, mscratch, t6	# swap t6 and mscratch
	# 判断switch_to函数是否是首次调用(t6==0),如果是则跳到标签1处执行
	beqz	t6, 1f			# Note: the first time switch_to() is
	                                # called, mscratch is initialized as zero
					# (in sched_init()), which makes t6 zero,
					# and that's the special case we have to
					# handle with t6
    # 调用宏保存通用寄存器					
	reg_save t6			# save context of prev task

	# Save the actual t6 register, which we swapped into
	# mscratch
	# t5承担t6的职责,指向当前进程的Context上下文地址
	mv	t5, t6		# t5 points to the context of current task
	# 恢复t6寄存器原本的值
	csrr	t6, mscratch	# read t6 back from mscratch
	# 将t6的值保存到Context上下文中
	sw	t6, 120(t5)	# save t6 with t5 as base

1:
	# switch mscratch to point to the context of the next task
	# 将mscratch指向要切换的上下文地址
	csrw	mscratch, a0

	# Restore all GP registers
	# Use t6 to point to the context of the new task
	# t6寄存器指向要切换的上下文地址
	mv	t6, a0
	# 将t6指向的上下文中的寄存器值进行恢复操作
	reg_restore t6

	# Do actual context switching.
	ret
  1. call switch_to将要切换的上下文Context地址作为参数传入,由a0参数寄存器保存
  2. switch_to函数首先判断是否为首次调用switch_to函数,如果是,则直接进行上下文恢复操作
  3. 如果不是,则首先保存当前上下文,然后再进行上下文恢复操作

隐藏操作:

  1. call指令调用时,会将当前函数返回地址保存到ra寄存器中
  2. ret指令调用时,会调回到ra寄存器保存的地址处继续执行
  3. ra寄存器中的值同样会随着Context上下文的保存和恢复进行切换,从而达到任务切换执行的效果

问题解答:

  • 函数调用过程中的寄存器使用约定
    在这里插入图片描述
  • 为什么非要交换mscratch和t6呢?不能直接将mscratch传入reg_save宏吗?
    在这里插入图片描述
  • reg_save宏定义怎么保存通用寄存器(GP)的值保存到上下文中的呢?
# save all General-Purpose(GP) registers to context
# struct context *base = &ctx_task;
# base->ra = ra;
# ......
.macro reg_save base
	sw ra, 0(\base)
	sw sp, 4(\base)
	sw gp, 8(\base)
	sw tp, 12(\base)
	sw t0, 16(\base)
	sw t1, 20(\base)
	sw t2, 24(\base)
	sw s0, 28(\base)
	sw s1, 32(\base)
	sw a0, 36(\base)
	sw a1, 40(\base)
	sw a2, 44(\base)
	sw a3, 48(\base)
	sw a4, 52(\base)
	sw a5, 56(\base)
	sw a6, 60(\base)
	sw a7, 64(\base)
	sw s2, 68(\base)
	sw s3, 72(\base)
	sw s4, 76(\base)
	sw s5, 80(\base)
	sw s6, 84(\base)
	sw s7, 88(\base)
	sw s8, 92(\base)
	sw s9, 96(\base)
	sw s10, 100(\base)
	sw s11, 104(\base)
	sw t3, 108(\base)
	sw t4, 112(\base)
	sw t5, 116(\base)
	# we don't save t6 here, due to we have used
	# it as base, we have to save t6 in an extra step
	# outside of reg_save
.endm

在这里插入图片描述

  • reg_restore怎么恢复上下文的呢?
# restore all General-Purpose(GP) registers from the context
# struct context *base = &ctx_task;
# ra = base->ra;
# ......
.macro reg_restore base
	lw ra, 0(\base)
	lw sp, 4(\base)
	lw gp, 8(\base)
	lw tp, 12(\base)
	lw t0, 16(\base)
	lw t1, 20(\base)
	lw t2, 24(\base)
	lw s0, 28(\base)
	lw s1, 32(\base)
	lw a0, 36(\base)
	lw a1, 40(\base)
	lw a2, 44(\base)
	lw a3, 48(\base)
	lw a4, 52(\base)
	lw a5, 56(\base)
	lw a6, 60(\base)
	lw a7, 64(\base)
	lw s2, 68(\base)
	lw s3, 72(\base)
	lw s4, 76(\base)
	lw s5, 80(\base)
	lw s6, 84(\base)
	lw s7, 88(\base)
	lw s8, 92(\base)
	lw s9, 96(\base)
	lw s10, 100(\base)
	lw s11, 104(\base)
	lw t3, 108(\base)
	lw t4, 112(\base)
	lw t5, 116(\base)
	lw t6, 120(\base)
.endm

在这里插入图片描述

  • mscratch(Machine Scratch)这个CSR寄存器有什么作用?

mscratch 是 RISC-V 架构中的一个控制和状态寄存器(Control and Status Register),用于保存机器模式下的临时数据或上下文相关的信息。它的作用是提供一个通用的、临时的存储位置,供软件使用。

具体而言,mscratch 寄存器通常用于以下情况:

  • 上下文切换:当处理器从一个上下文切换到另一个上下文时,可以将当前的 mscratch 寄存器的值保存到保存的上下文中。在切换到新的上下文后,可以将先前保存的 mscratch 寄存器的值恢复,以便继续使用其中的数据。
  • 异步事件处理:当处理器在处理中断或异常时,可能需要保存一些临时数据,以便在恢复正常执行后继续使用。mscratch 寄存器提供了一个方便的位置来存储这些临时数据,以避免污染其他重要的寄存器。
  • 调试和跟踪:在调试和跟踪应用程序时,mscratch 寄存器可以用于存储调试器或跟踪工具的临时数据,例如断点信息、调试状态等。

需要注意的是,mscratch 寄存器的使用是由软件决定的,它没有特定的预定义用途。软件可以根据需要将 mscratch 寄存器用于临时存储和处理数据。然而,由于 mscratch 寄存器的值可能会被上下文切换或其他操作修改,因此软件在使用 mscratch 寄存器时应注意保存和恢复其中的数据。

总结:mscratch 寄存器是 RISC-V 架构中的一个控制和状态寄存器,用于保存机器模式下的临时数据或上下文相关的信息。它可以用于上下文切换、异步事件处理、调试和跟踪等情况,提供一个通用的临时存储位置供软件使用。


  • beqz t6, 1f 指令中1后面的f是什么意思?

在汇编语言中,标签通常以 . 或一个数字开头,并可以在其后加上后缀来表示不同的类型。

后缀 f 表示前向引用(forward reference)。在这种情况下,数字后面的 f 表示标签是前向引用,即在当前位置之后定义的标签。这种用法允许在代码中跳转到稍后定义的标签。

在给定的示例中,1f 表示跳转到标签 1 所在的位置,而 1 是在当前位置之后定义的标签。这样的标签定义可以简化代码中的跳转逻辑。


创建和初始化第 1 号任务

在这里插入图片描述

#define STACK_SIZE 1024
//当前任务上下文的用户栈
uint8_t task_stack[STACK_SIZE];
//当前任务上下文
struct context ctx_task;

static void w_mscratch(reg_t x){
	asm volatile("csrw mscratch, %0" : : "r" (x));
}

void user_task0(void);
//调度任务初始化
void sched_init(){
    //初始化mscratch为0
	w_mscratch(0);
    //初始化第一个任务的栈地址
	ctx_task.sp = (reg_t) &task_stack[STACK_SIZE - 1];
	//保存任务1的地址到当前任务上下文的ra寄存器中(内存中)
	ctx_task.ra = (reg_t) user_task0;
}

/*
 * a very rough implementaion, just to consume the cpu
 */
void task_delay(volatile int count)
{
	count *= 50000;
	while (count--);
}

void user_task0(void)
{ 
    //通过串口输出任务创建信息
	uart_puts("Task 0: Created!\n");
	//每隔1s输出一条信息
	while (1) {
		uart_puts("Task 0: Running...\n");
		task_delay(1000);
	}
}

切换到第一号任务执行

在这里插入图片描述

void schedule()
{
    //获取要切换执行的任务上下文地址
	struct context *next = &ctx_task;
	//调用switch_to函数进行任务切换
	switch_to(next);
}

内核启动:

void start_kernel(void){
	uart_init();
	uart_puts("Hello, RVOS!\n");
	page_init();
	//1号调度任务初始化
	sched_init();
	//切换到1号任务执行
	schedule();
	//如果下面这段文字输出了,说明任务切换实现的有bug
	uart_puts("Would not go here!\n");
	while (1) {}; // stop here!
}

测试:
在这里插入图片描述


协作式多任务 - 调度

到目前为止,我们只实现了操作系统启动后切换到1号任务执行的效果,还无法实现多任务切换,本节我们在上一节的基础上进行改进,实现多任务切换效果:

在这里插入图片描述

  • 首先,为了支持多个同时存在多个任务,我们需要增加任务上下文容器来保持多个任务上下文,还有就是多个内核栈
//这里我们最多支持创建10个任务
#define MAX_TASKS 10
#define STACK_SIZE 1024
uint8_t task_stack[MAX_TASKS][STACK_SIZE];
struct context ctx_tasks[MAX_TASKS];
  • top标识我们一共创建了多少个任务,current指向当前任务
/*
 * _top is used to mark the max available position of ctx_tasks
 * _current is used to point to the context of current task
 */
static int _top = 0;
static int _current = -1;
  • 任务调度采用轮询策略实现任务调度
/*
 * implment a simple cycle FIFO schedular
 */
void schedule()
{
	if (_top <= 0) {
		panic("Num of task should be greater than zero!");
		return;
	}

	_current = (_current + 1) % _top;
	struct context *next = &(ctx_tasks[_current]);
	switch_to(next);
}
  • 在schedule基础上封装得到task_yield函数,用户程序调用该函数实现主动让出CPU使用权的效果
/*
 * DESCRIPTION
 * 	task_yield()  causes the calling task to relinquish the CPU and a new 
 * 	task gets to run.
 */
void task_yield()
{
	schedule();
}

初始化和任务创建

在这里插入图片描述

  • 调度程序初始化此时只需要清空mscratch寄存器即可
void sched_init()
{
	w_mscratch(0);
}
  • 任务创建
/*
 * DESCRIPTION
 * 	Create a task.
 * 	- start_routin: task routine entry
 * RETURN VALUE
 * 	0: success
 * 	-1: if error occured
 */
 //传入任务启动函数
int task_create(void (*start_routin)(void))
{
    //在任务没有超过最大限制的情况下
	if (_top < MAX_TASKS) {
	    //初始化新任务的上下文
		ctx_tasks[_top].sp = (reg_t) &task_stack[_top][STACK_SIZE - 1];
		ctx_tasks[_top].ra = (reg_t) start_routin;
		_top++;
		return 0;
	} else {
		return -1;
	}
}
  • 系统启动时,调用os_main创建两个初始化任务执行
#include "os.h"

#define DELAY 1000

void user_task0(void)
{
	uart_puts("Task 0: Created!\n");
	while (1) {
		uart_puts("Task 0: Running...\n");
		task_delay(DELAY);
		task_yield();
	}
}

void user_task1(void)
{
	uart_puts("Task 1: Created!\n");
	while (1) {
		uart_puts("Task 1: Running...\n");
		task_delay(DELAY);
		task_yield();
	}
}

/* NOTICE: DON'T LOOP INFINITELY IN main() */
void os_main(void)
{
	task_create(user_task0);
	task_create(user_task1);
}

任务运行

void start_kernel(void)
{
	uart_init();
	uart_puts("Hello, RVOS!\n");

	page_init();

	sched_init();

	os_main();

	schedule();

	uart_puts("Would not go here!\n");
	while (1) {}; // stop here!
}

测试:

在这里插入图片描述

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

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

相关文章

虚拟机-安装与使用2023

虚拟机-安装与使用 前言 一、虚拟机 1.VMware 2.Virtualbox 二、VMware 的下载 三、VMware 的安装 四、验证是否安装成功 五、运行 VMware 六、VMware 上安装其它操作系统 安装 Windows 10安装 CentOS-Linux安装 Kali-Linux 七、VMware 常用功能同步时间系统备份克隆快照内存设…

黑马Redis视频教程高级篇(多级缓存案例导入说明)

目录 一、安装MYSQL 1.1、准备目录 1.2、运行命令 1.3、修改配置 1.4、重启 二、导入SQL 三、导入Demo工程 3.1、分页查询商品 3.2、新增商品 3.3、修改商品 3.4、修改库存 3.5、删除商品 3.6、根据id查询商品 3.7、根据id查询库存 3.8、启动 四、导入商品查询…

Maven高级——私服(完结撒花!)

作用与介绍 一个公司内有两个项目组&#xff0c;如果其中一个开发了一个依赖tlias-utils,另一个项目组要使用的话要么就是传过来直接install放到自己的本地仓库里面的。 但是也可以搭建一个公共仓库&#xff0c;专门供公司局域网内部使用&#xff0c;也就是所谓私服。 然后在…

chatgpt赋能python:Python反向函数:在编程中的威力

Python反向函数&#xff1a;在编程中的威力 在Python中&#xff0c;反向函数是一个强大且常用的工具&#xff0c;可以帮助程序员在编写代码时更加高效和精确地处理数据。在本文中&#xff0c;我们将讨论Python反向函数的用途和实现&#xff0c;并详细介绍如何在您的代码中使用…

Java007——Java注释介绍

围绕以下3点介绍&#xff1a; 1、什么是Java注释&#xff1f; 2、Java注释的作用&#xff1f; 3、Java注释长什么样&#xff0c;以及怎么使用Java注释&#xff1f; 一、什么是Java注释&#xff1f; Java注释是在Java程序中用来描述代码的特殊语句。 注释被忽略并且不被编译器…

MySQL表的增删改查

目录 一、Create 1.insert 2.更新 3.替换 二、Retrieve&#xff08;查找&#xff09; 1.select 2.where 3. 结果排序 4. 筛选分页结果 三、Update 四、Delete 1.删除数据 2.截断表 五、聚合函数 1.count&#xff1a; 2.avg 3.sum 4.max 5.min 六、Group …

微信小程序开发实战 ②④(自定义 TabBar练习)

作者 : SYFStrive 博客首页 : HomePage &#x1f4dc;&#xff1a; 微信小程序 &#x1f4cc;&#xff1a;个人社区&#xff08;欢迎大佬们加入&#xff09; &#x1f449;&#xff1a;社区链接&#x1f517; &#x1f4cc;&#xff1a;觉得文章不错可以点点关注 &#x1f4…

十四、神经风格迁移

文章目录 1、神经风格迁移2、生成图片的代价函数THE END 1、神经风格迁移 \qquad 神经风格迁移就是将一幅原有的图片(content picture, C)&#xff0c;对照着一幅风格图片(style picture, S)&#xff0c;生成一幅新的图片(generated picture, G)&#xff0c;如下图所示&#xf…

k8s istio 集成 多版本应用服务 和 网格监测

说明 博客文章地址:https://blog.taoluyuan.com/posts/istio-getting-started/ 本主要是内容: 使用 istioctl 安装 istio采用 istio 官方提供 的 应用bookinfo,实现多版本的服务应用部署istio 网关 gateway,vs,dr 的基本使用利用监测工具 prometheus,grafana,jaeger 查看 ist…

关于EMC Unity 存储系统DIMM内存的几个问题

下面是客户咨询最多的几个关于EMC Unity的DIMM内存的问题&#xff0c;供大家参考。 1. Unity存储能否自己扩容内存 有客户觉得Unity存储的内容太小&#xff0c;想自己扩容内存&#xff0c;很朴实的想法&#xff0c;原来是每个控制器3条16gb&#xff0c;能不能升级到3条32gb或…

基于Mybatis-Plus拦截器实现MySQL数据加解密

一、背景 用户的一些敏感数据&#xff0c;例如手机号、邮箱、身份证等信息&#xff0c;在数据库以明文存储时会存在数据泄露的风险&#xff0c;因此需要进行加密&#xff0c; 但存储数据再被取出时&#xff0c;需要进行解密&#xff0c;因此加密算法需要使用对称加密算法。 常…

Unreal5 第三人称射击游戏 射击功能实现1

状态机的缓存 状态机缓存功能相当于我们只需要实现一次&#xff0c;可以在多个地方引用&#xff0c;也可以在别的状态机里面使用&#xff0c;而不是在里面再重新写一遍相应的功能。 我们可以在基础状态机的链接拉出一条线&#xff0c;搜索“缓存” 第一个就是新保存的缓存姿势…

Qt OpenGL(四十二)——Qt OpenGL 核心模式-GLSL(二)

提示:本系列文章的索引目录在下面文章的链接里(点击下面可以跳转查看): Qt OpenGL 核心模式版本文章目录 Qt OpenGL(四十二)——Qt OpenGL 核心模式-GLSL(二) 冯一川注:GLSL其实也是不断迭代的,比如像3.3版本中,基本数据类型浮点型只支持float型,而GLSL4.0版本开始就…

chatgpt赋能python:Python单位换算—让编程更精确的工具

Python单位换算—让编程更精确的工具 作为一名10年经验的Python工程师&#xff0c;我深深认识到在各种计算机领域的重要性。它可以帮助我们进行大量数据的计算和转换&#xff0c;其中的单位换算是其中一个重要的子领域。 单位换算对编程的重要性 无论是在科学研究还是工业生…

序贯最小二乘平差 VS 卡尔曼滤波

文章目录 Part.I IntroductionPart.II 概念比较Chap.I 序贯最小二乘平差Chap.II 卡尔曼滤波Chap.III 比较 Reference Part.I Introduction 序贯最小二乘平差和卡尔曼滤波有些相似&#xff0c;但是还是有一些区别&#xff1a; 序贯最小二乘平差用来处理静态数据&#xff0c;也…

层次多尺度注意力用于语义分割

层次多尺度注意力用于语义分割 HIERARCHICAL MULTI-SCALE ATTENTION FOR SEMANTIC SEGMENTATION https://arxiv.org/pdf/2005.10821.pdf 摘要 多尺度推断通常用于提高语义分割的结果。多个图像尺度通过网络传递&#xff0c;然后使用平均或最大池化方法将结果组合起来。在本文…

活用Excel高级筛选解决实际问题

一朋友遇到一个难题&#xff1a;一个电子行业文档&#xff0c;数据中有一项为输出电压&#xff0c;有固定值比如24V、48V等&#xff1b;也有范围值比如10V-60V或者40V-50V&#xff0c;数据不规则&#xff0c;且数量庞大。需要对数据进行分析&#xff0c;筛选出有效数据&#xf…

Spring Bean生命周期之(1)BeanDefinition

文章目录 1 BeanDefinition1.1 Spring Bean 读取解析配置信息1.1.1 XML 配置的处理主要使用的事例1.1.2 注解 BeanDefinition 解析示例 1.2 spring bean 注册阶段1.3 Spring BeanDefinition 合并阶段1.3.1 BeanDefinition 合并示例1.3.2 源码分析 1 BeanDefinition 在spring b…

机器学习——线性回归篇

基本概念 什么是回归预测&#xff1f;什么是分类预测&#xff1f; 模型输入变量预测结果应用回归预测实值离散一个连续值域上的任意值预测值的分布情况分类预测实值离散两个或多个分类值将输入变量分类到不同类别 思考一个问题&#xff1a;分类问题是否可以转变为回归问题&am…

百度商业AI技术创新大赛启动-63万元奖金!

随着生成式AI在全球范围的热议&#xff0c;AIGC前沿技术也在快速迭代&#xff0c;正如百度CEO李彦宏所说“人工智能发生了方向性改变&#xff0c;从辨别式AI走向生成式AI&#xff0c;生成式AI会带来极大的效率提升”。而这一领域的发展&#xff0c;将推动AI产品应用深化&#x…