找回密码
 立即注册
Qt开源社区 门户 查看内容

一个小型嵌入式操作系统设计:精髓都有了!

2019-8-11 13:46| 发布者: admin| 查看: 619| 评论: 0

摘要: 这个是在网上看到的一篇文档,作者的目的是设计一个简单的嵌入式操作系统,只实现一个基本任务调度器的功能。正如作者所说,虽然不能称为操作系统,但已体现了小型嵌入式操作系统的精髓。对于我们来说是很好的学习资 ...
这个是在网上看到的一篇文档,作者的目的是设计一个简单的嵌入式操作系统,只实现一个基本任务调度器的功能。正如作者所说,虽然不能称为操作系统,但已体现了小型嵌入式操作系统的精髓。对于我们来说是很好的学习资料,可以从中一窥操作系统的面目,今天分享给大家。


1

多任务机制



其实在单一CPU 的情况下,是不存在真正的多任务机制的,存在的只有不同的任务轮流使用CPU,所以本质上还是单任务的。但由于CPU执行速度非常快,加上任务切换十分频繁并且切换的很快,所以我们感觉好像有很多任务同时在运行一样。这就是所谓的多任务机制。

实时系统的特征是延时可预测,能够在一个规定的时间内(通常是 ms 级别的)对某些信号做出反应。


2

任务的状态


任务有下面的特性:任务并不是随时都可以运行的,而一个已经运行的任务并不能保证一直占有 CPU 直到运行完。一般有就绪态,运行态,挂起态等。

运行态:一个运行态的任务是一个正在使用 CPU 的任务。任何时刻有且只有一个运行着的任务。

就绪态:一个就绪态任务是可运行的,等待占有 CPU 的任务释放 CPU。

挂起态:某些条件不满足而挂起不能运行的状态。


3

如何转化为就绪态


INT32U OSRdyTbl; /* 就绪任务表 */

上面定义一个 32 位变量,每一位代表一个任务,0 表示挂起状态,1 表示就绪状态。它记录了各任务的就绪与否状态,称它为就绪表。OSRdyTbl 定义为 32 位变量,对应32 个任务。当然,定义为 64 位的话,便最多能支持 64 个任务。这样,可以定义两个宏,实现把任务的状态变为就绪或挂起态。

/* 在就绪表中登记就绪任务 */

#define OSSetPrioRdy(prio) { OSRdyTbl |= 0x01<<prio;} //把相应位置1

/* 从就绪表中删除任务 */

#define OSDelPrioRdy(prio) { OSRdyTbl &= ~(0x01<<prio); }//把相应位清零

任务之间互相独立,不存在互相调用的关系。所有任务在逻辑上都是平等的。由于任务之间互相看不见,所以他们之间的信息传输就无法当面完成。这就需要各种通信机制如信号量,消息邮箱,队列等来实现。


4

什么是抢占式调度?


调度的概念,通俗的说就是系统在多个任务中选择合适的任务执行。系统如何知道何时该执行哪个任务?可以为每个任务安排一个唯一的优先级别,当同时有多个任务就绪时,优先运行优先级较高的任务。同时,任务的优先级也作为任务的唯一标识号。代码中都是对标识号来完成对任务的操作的。

所谓“抢占式调度”是指:一旦就绪状态中出现优先权更高的任务,便立即剥夺当前任务的运行权,把CPU分配给更高优先级的任务。这样CPU 总是执行处于就绪条件下优先级最高的任务。


5

多任务系统的时间管理


与人一样,多任务系统也需要一个“心跳”来维持其正常运行,这个心跳叫做时钟节拍,通常由定时器产生一个固定周期的中断来充当。

OSTimeDly 函数就是以时钟节拍为基准来延时的(在时钟的中断服务函数中,依次对各个延时任务的延时节拍数减1。若发现某个任务的延时节拍数变为0,则把它从挂起态置为就绪态。)。这个函数完成功能很简单,就是先挂起当起当前任务,设定其延时节拍数,然后进行任务切换,在指定的时钟节拍数到来之后,将当前任务恢复为就绪状态。任务必须通过OSTimeDly或 OSTaskSuspend 让出CPU的使用权(延时或等待事件),使更低优先级任务有机会运行。


6

如何实现多任务?


只有一个CPU,如何在同一时间实现多个独立程序的运行?要实现多任务,条件是每个任务互相独立。人如何才能独立,有自己的私有财产。任务也一样,如果一个任务有自己的CPU,堆栈,程序代码,数据存储区,那这个任务就是一个独立的任务。(CPU是通过多任务机制获得的,其他的需要你分配)

TIPS:

如果一个任务正在运行某个公共函数时(如Printf), 被另一个高优先级的任务抢占,那么当这个高优先级的任务也调用同一个公共函数时,极有可能破坏原任务的数据。因为两个任务可能共用一套数据。为了防止这种情况发生,常采用两种措施:可重入设计和互斥调用。

可重入函数中所有的变量均为局部变量,局部变量在调用时临时分配空间,所以不同的任务在不同的时刻调用该函数时,它们的同一个局部变量所分配的存储空间并不相同(任务私有栈中),互不干扰。另外,如果可重入函数调用了其他函数,则这些被调用的函数也必须是可重入函数。

实现互斥(独占)访问的方法有关中断,关调度,互斥信号量,计数信号量等。

6.1 一个任务如何拥有自己的程序代码

对于如何实现多任务,首先是程序代码,每个任务的程序代码与函数一样,与51 的裸奔程序一样,每个任务都是一个大循环。然后是数据存储区,由于全局变量是系统共用的,各个任务共享,不是任务私有,所以这里的数据存储区是指任务的私有变量,如何变成私有?局部变量也。编译器是把局部变量保存在栈里的,所以好办,只要任务有个私有的栈就行。

TIPS:

临界资源是一次仅允许一个任务使用的共享资源。每个任务中访问临界资源的那段程序称为临界区。

在多任务系统中,为保障数据的可靠性和完整性,共享资源要互斥(独占)访问,所以全局变量(只读的除外)不能同时有多个任务访问,即一个任务访问的时候不能被其他任务打断。共享资源是一种临界资源。

6.2 一个任务如何拥有自己的堆栈、数据存储区

私有栈的作用是存放局部变量,函数的参数,它是一个线性的空间,所以可以申请一个静态数组,把栈顶指针SP指向栈的数组的首元素(递增栈)或最后一个元素(递减栈)。即可打造一个人工的栈出来。每个任务还要有记录自己栈顶指针的变量,保存在任务控制块(TCB)中。

什么是任务控制块?

系统中的每个任务具有一个任务控制块,任务控制块记录任务执行的环境,这里的任务控制块比较简单,只包含了任务的堆栈指针和任务延时节拍数。任务控制块是任务的身份证。它把任务的程序与数据联系起来,找到它就可以得到任务的所有资源。



6.3 一个任务如何拥有自己的CPU

最后来看看任务是如何“拥有”自己的CPU 的。只有一个 CPU,各个任务共享,轮流使用。如何才能实现?我们先来看看中断的过程,当中断来临时,CPU 把当前程序的运行地址,寄存器等现场数据保存起来(一般保存在栈里),然后跳到中断服务程序执行。待执行完毕,再把先前保存的数据装回CPU 又回到原来的程序执行。这样就实现了两个不同程序的交叉运行。

借鉴这种思想不就能实现多任务了吗!模仿中断的过程就可以实现任务切换运行。任务切换时,把当前任务的现场数据保存在自己的任务栈里面,再把待运行的任务的数据从自己的任务栈装载到CPU中,改变 CPU 的 PC,SP,寄存器等。可以说,任务的切换是任务运行环境的切换。而任务的运行环境保存在任务栈中,也就是说,任务切换的关键是把任务的私有堆栈指针赋予处理器的堆栈指针SP。



创建一个任务。它接收三个参数,分别是任务的入口地址,任务堆栈的首地址和任务的优先级。调用本函数后,系统会根据用户给出的参数初始化任务栈,并把栈顶指针保存到任务控制块中,在任务就绪表标记该任务为就绪状态。最后返回,这样一个任务就创建成功了。

当一个任务将要运行时,便通过取得它的堆栈指针(保存在任务控制块中)将这些寄存器出栈装入CPU 相应的位置即可。

6.4 如何实现抢占式调度?

基于任务优先级的抢占式调度,也就是最高优先级的任务一旦处于就绪状态,则立即抢占正在运行的低优先级任务的处理器资源。为了保证CPU 总是执行处于就绪条件下优先级最高的任务,每当任务状态改变后,即判断当前运行的任务是否是就绪任务中优先级最高的,否则进行任务切换。

任务状态会在什么时候发生改变呢?有下面两种情况:

1、高优先级的任务因为需要某种资源或延时,主动请求挂起,让出处理器,此时将调度就绪状态的低优先级任务获得执行,这种调度称为任务级的切换。如任务执行OSTimeDly()或OSTaskSuspend()把自身挂起就属于这种。

2、高优先级的任务因为时钟节拍到来,或在中断处理结束后,内核发现更高优先级任务获得了执行条件(如延时的时钟到时)则在中断后直接切换到更高优先级任务执行。这种调度也称为中断级的切换。

6.5 挂起/恢复任务

1. 挂起任务

通过 OSTaskSuspend()可以主动挂起一个任务。OSTaskSuspend()会把任务从任务就绪表中移出,最后重新启动系统调度。这个函数可以挂起任务本身也可以挂起其他任务。

2 .恢复任务(OSTaskResume())

可以让被 OSTaskSuspend 或 OSTimeDly 挂起的任务恢复就绪态,然后进行任务调度。

-END-

----------------------------------------------------------------------------------------------------------------------
我们尊重原创,也注重分享,文章来源于微信公众号:嵌入式ARM,建议关注公众号查看原文。如若侵权请联系qter@qter.org。
----------------------------------------------------------------------------------------------------------------------

鲜花

握手

雷人

路过

鸡蛋

公告
可以关注我们的微信公众号yafeilinux_friends获取最新动态,或者加入QQ会员群进行交流:190741849、186601429(已满) 我知道了