- 浏览: 1071117 次
-
文章分类
最新评论
-
cjh_android:
我想你是对的,至少对于现实是对的,不过对于技术岗位竞争越来越激 ...
程序员的思考--终于确定了自己的技术发展方向 -
dongbiying:
现在情况如何 。。
创业,不能兼职 -
jackyrong:
ie 9 下时,老显示关闭窗口提示,有办法去掉么,就是关闭掉那 ...
jquery右下角弹窗效果 -
lmaxjj:
加点班如果都称得上是累,只能说明还没体会到真正的生活。。
IT男的进化论 -
馨雨轩:
IT男要进化需要先穿越
IT男的进化论
嵌入式操作系统内核原理和开发
嵌入式操作系统内核原理和开发(开篇)
操作系统是很多人每天必须打交道的东西,因为在你打开电脑的一刹那,随着bios自检结束,你的windows系统已经开始运行了。如果问大家操作系统是什么?可能有的人会说操作系统就是windows,就是那些可以放大、缩小、移动的窗口。对曾经是计算机专业的朋友来说,这个答案还要稍微复杂一些,操作系统可能还有linux、unix、ios、sun solaris、aix等。如果再细化一点,对嵌入式工具比较解的朋友还会有新的补充,因为在他们看来,vxworks、eCos、ucos也都是操作系统,虽然它们好多系统连界面都没有。
既然操作系统称之为一个系统,那么它必然是由好多的部件组成的。有过linux嵌入式开发经验的朋友都知道,要想使一个linux在arm芯片上真正跑起来,它必须有三个部分组成,即boot + 内核 + 文件系统。而真正内核的东西其实很少,也就是cpu初始化、线程调度、内存分配、文件系统、网络协议栈、驱动这些部分组成。那么是不是所有的芯片都需要跑操作系统呢?我们可以举个例子。
现在有一个简单的温度测量电路,它由三部分组成:1、单片机;2、温度传感器模块;3、无线发射模块。我们设计这么一个温度测量电路其实就是一个目的,那就是为了实时获取当前的温度信息。那么,这么一个简单的电路应该怎么设计程序呢?其实很简单。
- voidsleep(intvalue)
- {
- intouter;
- intinner;
- for(;outer<value;outer++)
- {
- for(inner=0;inner<1000;inner++)
- ;
- }
- }
- voidmain()
- {
- while(1)
- {
- /*readtemperaturefromport*/
- sleep(1000);
- /*sendtemperaturetowirelessmodule*/
- sleep(1000);
- }
- }
认识操作系统的用途不难,关键是如何把操作系统用代码写出来。也许有人会跟你说,免费的代码一大堆,Linux就不错,你下载下来直接读就好了。但是我告诉你,最新的Linux内核版本已经轻松的越过了3.0,整个代码的长度远在千万行之上,你可能从哪看起都不知道。可能此时又有人不同意了,看不懂高版本的linux,可以看看linux低版本的代码,0.11版本的代码就不错,因为赵炯就是怎么推荐的。我要说的是,0.11的代码固然好,但是怎么编译版本、怎么修改代码、怎么构造文件系统、怎么跑起来是我们绕不过的一道难题。对于很多朋友来说,阅读linux代码尚且困难,更不要说后面还需要完成的一大摊子烂事了。
说了这么多,我们需要的的内核代码是什么样的?其实在我看来,很简单。它只要满足下面两个条件就可以了,
(1)像用户软件一样可以运行;
(2)像用户软件一样可以单步调试。
要解决这些问题,对linux系统来说上不难解决。要解决os的运行和调试问题,关键就在于如何仿真中断和实现os的任务切换。至于任务的开启、运行和挂起,内存分配,互斥量,信号量,文件系统,tcp/ip协议栈,GUI操作,这些其实都是可以在linux上进行仿真和操作的,朋友们可以尽请放心。这部分的内容,我们会在以后的博客中陆续展开。
为了能够更好地阅读后面发表的博文,我建议你巩固一下下面这些知识,这样会对你的理解有很大的裨益。
(1)cpu 结构,了解中断流程就行;
(2)linux 汇编语言;
(3)函数堆栈格式和内容;
(4)互斥量、信号量的使用方法;
(5)调度的基本策略;
(6)内存分配的基本方法;
(7)tcp/ip socket编程;
(8)gui编程方法,可以参考windows的方法;
(9)系统中的内存布局、编译原理等等。
嵌入式操作系统内核原理和开发(cpu的那些事)
cpu是数字处理系统中的一个重要环节。在我看来,单片机、微处理器、dsp都可以称作是cpu,只是它们的侧重点有所不同罢了。具体来说,传统意义上的单片机更偏重于嵌入式的计算,比如说我们经常使用的51、avr、arm芯片中不仅仅含有了运算和控制功能,它还涵盖了定时器、串口、并口、usb、i2c总线等外部资源。dsp呢,cpu一般只是作为dsp的一个核存在,它通常还会包含另外一个核,专门用于数字信号的处理工作。而微处理器,也就是我们经常说的pc上的处理器,它的工作比较单一,专注于计算和控制功能的处理,因此一般来说在这方面的性能上面,单片机和dsp都是不能和它相比的,有了南桥芯片和北桥芯片的帮助,pc的微处理器就可以专注于自己的本职工作了,效率上面也会有一个很大的提高。对于朋友们来说,生活中遇到的最多的cpu其实是x86的cpu。当然,如果有哪位朋友喜欢apple之类的玩具,也会知道一些arm的相关事情。剩下的就是一些专用领域的cpu了,比如说在通信行业用到的比较多的powerpc芯片,在高性能服务器用的到的sun sparc芯片,在科学计算领域使用到的mips芯片。所以,无论遇到什么芯片,对于应用层开发的朋友都是一样的,只是在一些小地方需要还有一些注意的地方。比如说,
(1)数据的对齐方式
(2)数据的字节序问题
(3)函数参数的压栈问题
(4)cpu的乱序执行问题
(5)cpu中cache和内存一致性的问题
当然,如果我们所要思考只是简单的应用层设计,考虑到这些内容本身已经实属不易了。然而,我们考虑的是如何设计嵌入式操作系统的问题,所以接下来还要看看一般cpu下面都包含了那些内容。这样,只要熟练掌握了一款cpu的设计和实现,对其他cpu的知识也会触类旁通了。
任何一款cpu,不管是完成的功能是什么样的,通常都会有这样一些基本设计:
(1)寄存器
堆栈寄存器
pc寄存器
状态寄存器
运算寄存器
寄存器是cpu内部的基本资源。不管cpu的代码执行到什么时候,这些资源都是共享的,所以在cpu发生中断、函数调用、线程切换的时候,都需要对这些寄存器进行保护,常用的基本措施就是把把它们保存到临时堆栈当中去。堆栈寄存器记录了当前堆栈使用到了什么地方,pc寄存器则记录当前代码跑到了什么地方,下一条指令在什么地方等。状态寄存器则保存了当前cpu的执行情况,包括计算有没有溢出、中断是关还是开、有没有o除数异常等等。至于运算寄存器就因cpu而异了,有的cpu寄存器比较少,比如说x86的寄存器;有的cpu寄存器就比较多,比如说powerpc。运算寄存器的用途很多,比如说数据访问、计算、移位、返回计算结果等等。
(2)指令集
寻址指令
数学运算指令
逻辑运算指令
软中断指令
跳转指令
远程调用指令
io访问指令
栈操作指令
指令集在某种程度上直接决定了某一种cpu的类型。就像intel和amd生产的cpu虽然有差别,但是它们的cpu使用的都是x86的指令集,而marwell、samsung和高通生产的cpu当然也不同,但是它们的指令集都是arm指令集。所以,如果软件在marwell上跑,一般来说也可以在Samsung上跑起来。指令集很复杂,内容很多。但是通常来说,上面这些内容都是cpu所必须要完成的几种指令。当然重中之重的还是中断和栈处理指令。
(3)中断、异常处理机制
不管是什么cpu,中断部分的内容都是少不了的。试想一想,如果一颗cpu只知道不停地运行,那么它的执行效率实际上是很低的。拥有了中断的cpu不仅使得cpu可以和更多的外设io打交道,还能极大地提高自身运行的效率。不同的cpu处理中断的方法其实都差不多,在整个cpu的地址空间里面,通常在低地址区域会有一张中断向量表,表中每一项记录了每一个中断对应的处理函数。所以,只要中断发生时,cpu就会首先将下一条pc地址压入堆栈,然后跳转到中断向量表中对应的中断地址处执行的相应的处理函数。这个过程是cpu自动完成的,不需要我们关心。这样对我们来说,它和cpu中的函数调用其实没有什么区别。等待中断处理结束后,我们使用ret指令返回到之前压入的那个ip地址处,继续下面的代码。整个过程就好像中断根本没有发生过一样。
所以,对于cpu的了解其实主要就是对寄存器、指令集和中断的了解。有了对中断和堆栈的深入理解,其实也就没有什么困难的了。在这里我们大家可以考虑一个问题,如何在Windows或者linux下仿真中断完成我们的操作系统开发呢?大家可以自己先思考一下,我们会在随后的博客中继续介绍。整篇文章,我们没有介绍编码的相关内容,其实只要把这里的基本概念弄清楚了,剩下来其实就是一些流程性的工作了。在软件开发中,设计其实是最难的,剩下的才是开发和调试。
嵌入式操作系统内核原理和开发(中断)
在我个人看来,中断是cpu最重要的特色。从某种意义上来说,没有中断就没有嵌入式操作系统。一旦你明白了中断的真正含义,你对操作系统的了解就算真正入门了。什么是中断呢?我们可以看看单片机下面是怎么做的。- #include<REG51.h>
- sbitLED=P1^6;
- unsignedintled_enable=0;
- voidDelay(unsignedinta)
- {
- unsignedinti;
- while(a)
- {
- a--;
- for(i=0;i<1200;i++);
- }
- }
- voidled_switch(void)interrupt0using1
- {
- if(0==led_enable)
- {
- led_enable=1;
- }
- else
- {
- led_enable=0;
- }
- EX0=1;
- }
- voidmain(void)
- {
- EA=1;
- EX0=1;
- while(1){
- if(led_enable)
- {
- LED=0;
- Delay(100);
- LED=1;
- Delay(100);
- }
- }
- }
上面的代码是一段真实的51单片机代码。它完成的功能很简单,就是对led灯进行点亮处理。怎么解释呢?在单片机上电后,我们发现一开始led二极管没有发生闪烁。在我们单击按键之后,led开始出现间隙性闪烁的现象,之后再一次单击按键,又可以发现led的闪烁现象消失了。为什么会出现这种现象?主要是因为我们单击按键的时候,在单片机的引脚处产生了中断。查看到中断的单片机此时就会跳转到中断向量表里面查找中断处理函数。这里的按键中断处理函数就是led_switch。处理完led_switch之后,单片机又会回到原来的main函数继续执行,所以整个中断的过程就像没有发生过一样。因为在led_switch中我们对led_enable进行了处理,所以就出现了我们在前面说过的各种现象。
说到这,也许有的朋友会说,cpu的这种中断属性怎么才能在pc上面仿真出来呢?其实很简单。linux系统本身就有一个优秀的特性,那就是信号。只要我们设定相应的信号和处理函数,那么linux系统就会在系统调度返回之前调用相应的信号函数来处理。整个信号处理的过程和中断是一模一样的。因为在处理中断的时候,我们需要对cpu的现场进行保存和恢复处理,而信号的处理也是一样。在信号处理前,系统肯定是处于内核态,那么linux系统肯定已经为我们做好了现场的保护工作,处理完信号之后,系统本身又会恢复到原来的用户态,继续执行下面的代码。所以linux自身也会默认对原来的场景进行恢复处理,就好象中断返回一样。
- #include<stdio.h>
- #include<time.h>
- #include<sys/time.h>
- #include<stdlib.h>
- #include<signal.h>
- staticintcount=0;
- staticstructitimervaloldtv;
- voidset_timer()
- {
- structitimervalitv;
- itv.it_interval.tv_sec=1;
- itv.it_interval.tv_usec=0;
- itv.it_value.tv_sec=1;
- itv.it_value.tv_usec=0;
- setitimer(ITIMER_REAL,&itv,&oldtv);
- }
- voidsignal_handler(intm)
- {
- count++;
- printf("%d\n",count);
- }
- intmain()
- {
- signal(SIGALRM,signal_handler);
- set_timer();
- while(count<10000);
- exit(0);
- return1;
- }
- (gdb)bt
- #0signal_handler(m=14)atcode.c:23
- #1<signalhandlercaller>
- #2main()atcode.c:32
- #include<stdio.h>
- #include<stdlib.h>
- #include<signal.h>
- #include<tchar.h>
- #include<Windows.h>
- voidSignalHandler(intsignal)
- {
- printf("Applicationover..\n");
- }
- intmain()
- {
- typedefvoid(*SignalHandlerPointer)(int);
- SignalHandlerPointerpreviousHandler;
- previousHandler=signal(SIGINT,SignalHandler);
- while(1)
- {
- Sleep(0);
- }
- exit(1);
- }
下面,我们首先编译这一段代码。接着在程序run之后,我们可以在SignalHandler之处设置一个断点。一切就绪完毕,再按下ctrl+c之后,系统就会在SignalHandler之处断住。此时单击【Debug】-> 【Threads】,就可以看到这个情况。
相信看到这里,大家应该看明白了。其实在Windows下面,信号是专门有一个线程来完成的,和原来的main函数不是同一个线程。既然线程都不是一样的,而中断本身是必须在一个thread中完成的。我们怎么能利用windows来仿真cpu的中断处理流程呢。
嵌入式操作系统内核原理和开发(地址空间)
不管是什么样的嵌入式cpu,它必然有自己的访问地址空间。至于这个具体的访问空间是什么,那cpu就不知道了。它可以是ram,当然也可以是flash、uart、ide、i2c等。当然cpu不仅需要地址总线,它还需要数据总线和控制总线。这三个总线的目的都非常明确,控制总线主要是为了实现cpu对外设接口的控制,地址总线是为了实现地址的输出,数据总线则是为了实现数据内容的获取或者设置。所以,对于一般的嵌入式cpu来说,它的基本架构应该是这样的,在x86的cpu上,很多对外设的操作是需要通过北桥或者通过南桥芯片完成的。而在嵌入式硬件中,我们就把经常使用到的接口芯片集成到了cpu里面。所以在嵌入式cpu功能上面,你除了看到cpu的字长、时钟、指令集、运算速率这些通常的数据之外,你还会看到很多的接口控制寄存器,比如说定时器寄存器,lcd寄存器,uart寄存器,i2c寄存器。这些都表明了此时的cpu完成的不仅仅是简单的计算功能,它还需要完成对外设接口的设置。通过对应的寄存器设置,我们就可以对外设的接口状态进行控制。
说了这么多,我们接下来要看看嵌入式系统在地址空间里面是怎么设计的啊?其实一个完整的嵌入式软件系统并不复杂。一般来说,一个完整的系统需要有boot、kernel、文件系统三部分。其中boot主要放在norflash里面,而kernel和文件系统是存放在nandflash里面。在系统上电之后,cpu会有一个初始地址,这个地址要么是0x00000001,或者是0xFFFF0000。通常这个地址会指向Norflash,下面开始执行的代码当然就是boot代码。因为Norflash的访问速度要比Ram速度慢很多,所以boot代码很快会把自己拷贝到Ram中,然后跳到Ram中继续运行。boot的功能比较简单,主要就是为了获取芯片参数,设置芯片属性,设置堆栈空间,加载操作系统内核等。在boot完成自己的功能之后,它会把系统内核加载到Ram中,然后jump到系统的运行首地址处运行。系统内核主要完成整个系统的初始化工作,比如说内存分配,信号量初始化,net初始化,驱动结构初始化等工作。在内核即将完成初始化的时候,它会进行最后一步操作,mount一个文件系统,加载文件系统的脚本数据,开启相关的系统进程,最后一步就是开启shell进程,接受用户的命令输入。至此,一个系统算是真正跑起来了。
前面,我们说过cpu需要数据总线、地址总线和控制总线才能与外设接口打交道。既然cpu是通过状态寄存器设置外设接口的状态的,那么cpu是如何通过地址总线与外界联系的呢?这里面就涉及到片选信号的问题。我们知道,一个32位的cpu有32条地址线和外界相连,那么也就是说如果没有其他的方法,它只能外设32个接口。那么有没有什么办法可以扩大外设接口呢?说到这里,你应该知道了,它就是解码器和片选信号了。比如说,现在有4个外设接口,我们可以怎么从地址总线中挑出两条线,00表示外设1,01表示外设2,10表示外设3,11表示外设4。这样有了解码器的帮助,我们就可以用两个地址线实现对4个外设接口的控制了。
有了cpu状态寄存器,我们可以设置当前外设接口的执行状态。如果是读命令,首先设置外设接口的状态模式为读状态,然后发送地址,此时片选信号选中的芯片就会处于使能状态,一会cpu就可以从数据总线上获得数据,存储在寄存器或者是内存当中;如果是写命令,那么cpu首先设置外设接口为写模式,然后在地址总线上输出地址,在收到芯片ready信号后,cpu再将数据从寄存器上传输到数据总线上,在等到外设芯片的ack信号后,整个数据的传输过程才算完成。我们看到,一个汇编指令的操作竟然涉及到这么多信号的操作,可见cpu的处理过程还是很复杂的。有的时候,中间还会涉及到信号完整性或者是时序的问题,那么这时候逻辑分析仪就可以派上用场了。
嵌入式操作系统内核原理和开发(基础)
在编写我们的操作系统之前,我们需要明确一些事情。比如说,这个系统的运行环境是什么?怎么编译?基本中断环境是什么?上下文怎么切换?准备实现那些内容?基本数据类型是什么?等等。(1)你的嵌入式操作系统准备叫什么名称?运行环境是什么?可以在实际环境上面运行吗?
我们准备把这个嵌入式操作系统称之为MiniOS。虽然这个操作系统实现的功能不多,但是麻雀虽小,五脏俱全。一般操作系统该有的功能,MiniOS都会有这个功能。起初,我们会在linux上运行MiniOS,之后我们会把MiniOS移植到51单片机上去。
(2)操作系统怎么编译?
MiniOS系统采用基本的C语言进行编写,没有汇编语言,但是移植到51上面需要一些汇编语言。编写完C语言文件后,我们需要一个简单的makefile文件,这样就可以实现自动化编译,进一步提高我们开发的效率。
(3)基本中断环境是什么?
因为MiniOS起初是在linux实现运行的,所以它是依靠SIGALRM实现中断调度的。当然在OS中还会有I/O操作,这里我们用信号进行仿真。SIGINT就是一种方法,每当我们使用键盘输入ctrl+C的时候,就会调用相应的函数。这和外设的中断是一模一样的。
(4)上下文怎么切换?
上下文的切换就是堆栈的切换。要弄清楚堆栈的切换,首先你要明白函数,函数里面的数据是怎么安排的,压栈是怎么回事,退栈是怎么回事。这些知识点,我们在后面都会一一介绍。
(5)MiniOS要实现哪些内容?
MiniOS虽然比较小巧,但是操作系统该有的功能它都会有。因此,我们准备实现的下面这些内容,比如说中断开关、互斥量、定时器、线程调度、内存分配都会拥有。
(6)基本数据类型是什么?
为了移植的方便,我们需要对基本数据进行重新定义一下基本数据类型。
- #defineUINT32unsignedint
- #defineINT32signedint
- #defineUINT16unsignedshort
- #defineINT16signedshort
- #defineUINT8unsignedchar
- #defineINT8signedchar
- #defineTRUE1L
- #defineFALSE0L
- #defineOK0L
- #defineERROR~0L
- #defineBOOLEANUINT32
- #defineSTATUSUINT32
(7)把MiniOS移植到51单片机需要做些什么?
其实把MiniOS移植到51上面,其实不困难,只要做到这几个方面就可以了。a)基本数据类型重新定义;b)中断开关重新进行设置;c)任务切换的压栈、出栈处理。要是做到这里,我们就可以在51单片机上面把自己的OS跑起来了,那是多么开心的一件事情啊。
嵌入式操作系统内核原理和开发(系统中断仿真)
在嵌入式操作系统中,最难模仿的是系统中断的问题。在windows下面,这是没有办法的事情。但是在linux下面,却有一个非常便利的条件,那就是linux的信号处理。因为用户程序处理的时候,signal的处理和用户线程的处理堆栈是一致的,这和中断是完全吻合的。所以,如果你需要关闭中断,可以这么写,- sigprocmask(SIG_BLOCK,&new_set,&old_set);
- sigprocmask(SIG_UNBLOCK,&new_set,NULL);
- #include<stdio.h>
- #include<time.h>
- #include<sys/time.h>
- #include<stdlib.h>
- #include<signal.h>
- staticintcount=0;
- staticstructitimervaloldtv;
- voidset_timer()
- {
- structitimervalitv;
- itv.it_interval.tv_sec=1;
- itv.it_interval.tv_usec=0;
- itv.it_value.tv_sec=1;
- itv.it_value.tv_usec=0;
- setitimer(ITIMER_REAL,&itv,&oldtv);
- }
- voidsignal_handler(intm)
- {
- count++;
- printf("%d\n",count);
- }
- voidsignal_int()
- {
- printf("hello!\n");
- }
- intmain()
- {
- sigset_tnew_set;
- sigset_told_set;
- signal(SIGALRM,signal_handler);
- signal(SIGINT,signal_int);
- set_timer();
- sigemptyset(&new_set);
- sigaddset(&new_set,SIGALRM);
- sigaddset(&new_set,SIGINT);
- sigprocmask(SIG_BLOCK,&new_set,&old_set);
- sleep(10);
- sigprocmask(SIG_UNBLOCK,&new_set,NULL);
- while(count<10)sleep(1);
- return0;
- }
(1)我们的系统暂时只负责SIGINT和SIGALRM,前者负责I/O的仿真,后则负责线程的调度;
(2) sigprocmask函数用来实现中断的打开和关闭;
(3)程序首先关闭中断,然后打开中断,打印数据完即结束,仅作为示范使用。嵌入式操作系统内核原理和开发(线程切换)
在操作系统中,线程切换是很重要的一个环节。如果没有线程的切换,我们如何才能实现多线程的并发运行呢?既然要实现切换,那么一方面,我们需要对原来的寄存器进行保存,另外一方面我们还要压入新堆栈的寄存器,这样才能实现线程切换的效果。在x86下面,因为切换线程的ip地址是固定的,所以切换所需要的寄存器也是固定的,一般来说保存eax、ebx、ecx、edx、esi、edi、ebp和esp即可。比如说,像这样,- voidswap(UINT32*prev,UINT32*next)
- {
- __asm("push%%eax\n\t"
- "push%%ebx\n\t"
- "push%%ecx\n\t"
- "push%%edx\n\t"
- "push%%esi\n\t"
- "push%%edi\n\t"
- "push%%ebp\n\t"
- "push%%esp\n\t"
- "lea0x8(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov%%esp,(%%eax)\n\t"
- "lea0xc(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov(%%eax),%%esp\n\t"
- "pop%%esp\n\t"
- "pop%%ebp\n\t"
- "pop%%edi\n\t"
- "pop%%esi\n\t"
- "pop%%edx\n\t"
- "pop%%ecx\n\t"
- "pop%%ebx\n\t"
- "pop%%eax\n\t"
- ::);
- }
- voidsignal_handler(intm)
- {
- UINT32*data;
- UINT32unit;
- if(count!=0)
- {
- printf("count=%d\n",count++);
- return;
- }
- printf("count=%d\n",count++);
- data=(UINT32*)malloc(STACK_LENGTH);
- unit=STACK_LENGTH>>2;
- if(NULL==data)
- return;
- memset(data,0,STACK_LENGTH);
- data[unit-1]=(UINT32)hello;
- data[unit-2]=0;
- data[unit-3]=0;
- data[unit-4]=0;
- data[unit-5]=0;
- data[unit-6]=0;
- data[unit-7]=0;
- data[unit-8]=0;
- data[unit-9]=0;
- data[unit-10]=(UINT32)&data[unit-9];
- new=(UINT32)&data[unit-10];
- swap(&old,&new);
- free(data);
- }
- #include<stdio.h>
- #include<time.h>
- #include<sys/time.h>
- #include<stdlib.h>
- #include<signal.h>
- #defineUINT32unsignedint
- #defineSTACK_LENGTH1024
- staticstructitimervaloldtv;
- UINT32old=0;
- UINT32new=0;
- UINT32count=0;
- voidset_timer()
- {
- structitimervalitv;
- itv.it_interval.tv_sec=1;
- itv.it_interval.tv_usec=0;
- itv.it_value.tv_sec=1;
- itv.it_value.tv_usec=0;
- setitimer(ITIMER_REAL,&itv,&oldtv);
- }
- voidswap(UINT32*prev,UINT32*next)
- {
- __asm("push%%eax\n\t"
- "push%%ebx\n\t"
- "push%%ecx\n\t"
- "push%%edx\n\t"
- "push%%esi\n\t"
- "push%%edi\n\t"
- "push%%ebp\n\t"
- "push%%esp\n\t"
- "lea0x8(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov%%esp,(%%eax)\n\t"
- "lea0xc(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov(%%eax),%%esp\n\t"
- "pop%%esp\n\t"
- "pop%%ebp\n\t"
- "pop%%edi\n\t"
- "pop%%esi\n\t"
- "pop%%edx\n\t"
- "pop%%ecx\n\t"
- "pop%%ebx\n\t"
- "pop%%eax\n\t"
- ::);
- }
- voidhello()
- {
- printf("hello!\n");
- swap(&new,&old);
- }
- voidsignal_handler(intm)
- {
- UINT32*data;
- UINT32unit;
- if(count!=0)
- {
- printf("count=%d\n",count++);
- return;
- }
- printf("count=%d\n",count++);
- data=(UINT32*)malloc(STACK_LENGTH);
- unit=STACK_LENGTH>>2;
- if(NULL==data)
- return;
- memset(data,0,STACK_LENGTH);
- data[unit-1]=(UINT32)hello;
- data[unit-2]=0;
- data[unit-3]=0;
- data[unit-4]=0;
- data[unit-5]=0;
- data[unit-6]=0;
- data[unit-7]=0;
- data[unit-8]=0;
- data[unit-9]=0;
- data[unit-10]=(UINT32)&data[unit-9];
- new=(UINT32)&data[unit-10];
- swap(&old,&new);
- free(data);
- }
- intmain()
- {
- set_timer();
- signal(SIGALRM,signal_handler);
- while(count<10);
- exit(0);
- return1;
- }
嵌入式操作系统内核原理和开发(任务创建和堆栈溢出检查)
虽然写操作系统的博客要比写普通的技术点要麻烦一些,但是心中还是挺开心的。一方面,通过几行代码就可以说明一些问题,把理论实践化,这本身就很具有挑战性;另外一方面还锻炼自己的沟通能力,让更多的人明白你的想法,认可你的想法。其实,通过上面一篇博客,我们就已经清楚任务的创建是怎么一回事,但是我们还是愿意就这个问题讲得更细一点,说得更多一点。系统本身是多线程的,那说明所有线程的地址空间都是共享的。由于资源都是操作系统本身提供的,所以线程本身的要求就很低,函数名、堆栈、入口点、堆栈大小、优先级,大体上也就是这么多。至于这个堆栈是哪里的内存,其实已经不太重要了。为了简单起见,我们对原来的初始化函数 稍微修改了一下,
- voidtask_init()
- {
- UINT32unit=STACK_LENGTH;
- memset((void*)data,0,STACK_LENGTH*sizeof(UINT32));
- data[unit-1]=(UINT32)hello;
- data[unit-2]=0;
- data[unit-3]=0;
- data[unit-4]=0;
- data[unit-5]=0;
- data[unit-6]=0;
- data[unit-7]=0;
- data[unit-8]=0;
- data[unit-9]=0;
- data[unit-10]=(UINT32)&data[unit-9];
- new=(UINT32)&data[unit-10];
- }
- voidhello()
- {
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- quit=1;
- swap(&new,&old);
- }
- intcheck_stack_overflow(unsignedintbase,unsignedintcurrent)
- {
- assert(0!=base&&0!=current);
- return(current<base)?1:0;
- }
- intmain()
- {
- charval;
- task_init();
- set_timer();
- signal(SIGALRM,signal_handler);
- while(1)
- {
- scanf("%c",&val);
- }
- exit(0);
- return1;
- }
- #include<stdio.h>
- #include<time.h>
- #include<stdlib.h>
- #include<signal.h>
- #include<assert.h>
- #include<sys/time.h>
- #defineUINT32unsignedint
- #defineSTACK_LENGTH512
- staticstructitimervaloldtv;
- UINT32old=0;
- UINT32new=0;
- UINT32count=0;
- UINT32data[STACK_LENGTH]={0};
- UINT32quit=0;
- voidset_timer()
- {
- structitimervalitv;
- itv.it_interval.tv_sec=1;
- itv.it_interval.tv_usec=0;
- itv.it_value.tv_sec=1;
- itv.it_value.tv_usec=0;
- setitimer(ITIMER_REAL,&itv,&oldtv);
- }
- voidswap(UINT32*prev,UINT32*next)
- {
- __asm("push%%eax\n\t"
- "push%%ebx\n\t"
- "push%%ecx\n\t"
- "push%%edx\n\t"
- "push%%esi\n\t"
- "push%%edi\n\t"
- "push%%ebp\n\t"
- "push%%esp\n\t"
- "lea0x8(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov%%esp,(%%eax)\n\t"
- "lea0xc(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov(%%eax),%%esp\n\t"
- "pop%%esp\n\t"
- "pop%%ebp\n\t"
- "pop%%edi\n\t"
- "pop%%esi\n\t"
- "pop%%edx\n\t"
- "pop%%ecx\n\t"
- "pop%%ebx\n\t"
- "pop%%eax\n\t"
- ::);
- }
- voidhello()
- {
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- swap(&new,&old);
- printf("count=%dinsub!\n",count++);
- quit=1;
- swap(&new,&old);
- }
- voidtask_init()
- {
- UINT32unit=STACK_LENGTH;
- memset((void*)data,0,STACK_LENGTH*sizeof(UINT32));
- data[unit-1]=(UINT32)hello;
- data[unit-2]=0;
- data[unit-3]=0;
- data[unit-4]=0;
- data[unit-5]=0;
- data[unit-6]=0;
- data[unit-7]=0;
- data[unit-8]=0;
- data[unit-9]=0;
- data[unit-10]=(UINT32)&data[unit-9];
- new=(UINT32)&data[unit-10];
- }
- intcheck_stack_overflow(unsignedintbase,unsignedintcurrent)
- {
- assert(0!=base&&0!=current);
- return(current<base)?1:0;
- }
- voidsignal_handler(intm)
- {
- if(0==quit)
- {
- swap(&old,&new);
- assert(0==check_stack_overflow(data,new));
- return;
- }
- printf("count=%dinmain!\n",count++);
- }
- intmain()
- {
- charval;
- task_init();
- set_timer();
- signal(SIGALRM,signal_handler);
- while(1)
- {
- scanf("%c",&val);
- }
- exit(0);
- return1;
- }
嵌入式操作系统内核原理和开发(多线程轮转)
之前我们也谈到了线程创建,基本上简单的系统就可以跑起来了,但是还没有到多线程运行的地步。所以,我们下面试图所要做的工作就是创建更多的线程,让更多的线程运行起来。为了做好这一点,首先我们需要对task_init重新修整一下,- voidtask_init(intindex,UINT32data[],intsize,void(*func)())
- {
- UINT32unit=size;
- memset((void*)data,0,size*sizeof(UINT32));
- data[unit-1]=(UINT32)func;
- data[unit-2]=0;
- data[unit-3]=0;
- data[unit-4]=0;
- data[unit-5]=0;
- data[unit-6]=0;
- data[unit-7]=0;
- data[unit-8]=0;
- data[unit-9]=0;
- data[unit-10]=(UINT32)&data[unit-9];
- new[index]=(UINT32)&data[unit-10];
- }
这是一个创建线程的函数,有堆栈、大小、函数入口。那么,我们的函数什么时候创建呢,其实就是在系统的开始位置就可以,
- voidset_all_task()
- {
- intindex;
- for(index=0;index<THREAD_MAX_NUMBER;index++)
- task_init(index,task_stack[index],STACK_LENGTH,hello);
- }
既然任务创建没有问题,那么下面就会涉及到简单轮转的问题。其实我们的方法特别简单,就是根据current_thread_id叠加,每一个thread都有自己的运转机会。代码如下所示,
- voidsignal_handler(intm)
- {
- current_thread_id=current_thread_id%THREAD_MAX_NUMBER;
- if(0==quit[current_thread_id])
- {
- swap(&old,&new[current_thread_id]);
- }
- printf("count=%dinmain!\n\n",count++);
- current_thread_id++;
- }
当然,为了要实现真正的多线程运行,我们还要保证线程始终在运行。要达到这一点也不是很复杂,只需要把子函数设计为while(1)即可,
- voidhello()
- {
- while(1){
- printf("id=%i,count=%dinthread!\n",current_thread_id,count++);
- swap(&new[current_thread_id],&old);
- printf("id=%i,count=%dinthread!\n",current_thread_id,count++);
- swap(&new[current_thread_id],&old);
- }
- }
基本上要做到以上几点就可以实现了,最后给出完整的代码,大家可以在linux系统好好试试这个代码。
- #include<stdio.h>
- #include<time.h>
- #include<stdlib.h>
- #include<signal.h>
- #include<assert.h>
- #include<sys/time.h>
- #defineUINT32unsignedint
- #defineSTACK_LENGTH512
- #defineTHREAD_MAX_NUMBER10
- structitimervaloldtv;
- UINT32old=0;
- UINT32count=0;
- UINT32task_stack[THREAD_MAX_NUMBER][STACK_LENGTH]={0};
- UINT32new[THREAD_MAX_NUMBER]={0};
- UINT32quit[THREAD_MAX_NUMBER]={0};
- UINT32current_thread_id=0;
- voidset_timer()
- {
- structitimervalitv;
- itv.it_interval.tv_sec=1;
- itv.it_interval.tv_usec=0;
- itv.it_value.tv_sec=1;
- itv.it_value.tv_usec=0;
- setitimer(ITIMER_REAL,&itv,&oldtv);
- }
- voidswap(UINT32*prev,UINT32*next)
- {
- __asm("push%%eax\n\t"
- "push%%ebx\n\t"
- "push%%ecx\n\t"
- "push%%edx\n\t"
- "push%%esi\n\t"
- "push%%edi\n\t"
- "push%%ebp\n\t"
- "push%%esp\n\t"
- "lea0x8(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov%%esp,(%%eax)\n\t"
- "lea0xc(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov(%%eax),%%esp\n\t"
- "pop%%esp\n\t"
- "pop%%ebp\n\t"
- "pop%%edi\n\t"
- "pop%%esi\n\t"
- "pop%%edx\n\t"
- "pop%%ecx\n\t"
- "pop%%ebx\n\t"
- "pop%%eax\n\t"
- ::);
- }
- voidhello()
- {
- while(1){
- printf("id=%i,count=%dinthread!\n",current_thread_id,count++);
- swap(&new[current_thread_id],&old);
- printf("id=%i,count=%dinthread!\n",current_thread_id,count++);
- swap(&new[current_thread_id],&old);
- }
- }
- voidtask_init(intindex,UINT32data[],intsize,void(*func)())
- {
- UINT32unit=size;
- memset((void*)data,0,size*sizeof(UINT32));
- data[unit-1]=(UINT32)func;
- data[unit-2]=0;
- data[unit-3]=0;
- data[unit-4]=0;
- data[unit-5]=0;
- data[unit-6]=0;
- data[unit-7]=0;
- data[unit-8]=0;
- data[unit-9]=0;
- data[unit-10]=(UINT32)&data[unit-9];
- new[index]=(UINT32)&data[unit-10];
- }
- voidsignal_handler(intm)
- {
- current_thread_id=current_thread_id%THREAD_MAX_NUMBER;
- if(0==quit[current_thread_id])
- {
- swap(&old,&new[current_thread_id]);
- }
- printf("count=%dinmain!\n\n",count++);
- current_thread_id++;
- }
- voidset_all_task()
- {
- intindex;
- for(index=0;index<THREAD_MAX_NUMBER;index++)
- task_init(index,task_stack[index],STACK_LENGTH,hello);
- }
- intmain()
- {
- charval;
- set_all_task();
- set_timer();
- signal(SIGALRM,signal_handler);
- while(1)
- {
- scanf("%c",&val);
- }
- exit(0);
- return1;
- }
嵌入式操作系统内核原理和开发(通用优先级调度)
相比较其他调度算法而言,时间片的轮转更多的注重公平性。但是,任务与任务之间也是有先后之分的,有的任务我们希望多安排一些时间片,而有的任务我们则希望少安排一些时间片。比较说,如果我们在上网的话,我们就希望上网的操作响应的更快一些;如果我们在进行GUI操作,我们当然就希望图形响应更快一些。这些都是可以理解的,下面我们就绪要对数据结构进行一些修改。- typedefstruct_TASK_INFO
- {
- UINT32id;
- UINT32*stack;
- UINT32size;
- UINT32context;
- UINT32priority;
- UINT32time_slice;
- void(*func)();
- }TASK_INFO;
- voidreset_time_slice()
- {
- intindex;
- for(index=0;index<THREAD_MAX_NUMBER;index++)
- gAllTask[index].time_slice=gAllTask[index].priority+1;
- }
- voidsignal_handler(intm)
- {
- intindex;
- start:
- index=find_next_thread();
- if(-1==index)
- {
- reset_time_slice();
- gotostart;
- }
- gAllTask[index].time_slice--;
- current_thread_id=index;
- swap(&old,&gAllTask[current_thread_id].context);
- }
- intfind_next_thread()
- {
- intindex;
- for(index=THREAD_MAX_NUMBER-1;index>=0;index--)
- {
- if(0!=gAllTask[index].time_slice)
- break;
- }
- returnindex;
- }
- #include<stdio.h>
- #include<time.h>
- #include<stdlib.h>
- #include<signal.h>
- #include<assert.h>
- #include<string.h>
- #include<sys/time.h>
- #defineUINT32unsignedint
- #defineSTACK_LENGTH512
- #defineTHREAD_MAX_NUMBER10
- typedefstruct_TASK_INFO
- {
- UINT32id;
- UINT32*stack;
- UINT32size;
- UINT32context;
- UINT32priority;
- UINT32time_slice;
- void(*func)();
- }TASK_INFO;
- staticstructitimervaloldtv;
- UINT32old=0;
- UINT32count=0;
- UINT32task_stack[THREAD_MAX_NUMBER][STACK_LENGTH]={0};
- TASK_INFOgAllTask[THREAD_MAX_NUMBER]={0};
- UINT32current_thread_id=0;
- voidset_timer()
- {
- structitimervalitv;
- itv.it_interval.tv_sec=1;
- itv.it_interval.tv_usec=0;
- itv.it_value.tv_sec=1;
- itv.it_value.tv_usec=0;
- setitimer(ITIMER_REAL,&itv,&oldtv);
- }
- voidswap(UINT32*prev,UINT32*next)
- {
- __asm("push%%eax\n\t"
- "push%%ebx\n\t"
- "push%%ecx\n\t"
- "push%%edx\n\t"
- "push%%esi\n\t"
- "push%%edi\n\t"
- "push%%ebp\n\t"
- "push%%esp\n\t"
- "lea0x8(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov%%esp,(%%eax)\n\t"
- "lea0xc(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov(%%eax),%%esp\n\t"
- "pop%%esp\n\t"
- "pop%%ebp\n\t"
- "pop%%edi\n\t"
- "pop%%esi\n\t"
- "pop%%edx\n\t"
- "pop%%ecx\n\t"
- "pop%%ebx\n\t"
- "pop%%eax\n\t"
- ::);
- }
- voidhello()
- {
- inttemp=0;
- while(1){
- printf("id=%d,temp=%d,count=%dinthread!\n",current_thread_id,temp++,count++);
- swap(&gAllTask[current_thread_id].context,&old);
- printf("id=%d,temp=%d,count=%dinthread!\n",current_thread_id,temp++,count++);
- swap(&gAllTask[current_thread_id].context,&old);
- }
- }
- intfind_next_thread()
- {
- intindex;
- for(index=THREAD_MAX_NUMBER-1;index>=0;index--)
- {
- if(0!=gAllTask[index].time_slice)
- break;
- }
- returnindex;
- }
- voidreset_time_slice()
- {
- intindex;
- for(index=0;index<THREAD_MAX_NUMBER;index++)
- gAllTask[index].time_slice=gAllTask[index].priority+1;
- }
- voidtask_init(intindex)
- {
- UINT32unit=gAllTask[index].size;
- UINT32*pData=gAllTask[index].stack;
- memset((void*)pData,(int)0,unit*sizeof(UINT32));
- pData[unit-1]=(UINT32)gAllTask[index].func;
- pData[unit-2]=0;
- pData[unit-3]=0;
- pData[unit-4]=0;
- pData[unit-5]=0;
- pData[unit-6]=0;
- pData[unit-7]=0;
- pData[unit-8]=0;
- pData[unit-9]=0;
- pData[unit-10]=(UINT32)&pData[unit-9];
- gAllTask[index].context=(UINT32)&pData[unit-10];
- }
- voidsignal_handler(intm)
- {
- intindex;
- start:
- index=find_next_thread();
- if(-1==index)
- {
- reset_time_slice();
- gotostart;
- }
- gAllTask[index].time_slice--;
- current_thread_id=index;
- swap(&old,&gAllTask[current_thread_id].context);
- }
- voidset_all_task()
- {
- intindex;
- memset(gAllTask,0,sizeof(gAllTask));
- for(index=0;index<THREAD_MAX_NUMBER;index++)
- {
- gAllTask[index].id=index;
- gAllTask[index].stack=task_stack[index];
- gAllTask[index].size=STACK_LENGTH;
- gAllTask[index].context=0;
- gAllTask[index].func=hello;
- gAllTask[index].priority=index;
- gAllTask[index].time_slice=index+1;
- task_init(index);
- }
- }
- intmain()
- {
- charval;
- set_all_task();
- set_timer();
- signal(SIGALRM,signal_handler);
- while(1)
- {
- scanf("%c",&val);
- }
- exit(0);
- return1;
- }
嵌入式操作系统内核原理和开发(改进型优先级调度)
上面的一篇博客说到了优先级调度,但是那个优先级调度算法比较极端。打个比方说,现在王先生有三个小孩,分别是老大、老二、老三。假设现在到了饭点,王先生需要给三个小孩喂饭。此时如果是时间片轮转的话,那么就是绝对公平,王先生每人一口不停地进行喂饭。如果是优先级调度,那么王先生首先自己有一个优先级考量,比如说三个小孩按照年龄顺序优先级是逐渐提高的,毕竟小孩需要更多的照顾嘛。这个时候如果需要进行喂饭的话,那么王先生需要首先伺候好最小的那个小孩老三,才会有时间照顾老二,至于老大什么时候才能得到照顾那就看造化了。现在,我们打算重新换一种方法。假设三个小孩的优先级分别是1、2、3,其中年龄越小优先级越高,3代表高优先级。接着,我们按照优先级给三个小孩安排时间片,分别是1、2、3。同时,这个时间片不光代表了当前可用的剩余时间,还代表了小孩此时的临时优先级。
(1)首先王先生给老三喂饭,时间片降低1,即临时优先级为2;
(2)接着王先生判断当前优先级最高的仍为老三,毕竟老二的优先级也没有超过老三,所以老三的时间片降1,临时优先级为1;
(3)王先生获知当前优先级最高的为老二,老二获得时间片;
(4)此时王先生发现三个孩子的临时优先级都一样,那么就会按照固定优先级的大小依次对老三、老二、老大进行喂饭。
我们发现,这中间受益最大的就是老二。当然,我们可以做进一步推论,如果老王的孩子越多,那么优先级处于中间的孩子在时间片的分配上将更加均匀,响应也会更加及时,交互性也会变得很好。
根据以上的想法,我们重新改写了优先级调度算法,修改为改进型优先级调度算法,
- intfind_next_thread()
- {
- intindex;
- intchoice=THREAD_MAX_NUMBER-1;
- intvalue=gAllTask[choice].time_slice;
- for(index=choice-1;index>=0;index--)
- {
- if(value<gAllTask[index].time_slice)
- {
- choice=index;
- value=gAllTask[index].time_slice;
- }
- }
- if(0==value)
- choice=-1;
- returnchoice;
- }
- #defineTIME_ROUND_SCHEDULE0
- #defineHARD_PRIORITY_SCHEDULE0
- #defineSOFT_PRIORITY_SCHEDULE1
这些代码都是可以在系统中共存的。选用什么算法,取决于实际情况是什么样的情形。
- #include<stdio.h>
- #include<time.h>
- #include<stdlib.h>
- #include<signal.h>
- #include<assert.h>
- #include<string.h>
- #include<sys/time.h>
- #defineUINT32unsignedint
- #defineSTACK_LENGTH512
- #defineTHREAD_MAX_NUMBER10
- #defineTIME_ROUND_SCHEDULE0
- #defineHARD_PRIORITY_SCHEDULE0
- #defineSOFT_PRIORITY_SCHEDULE1
- typedefstruct_TASK_INFO
- {
- UINT32id;
- UINT32*stack;
- UINT32size;
- UINT32context;
- UINT32priority;
- UINT32time_slice;
- void(*func)();
- }TASK_INFO;
- staticstructitimervaloldtv;
- UINT32old=0;
- UINT32count=0;
- UINT32task_stack[THREAD_MAX_NUMBER][STACK_LENGTH]={0};
- TASK_INFOgAllTask[THREAD_MAX_NUMBER]={0};
- UINT32current_thread_id=0;
- voidset_timer()
- {
- structitimervalitv;
- itv.it_interval.tv_sec=1;
- itv.it_interval.tv_usec=0;
- itv.it_value.tv_sec=1;
- itv.it_value.tv_usec=0;
- setitimer(ITIMER_REAL,&itv,&oldtv);
- }
- voidswap(UINT32*prev,UINT32*next)
- {
- __asm("push%%eax\n\t"
- "push%%ebx\n\t"
- "push%%ecx\n\t"
- "push%%edx\n\t"
- "push%%esi\n\t"
- "push%%edi\n\t"
- "push%%ebp\n\t"
- "push%%esp\n\t"
- "lea0x8(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov%%esp,(%%eax)\n\t"
- "lea0xc(%%ebp),%%eax\n\t"
- "mov(%%eax),%%eax\n\t"
- "mov(%%eax),%%esp\n\t"
- "pop%%esp\n\t"
- "pop%%ebp\n\t"
- "pop%%edi\n\t"
- "pop%%esi\n\t"
- "pop%%edx\n\t"
- "pop%%ecx\n\t"
- "pop%%ebx\n\t"
- "pop%%eax\n\t"
- ::);
- }
- voidhello()
- {
- inttemp=0;
- while(1){
- printf("id=%d,temp=%d,count=%dinthread!\n",current_thread_id,temp++,count++);
- swap(&gAllTask[current_thread_id].context,&old);
- printf("id=%d,temp=%d,count=%dinthread!\n",current_thread_id,temp++,count++);
- swap(&gAllTask[current_thread_id].context,&old);
- }
- }
- #ifHARD_PRIORITY_SCHEDULE
- intfind_next_thread()
- {
- intindex;
- for(index=THREAD_MAX_NUMBER-1;index>=0;index--)
- {
- if(0!=gAllTask[index].time_slice)
- break;
- }
- returnindex;
- }
- #endif
- #ifSOFT_PRIORITY_SCHEDULE
- intfind_next_thread()
- {
- intindex;
- intchoice=THREAD_MAX_NUMBER-1;
- intvalue=gAllTask[choice].time_slice;
- for(index=choice-1;index>=0;index--)
- {
- if(value<gAllTask[index].time_slice)
- {
- choice=index;
- value=gAllTask[index].time_slice;
- }
- }
- if(0==value)
- choice=-1;
- returnchoice;
- }
- #endif
- voidreset_time_slice()
- {
- intindex;
- for(index=0;index<THREAD_MAX_NUMBER;index++)
- gAllTask[index].time_slice=gAllTask[index].priority+1;
- }
- voidtask_init(intindex)
- {
- UINT32unit=gAllTask[index].size;
- UINT32*pData=gAllTask[index].stack;
- memset((void*)pData,(int)0,unit*sizeof(UINT32));
- pData[unit-1]=(UINT32)gAllTask[index].func;
- pData[unit-2]=0;
- pData[unit-3]=0;
- pData[unit-4]=0;
- pData[unit-5]=0;
- pData[unit-6]=0;
- pData[unit-7]=0;
- pData[unit-8]=0;
- pData[unit-9]=0;
- pData[unit-10]=(UINT32)&pData[unit-9];
- gAllTask[index].context=(UINT32)&pData[unit-10];
- }
- #ifTIME_ROUND_SCHEDULE
- voidsignal_handler(intm)
- {
- current_thread_id=current_thread_id%THREAD_MAX_NUMBER;
- swap(&old,&gAllTask[current_thread_id].context);
- current_thread_id++;
- }
- #else
- voidsignal_handler(intm)
- {
- intindex;
- start:
- index=find_next_thread();
- if(-1==index)
- {
- reset_time_slice();
- gotostart;
- }
- gAllTask[index].time_slice--;
- current_thread_id=index;
- swap(&old,&gAllTask[current_thread_id].context);
- }
- #endif
- voidset_all_task()
- {
- intindex;
- memset(gAllTask,0,sizeof(gAllTask));
- for(index=0;index<THREAD_MAX_NUMBER;index++)
- {
- gAllTask[index].id=index;
- gAllTask[index].stack=task_stack[index];
- gAllTask[index].size=STACK_LENGTH;
- gAllTask[index].context=0;
- gAllTask[index].func=hello;
- gAllTask[index].priority=index;
- gAllTask[index].time_slice=index+1;
- task_init(index);
- }
- }
- intmain()
- {
- charval;
- set_all_task();
- set_timer();
- signal(SIGALRM,signal_handler);
- while(1)
- {
- scanf("%c",&val);
- }
- exit(0);
- return1;
- }
嵌入式操作系统内核原理和开发(头文件调整)
很长一段时间,我个人对头文件的功能了解得不是很明白。虽然在平时的开发中,对于头文件也没有犯过什么大的错误,但是总觉得对头文件这块理解得不是很透彻。所以趁着这次嵌入式开发的机会,好好对头文件这部分的内容进行了分析和总结。下面我们主要从两个方面对头文件进行分析,即头文件是做什么的,头文件编写的过程中要注意些什么?(1)头文件的作用
其实很多的编程语言是没有头文件的,比如说C#、java语言。为什么呢,因为这些语言数据结构和函数操作是捆绑在一起的。而C语言则不一样,它是把头文件和实现文件分开来的。头文件的内容主要有哪些呢,也就是嵌套头文件、宏定义、数据类型、函数原型定义、static函数等等。
(2)头文件的编写
a)头文件要简洁
很多源文件在编写的时候常常喜欢添加很多的头文件,不管是需要的还是不需要的。可是,我们要知道,头文件的作用主要是定义数据类型和函数类型的。本质上来说,头文件很少会创建实质性的代码,不管是数据段的内容,还是代码段的内容。简洁的头文件不仅有利于快速排除编译故障,还能提高编译的速度。有经验的朋友都知道,源文件的编译错误比较容易解决,而头文件的编译错误常常十分复杂。所以,我们必须在一切可能的条件下保证头文件的简洁。
b)头文件注意互斥性
注意头文件的互斥性,需要我们在开发中养成良好的编程习惯。不管是创建头文件,首先要做的事情就是添加编译宏。看上去这是一个十分不起眼的举动,但是常常可以帮助你减少许多不必要的麻烦。
- #ifndef_DATA_H
- #define_DATA_H
- #endif
c)全局变量不要在头文件里面定义,如果是外部引用,必须添加上extern
- externintg_Data;
d)不要在头文件里面实现函数,如果要实现,也必须要添加static
- staticintadd(inta,intb)
- {
- returna+b;
- }
e)头文件当中如果需要嵌入别的头文件,那么只是为了引用另外一个头文件的数据结构
f)头文件中引用的数据类型如果没有说明,那么在被源文件引用的时候,只要保证其他的头文件存在这个数据类型定义即可
g)源文件引用头文件的时候需要注意头文件的顺序,有的时候顺序变了,可能编译就失败了。原因就是之前后面头文件中定义的数据类型找不到出处了
h)某些工程没有把头文件和源文件绑定在一起,修改头文件必须删除工程重新编译
i)头文件的存在只是为了源文件才存在的,如果没有必要不要写头文件。要写,影响范围也要控制在最小的范围内
j)如果头文件定义了数据结构,那么需要嵌入引用头文件,反之如果只是指针,声明一下即可,比如说
- struct_Data;
- typedefstruct_DataData;
k)如果有可能经常整理自己的头文件,全部删除再一个一个添加,这样就知道哪些是我们需要的,哪些不是
l)对于某些宏,如果不确定文件本身是在哪里定义的,可以在源文件中再定义一次,这样编译器就会精确提示我们原来这个宏是在那里定义的
好了,差不多就这么多了。
嵌入式操作系统内核原理和开发(内存分配算法)
内存分配是操作系统必须面对的一个环节,除非这个系统本身不需要内存安排,所有业务可以通过全局数据和堆栈搞定。内存分配其实不困难,但是由内存引申出来的东西就比较复杂了。早前没有MMU,系统本身的空间和用户空间没有优先级之分,所以不同的程序之间的内存都是共享的,相互影响也是不可避免的。所以,一般来说,除了内存分配之外,还需要一些日志信息、检测信息帮助我们进行调试和分析。当然,这些都不是我们关心的内容,我们关注的就是内存有哪些通用的分配算法。(1)固定内存分配
固定内存分配算法是最简单的算法,也是最好理解的算法。比如说有16M内存,现在我们假设分配的基本内存是4K,那么总共有16M/4K = 4K个单元。所以,如果用户想申请内存,最多就是4K次。如果用户想要多一点内存,那么系统把相邻的内存分给用户使用即可。
(2)链表内存分配
固定内存分配虽然好,但是还有一个缺点,那就是如果存在很多的浪费机会。试想一下,如果用户只要几十个byte,那么也要分配给它4K个字节,浪费的空间超过了99%。所以在此基础之上,我们提出了链表内存算法。链表算法中保存有空闲结点,内存释放的时候,那么内存查到空闲结点,该合并合并,该释放的释放;当然如果要申请内存的话,那方法就多了去了,可以最差申请、最优申请、最好申请,这些都是可以的。
(3)伙伴算法
链表算法相比较固定内存算法,可以节省不少内存。但是链表算法本身有一个特点,那就是容易形成内存碎片。所以,我们可以结合固定分配和链表算法的特点,把内存分配成8、16、32、64、128、256、512大小的几种链表。链表内部的大小都是相同的,链表之间是倍数的关系。分配内存的时候,我们首先寻找最合适的链表,然后分配内存,如果内存空间不够,可以向高一级的内存链表申请,这样拆解下来的内存可以分配到低一级别的链表;释放内存的时候,我们也要注意内存的合并和组合。
(4)基于内存池的伙伴算法
伙伴算法固然好,但是如果某一种内存申请特别频繁,那么在伙伴算法中就需要进行反复的拆分和合并处理。一方面,这会影响了内存的分配效率,另外一方面也比较容易造成内存的分配碎片。所以,我们可以在伙伴算法的基础之上构建一个内存池,在内存释放的时候,只是标注当前内存不再使用,但是并没有真正释放,等到内存池中所有的内存都不再使用的时候再进行释放,这在一定的程度上会提高内存的分配效率。特别是系统运行一段时间后,这种效果是特别明显的。
(5)工作集算法
工作集的算法本质上说不是一种算法,它只是一种基本思想。我们知道,在系统稳定之后,内存中分配的大小、配置的比例关系都是相对固定的,变化不是特别大。如果我们可以把这些数据给记录下来,在系统启动的时候预先分配好这些内存,那么不就可以提升系统的启动速度了吗?当然工作集中的参数设定更多的是一种经验值,它需要我们综合各种因素进行分析,反复比较才会得出比较好的结果。
这五种算法只是给出了基本思想,只有付出于实践,多加操练才能从中有所收获。
嵌入式操作系统内核原理和开发(基于链表节点的内存分配算法)
链接节点的内存分配方法,其实就是一种按需分配的内存分配方法。简单一点说,就是你需要多少内存,我就给你多少内存。当然,为了把分配的内存都连起来,我们还需要对分配节点进行管理记录。就比如下面这个数据结构,- typedefstruct_MNG_NODE
- {
- struct_MNG_NODE*next;
- unsignedintsize;
- }MNG_NODE;
- pNew=(MNG_NODE*)((char*)pOld+sizeof(MNG_NODE)+pOld->size-(sizeof(MNG_NODE)+size));
- pNew->size=size;
- pOld->size-=sizeof(MNG_NODE)+size;
不过,上面描述的步骤只是就比较重要知识点讲解了一下。在真正设计代码的过程中还需要考虑到节点的查找、内存大小的判断、数据初始化、链表插入、测试用例编写等工作,步骤会稍微繁琐一下。下面我们就给出完整的代码示例。
- /*************************************************
- *malloc&freeinlinknodealgorithm
- **************************************************/
- #include<string.h>
- #include<malloc.h>
- /*************************************************
- *structdefinition
- **************************************************/
- typedefstruct_MNG_NODE
- {
- struct_MNG_NODE*next;
- unsignedintsize;
- }MNG_NODE;
- /*************************************************
- *globalvariabledeclaration
- **************************************************/
- #defineMEM_BUFFER_LENGTH(0x1<<24)
- staticvoid*pGlbData;
- staticMNG_NODE*pFreeList;
- staticMNG_NODE*pAllocList;
- /*************************************************
- *function:addnodeintoheadlist
- **************************************************/
- staticvoidadd_node_into_list_head(MNG_NODE*pNode,MNG_NODE**ppList)
- {
- pNode->next=*ppList;
- *ppList=pNode;
- }
- /*************************************************
- *function:findbestfitnode
- **************************************************/
- staticMNG_NODE*find_best_fit_node(unsignedintsize)
- {
- MNG_NODE*pCur=pFreeList;
- MNG_NODE*pPre=pCur;
- while(pCur&&pCur->size<(size+sizeof(MNG_NODE)))
- {
- pPre=pCur;
- pCur=pCur->next;
- }
- if(NULL==pCur)
- returnNULL;
- if(pFreeList==pCur)
- pFreeList=pFreeList->next;
- else
- pPre->next=pCur->next;
- returnpCur;
- }
- /*************************************************
- *function:implementmemoryallocation
- **************************************************/
- staticvoid*_mem_malloc(unsignedintsize)
- {
- MNG_NODE*pOld;
- MNG_NODE*pNew;
- pOld=find_best_fit_node(size);
- if(NULL==pOld)
- returnNULL;
- pNew=(MNG_NODE*)((char*)pOld+sizeof(MNG_NODE)+pOld->size-(sizeof(MNG_NODE)+size));
- pNew->size=size;
- pOld->size-=sizeof(MNG_NODE)+size;
- add_node_into_list_head(pOld,&pFreeList);
- add_node_into_list_head(pNew,&pAllocList);
- return(void*)((char*)pNew+sizeof(MNG_NODE));
- }
- /*************************************************
- *function:memoryallocation
- **************************************************/
- void*mem_malloc(unsignedintsize)
- {
- if(0==size)
- returnNULL;
- if(size>(MEM_BUFFER_LENGTH-sizeof(MNG_NODE)))
- returnNULL;
- return_mem_malloc(size);
- }
- /*************************************************
- *function:findpreviousnode
- **************************************************/
- staticMNG_NODE*find_previous_node(MNG_NODE*pNode)
- {
- MNG_NODE*pFind=pAllocList;
- MNG_NODE*pPre=NULL;
- while(pFind&&pFind!=pNode)
- {
- pPre=pFind;
- pFind=pFind->next;
- }
- if(NULL==pFind)
- returnNULL;
- returnpPre;
- }
- /*************************************************
- *function:implementmemoryfree
- **************************************************/
- staticvoid_mem_free(MNG_NODE*pNode)
- {
- MNG_NODE*pPreNode;
- if(pNode==pAllocList)
- {
- pAllocList=pAllocList->next;
- add_node_into_list_head(pNode,&pFreeList);
- return;
- }
- pPreNode=find_previous_node(pNode);
- if(NULL==pPreNode)
- return;
- pPreNode->next=pNode->next;
- add_node_into_list_head(pNode,&pFreeList);
- return;
- }
- /*************************************************
- *function:freememoryfunction
- **************************************************/
- voidmem_free(void*pData)
- {
- if(NULL==pData)
- return;
- if(pData<pGlbData||pData>=(void*)((char*)pGlbData+MEM_BUFFER_LENGTH))
- return;
- _mem_free(pData-sizeof(MNG_NODE));
- }
- /*************************************************
- *function:getmemorybuffer
- **************************************************/
- voidmem_init()
- {
- pGlbData=(void*)malloc(MEM_BUFFER_LENGTH);
- if(NULL==pGlbData)
- return;
- memset(pGlbData,0,MEM_BUFFER_LENGTH);
- pFreeList=(MNG_NODE*)pGlbData;
- pFreeList->size=MEM_BUFFER_LENGTH-sizeof(MNG_NODE);
- pAllocList=NULL;
- }
- /*************************************************
- *function:freememorybuffer
- **************************************************/
- voidmem_exit()
- {
- if(NULL!=pGlbData)
- free(pGlbData);
- pFreeList=NULL;
- pAllocList=NULL;
- }
- /*************************************************
- *function:filestartshere
- **************************************************/
- intmain(intargc,char*argv[])
- {
- mem_init();
- mem_exit();
- return1;
- }
嵌入式操作系统内核原理和开发(最快、最优、最差内存分配算法)
前面我们说到了基于链表的内存分配算法。但是之前我们也说过,其实内存分配一般有三个原则,最快、最优和最差。最快比较好理解,就是寻找到合适的节点就立即分配内存,我们在前面一篇博客采用的就是这个方法。最优呢,就是寻找可以满足当前内存分配的最小节点,这样不会有很大的浪费,但是有可能会产生碎片节点。最后一种就是最差分配算法,说是最差效果未必最差。因为在大的内存分配的时候至少不会很快产生内存碎片,对整个系统的稳定来说有可能是好事。所以这三种方法很难说哪一种好,哪一种不好,需要结合具体的应用场景客观进行分析。不过话说回来,内存碎片是无论如何都避免不了的。首先,为了灵活对这三种分配算法进行配置,我们定义了宏开关,需要哪个就把那个开关放开。暂时默认打开的算法的是最快分配算法。
- #defineMAX_SPEED_MALLOC1
- #defineMIN_SIZE_MALLOC0
- #defineMAX_SIZE_MALLOC0
因为之前已经讨论过最快分配算法,所以这里着重讨论的最优分配算法和最差分配算法。又由于两者的差别极小,所以单独分析其中一种算法也行。就拿最优分配算法来说,为了寻找到最小的节点,我们需要对整个链表进行遍历,这个还是比较消耗时间的。
- while(pCur)
- {
- if(pCur->size>(size+sizeof(MNG_NODE)))
- {
- if(NULL==pFind||pFind->size>pCur->size)
- {
- pFind=pCur;
- }
- }
- pPre=pCur;
- pCur=pCur->next;
- }
寻找到pFind这个我们需要的节点之后,还需要从pFreeList中删除该节点。所以,我们需要进一步的判断和分析,
- if(NULL==pFind)
- returnNULL;
- pPre=find_previous_node_in_list(pFind,pFreeList);
- if(NULL==pPre)
- pFreeList=pFreeList->next;
- else
- pPre->next=pFind->next;
- returnpFind;
首先判断pFind前面有没有节点,如果没有表示pFreeList就是pFind,那么pFreeList需要自行向后退缩;当然如果当前的pFind节点是有前节点的,那么只需要把前节点的next指针重新更改一下即可。当然,这里还对原来的查找节点函数作了一下修改,使之更合理更通用。
- /*************************************************
- *function:findpreviousnode
- **************************************************/
- MNG_NODE*find_previous_node_in_list(MNG_NODE*pNode,MNG_NODE*pList)
- {
- MNG_NODE*pFind=pList;
- MNG_NODE*pPre=NULL;
- while(pFind&&pFind!=pNode)
- {
- pPre=pFind;
- pFind=pFind->next;
- }
- if(NULL==pFind)
- returnNULL;
- returnpPre;
- }
上面也只是说了个大概,具体的内容可以参见下面的源代码。既可以在VC上编译,也可以在GCC上面编译,都没有问题。当然,如果本地os没有编译器,可以选择网上在线编译,也是个不错的选择。
- /*************************************************
- *malloc&freeinlinknodealgorithm
- **************************************************/
- #include<string.h>
- #include<malloc.h>
- /*************************************************
- *structdefinition
- **************************************************/
- typedefstruct_MNG_NODE
- {
- struct_MNG_NODE*next;
- unsignedintsize;
- }MNG_NODE;
- /*************************************************
- *macrodeclaration
- **************************************************/
- #defineMAX_SPEED_MALLOC1
- #defineMIN_SIZE_MALLOC0
- #defineMAX_SIZE_MALLOC0
- #defineMEM_BUFFER_LENGTH(0x1<<24)
- /*************************************************
- *globalvariabledeclaration
- **************************************************/
- staticvoid*pGlbData;
- staticMNG_NODE*pFreeList;
- staticMNG_NODE*pAllocList;
- /*************************************************
- *functiondeclaration
- **************************************************/
- MNG_NODE*find_previous_node_in_list(MNG_NODE*pNode,MNG_NODE*pList);
- /*************************************************
- *function:addnodeintoheadlist
- **************************************************/
- staticvoidadd_node_into_list_head(MNG_NODE*pNode,MNG_NODE**ppList)
- {
- pNode->next=*ppList;
- *ppList=pNode;
- }
- #ifMAX_SPEED_MALLOC
- /*************************************************
- *function:findbestfitnodeinmax_speed
- **************************************************/
- staticMNG_NODE*find_best_fit_node(unsignedintsize)
- {
- MNG_NODE*pFind=pFreeList;
- MNG_NODE*pPre=pFind;
- while(pFind&&pFind->size<(size+sizeof(MNG_NODE)))
- {
- pPre=pFind;
- pFind=pFind->next;
- }
- if(NULL==pFind)
- returnNULL;
- if(pFreeList==pFind)
- pFreeList=pFreeList->next;
- else
- pPre->next=pFind->next;
- returnpFind;
- }
- #endif
- #ifMIN_SIZE_MALLOC
- /*************************************************
- *function:findbestfitnodeinminsize
- **************************************************/
- MNG_NODE*find_best_fit_node(unsignedintsize)
- {
- MNG_NODE*pCur=pFreeList;
- MNG_NODE*pPre=pCur;
- MNG_NODE*pFind=NULL;
- while(pCur)
- {
- if(pCur->size>(size+sizeof(MNG_NODE)))
- {
- if(NULL==pFind||pFind->size>pCur->size)
- {
- pFind=pCur;
- }
- }
- pPre=pCur;
- pCur=pCur->next;
- }
- if(NULL==pFind)
- returnNULL;
- pPre=find_previous_node_in_list(pFind,pFreeList);
- if(NULL==pPre)
- pFreeList=pFreeList->next;
- else
- pPre->next=pFind->next;
- returnpFind;
- }
- #endif
- #ifMAX_SIZE_MALLOC
- /*************************************************
- *function:findbestfitnodeinmaxsize
- **************************************************/
- MNG_NODE*find_best_fit_node(unsignedintsize)
- {
- MNG_NODE*pCur=pFreeList;
- MNG_NODE*pPre=pCur;
- MNG_NODE*pFind=NULL;
- while(pCur)
- {
- if(pCur->size>(size+sizeof(MNG_NODE)))
- {
- if(NULL==pFind||pFind->size<pCur->size)
- {
- pFind=pCur;
- }
- }
- pPre=pCur;
- pCur=pCur->next;
- }
- if(NULL==pFind)
- returnNULL;
- pPre=find_previous_node_in_list(pFind,pFreeList);
- if(NULL==pPre)
- pFreeList=pFreeList->next;
- else
- pPre->next=pFind->next;
- returnpFind;
- }
- #endif
- /*************************************************
- *function:implementmemoryallocation
- **************************************************/
- staticvoid*_mem_malloc(unsignedintsize)
- {
- MNG_NODE*pOld;
- MNG_NODE*pNew;
- pOld=find_best_fit_node(size);
- if(NULL==pOld)
- returnNULL;
- pNew=(MNG_NODE*)((char*)pOld+sizeof(MNG_NODE)+pOld->size-(sizeof(MNG_NODE)+size));
- pNew->size=size;
- pOld->size-=sizeof(MNG_NODE)+size;
- add_node_into_list_head(pOld,&pFreeList);
- add_node_into_list_head(pNew,&pAllocList);
- return(void*)((char*)pNew+sizeof(MNG_NODE));
- }
- /*************************************************
- *function:memoryallocation
- **************************************************/
- void*mem_malloc(unsignedintsize)
- {
- if(0==size)
- returnNULL;
- if(size>(MEM_BUFFER_LENGTH-sizeof(MNG_NODE)))
- returnNULL;
- return_mem_malloc(size);
- }
- /*************************************************
- *function:findpreviousnode
- **************************************************/
- MNG_NODE*find_previous_node_in_list(MNG_NODE*pNode,MNG_NODE*pList)
- {
- MNG_NODE*pFind=pList;
- MNG_NODE*pPre=NULL;
- while(pFind&&pFind!=pNode)
- {
- pPre=pFind;
- pFind=pFind->next;
- }
- if(NULL==pFind)
- returnNULL;
- returnpPre;
- }
- /*************************************************
- *function:implementmemoryfree
- **************************************************/
- staticvoid_mem_free(MNG_NODE*pNode)
- {
- MNG_NODE*pPreNode;
- if(pNode==pAllocList)
- {
- pAllocList=pAllocList->next;
- add_node_into_list_head(pNode,&pFreeList);
- return;
- }
- pPreNode=find_previous_node_in_list(pNode,pAllocList);
- if(NULL==pPreNode)
- return;
- pPreNode->next=pNode->next;
- add_node_into_list_head(pNode,&pFreeList);
- return;
- }
- /*************************************************
- *function:freememoryfunction
- **************************************************/
- voidmem_free(void*pData)
- {
- if(NULL==pData)
- return;
- if(pData<pGlbData||pData>=(void*)((char*)pGlbData+MEM_BUFFER_LENGTH))
- return;
- _mem_free((MNG_NODE*)((char*)pData-sizeof(MNG_NODE)));
- }
- /*************************************************
- *function:getmemorybuffer
- **************************************************/
- voidmem_init()
- {
- pGlbData=(void*)malloc(MEM_BUFFER_LENGTH);
- if(NULL==pGlbData)
- return;
- memset(pGlbData,0,MEM_BUFFER_LENGTH);
- pFreeList=(MNG_NODE*)pGlbData;
- pFreeList->size=MEM_BUFFER_LENGTH-sizeof(MNG_NODE);
- pAllocList=NULL;
- }
- /*************************************************
- *function:freememorybuffer
- **************************************************/
- voidmem_exit()
- {
- if(NULL!=pGlbData)
- free(pGlbData);
- pFreeList=NULL;
- pAllocList=NULL;
- }
- /*************************************************
- *function:filestartshere
- **************************************************/
- intmain(intargc,char*argv[])
- {
- mem_init();
- mem_exit();
- return1;
- }
嵌入式操作系统内核原理和开发(信号量)
之前因为工作的原因,操作系统这块一直没有继续写下去。一方面是自己没有这方面的经历,另外一方面就是操作系统比较复杂和琐碎,调试起来比较麻烦。目前在实际项目中,使用的实时操作系统很多,很多国内的朋友也写过操作系统,有些项目现在还在维护和修改中,这是十分难得的。就我知道和熟悉的就有三个系统,比如(1)RT-THREAD
(2)RAW-OS
(3)ClearRTOS
这里有比较介绍一下,这三个系统是国内的三位朋友开发的。其中rt-thread时间比较久一点,模块也比较全,bsp、cpu、fs、lwip、gui等辅助的代码也比较多,有兴趣的朋友可以到网站上面下载代码看一看。raw-os是我今年才发现的一个实时系统,从网站的注册时间和软件版本号上来看,系统开发的时间不是很长,不过整个系统代码的结构非常清晰,是我重点推荐阅读的代码。如果朋友们自己download下来,好好看一下其中的代码,肯定会有不少的收获。最后一个代码是作者李云在编写《专业嵌入式软件开发》这本书的时候,为了说明os的基本原理而开发的软件,前后设计了线程、互斥、内存、定时器、驱动框架等内容,值得一读。
当然有了这么多优秀的代码,我觉得现在自己的工作就不是重新造一个车轮了,而是和大家分享这些优秀的代码是如何设计的。理解代码本身不是目的,关键是理解代码背后的基本思路。就我个人看过来,rt-thread和raw-os都可以用来学习,不过raw-os更好一些,主要是因为作者将raw-os移植到的vc上面,学起来也十分方便,要是个人在使用过程中有什么疑问,可以通过邮件和作者及时交流。不过由于raw-os的版本在一直在update之中,所以部分代码在前后稍微有点差别,不过这些都不是重点,暂时不了解的内容可以通过后面的了解和学习逐步掌握,不会成为太大的障碍。
就像今天的题目一样,我们重点介绍一下信号量的设计原理。首先看一下信号量的数据结构是怎么样的,
- typedefstructRAW_SEMAPHORE
- {
- RAW_COMMON_BLOCK_OBJECTcommon_block_obj;
- RAW_U32count;
- }RAW_SEMAPHORE;
这些代码都是从raw-os上面摘抄下来的,这个版本是0.94版本,和最新的0.96c版本有点差别。首先分析一下信号量的基本结构,其实非常简单,就两个变量,其中comm_block_obj是一个通用类型,记录了当前结构的名称、类型和阻塞队列,而count就是计数,判断是否还有释放的资源。
说到了信号量的操作,无非就是信号量的创建、获取、释放、删除操作,当然这里作者考虑的比较详细,在信号量释放的时候还分成了WAKE_ONE_SEM和WAKE_ALL_SEM两种类型。意思很简单,就是当信号量来临的时候是唤醒一个等待线程呢,还是唤醒所有的等待线程呢,就是这么回事。下面,我们就按照顺序介绍这几个函数,首先是创建函数,
- RAW_U16raw_semaphore_create(RAW_SEMAPHORE*semaphore_ptr,RAW_U8*name_ptr,RAW_U32initial_count)
- {
- #if(RAW_SEMA_FUNCTION_CHECK>0)
- if(semaphore_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(initial_count==0xffffffff){
- returnRAW_SEMOPHORE_OVERFLOW;
- }
- #endif
- /*Initthelist*/
- list_init(&semaphore_ptr->common_block_obj.block_list);
- /*Initresource*/
- semaphore_ptr->count=initial_count;
- semaphore_ptr->common_block_obj.name=name_ptr;
- semaphore_ptr->common_block_obj.block_way=0;
- returnRAW_SUCCESS;
- }
看着初始化函数,我们发现信号量的初始化其实也非常简单,基本工作主要有:
(1)判断参数合法性;
(2)初始化阻塞队列、名称等;
(3)初始化信号量的计数。
说完了这些,我们看看信号量的获取是怎么完成的,代码可能长度稍微长一些,不过也不用太紧张,
- RAW_U16raw_semaphore_get(RAW_SEMAPHORE*semaphore_ptr,RAW_U32wait_option)
- {
- RAW_U16error_status;
- RAW_SR_ALLOC();
- #if(RAW_SEMA_FUNCTION_CHECK>0)
- if(semaphore_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(raw_int_nesting){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- #endif
- RAW_CRITICAL_ENTER();
- if(semaphore_ptr->count){
- semaphore_ptr->count--;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- /*Cann'tgetsemphore,andreturnimmediatelyifwait_optionisRAW_NO_WAIT*/
- if(wait_option==RAW_NO_WAIT){
- RAW_CRITICAL_EXIT();
- returnRAW_NO_PEND_WAIT;
- }
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- raw_pend_object(&semaphore_ptr->common_block_obj,raw_task_active,wait_option);
- RAW_CRITICAL_EXIT();
- raw_sched();
- error_status=block_state_post_process(raw_task_active,0);
- returnerror_status;
- }
信号量的获取情况比较复杂一些,这在长度上也体现出来了。不过没关系,我们一步一步看函数做了什么,
(1)判断参数合法性;
(2)判断当前函数是否处于中断处理的流程中,如果是选择返回;
(3)判断当前count是否为0,如果不为 0,则减1返回;
(4)如果当前count是0,且线程不愿意等待,那么选择返回;
(5)如果当前禁止调度,那么依然选择返回;
(6)当前线程将自己挂起,从ready队列中删除,把自己pend到信号量的阻塞队列中;
(7)阻塞的线程再次获得了运行的机会,我们从task数据结构获得返回结果,此时也不一定是因为获得了资源的缘故哦。
上面的get函数看上去比较复杂,但是所有的同步函数基本上都是这样设计的,看多了反而有一种八股文的感觉。刚开始看的同学可能觉得不是很习惯。不要紧,每天多看两眼,时间长了就ok了。好了,接着我们继续去看看信号量的释放函数是怎么处理的,大家做好心理准备哦,
- staticRAW_U16internal_semaphore_put(RAW_SEMAPHORE*semaphore_ptr,RAW_U8opt_wake_all)
- {
- LIST*block_list_head;
- RAW_SR_ALLOC();
- #if(RAW_SEMA_FUNCTION_CHECK>0)
- if(semaphore_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&semaphore_ptr->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*ifnoblocktaskonthislistjustreturn*/
- if(is_list_empty(block_list_head)){
- if(semaphore_ptr->count==0xffffffff){
- RAW_CRITICAL_EXIT();
- returnRAW_SEMOPHORE_OVERFLOW;
- }
- /*increaseresource*/
- semaphore_ptr->count++;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- /*wakeallthetaskblockedonthissemphore*/
- if(opt_wake_all){
- while(!is_list_empty(block_list_head)){
- raw_wake_object(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list));
- }
- }
- else{
- /*Wakeupthehighestprioritytaskblockonthesemaphore*/
- raw_wake_object(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list));
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
看上去,信号量的释放函数也比较长,不过只要有耐心,都是可以看明白的,我们就来具体分析一下,
(1)判断参数的合法性;
(2)判断当前是否有等待队列,如果没有,则count自增,函数返回,当然如果count达到了0xffffffff也要返回,不过概率极低;
(3)当前存在等待队列,根据opt_wake_all的要求是唤醒一个线程还是唤醒所有的线程;
(4)调用系统调度函数,让高优先级任务及时得到运行的机会;
(5)当前线程再次得到运行的机会,函数返回。
有了上面的讲解,我们发现os的代码其实也没有那么恐怖。所以,请大家一鼓作气,看看信号量是怎么删除的吧,
- RAW_U16raw_semaphore_delete(RAW_SEMAPHORE*semaphore_ptr)
- {
- LIST*block_list_head;
- RAW_SR_ALLOC();
- #if(RAW_SEMA_FUNCTION_CHECK>0)
- if(semaphore_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&semaphore_ptr->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*Alltaskblockedonthisqueueiswakenup*/
- while(!is_list_empty(block_list_head)){
- delete_pend_obj(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list));
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
信号量删除的工作其实很少,也很简单,同样我们也来梳理一下,
(1)判断参数合法性;
(2)唤醒阻塞队列中的每一个线程;
(3)调用系统调度函数,因为高优先级的任务很有可能刚刚从阻塞队列中释放出来;
(4)当前线程再次运行,函数返回。
通过上面几个函数的讲解,我们发现关于os互斥部分的代码其实也不复杂。只要对系统本身和中断有一些了解,其实代码都是可以看懂的。当然,上面的代码我们还是讲的比较粗糙,所以有些细节还是要补充一下,
(1)全局变量操作的函数必须在关中断的情况下进行操作;
(2)实时系统的抢占是每时每刻都在进行的,比如中断返回时、信号量释放时、调用延时函数、调用调度函数的时候,所以大家心中要有抢占的概念;
(3)互斥函数中大量使用了链表的结构,建议大家好好掌握链表的相关算法;
(4)关于os的代码一定要多看、多思考、多练习才会有进步和提高,纸上得来终觉浅、绝知此事要躬行。
嵌入式操作系统内核原理和开发(互斥量)
今天下午打开邮箱,打开rawos作者给我发的邮件,甚是惊喜。感谢他对我的支持,因为自己阅读过很多os的代码,包括ucos、rtthread、vxWorks、linux等等,所以阅读rawos对于我来说不算特别辛苦的事情。除了某些细节之外,我对整个系统的设计还算得上是比较了解的,所以也打算把这个代码介绍给大家。能在现实的硬件中使用当然最好,如果没有这样的机会,也可以提高个人的认识水平,或者介绍给内部的团队成员,大家一起分析和学习也不失为一个很好的方法。闲话不多说,话题还是转到我们今天的主题上面,即互斥量。学过操作系统课程的朋友对这个词汇肯定不会很陌生。和信号量相比,互斥保护的资源一般是唯一的。也就是说,资源就一份,你占有了,我就没有办法占有;当然如果你释放了,此时我就有机会占有了。
一切的一切看上去没有什么问题。但是,我们都知道在实时嵌入式系统当中,线程之间的调度是严格按照优先级来进行调度。比方说,优先级为10的任务必须比优先级为11的任务优先得到调度。那么,有同学会问了,那优先级为11的任务什么时候才能得到调度呢,其实这个要求还是蛮苛刻的。要想优先级为11的任务得到调度,此时必须没有优先级10的任务、或者任务pend到资源上了、或者自身delay、或者被人suspend了。否则,优先级为10的任务会这么一直运行下去。那,这和我们的互斥量有什么关系呢?请听我一一讲来。
我们假设现在有两个任务都准备运行,分别人任务A、B,优先级依次是10、11。某一段时间后,优先级为10和优先级为11的任务都在尝试获取某个资源。本来按照优先级的先后顺序,优先级为10的任务应该率先获取资源,这都没问题。但是,假设在尝试获取资源前,优先级为10的任务开了个小差,sleep一会,那么这个时候优先级为11的任务就可以开始运行了。等到优先级为10的任务苏醒过来,想重新获取资源的时候,惊讶地发现资源早就被别人给占了。因为资源目前只有一份,所以它只好把自己pend到等待队列里面,慢慢等待好心人能快点把资源释放出来。一切的一切看上去没有什么问题,但是这却和实时系统设计的初衷是相违背的。前面我们规定高优先级的任务必须优先得到运行的机会,而目前这种情况和我们的设计原则是背道而驰的。
当然这个问题很早就被大家发现了,大家也在尝试不同的方法来解决。目前使用的比较多的就是两种方法,一种是给互斥量设定一个优先级,另外一种就是对优先级进行继承处理。看上去是两种方法,其实目的只有一个,就是让那些占有互斥量的thread提高优先级,赶快运行结束,把资源还给后面真正需要的人。看上去一切解决得都很完美,但是大家有没有考虑过这样一个问题,如果线程连续占有多个互斥量,优先级又该怎么处理?如果pend的任务被修改了优先级该怎么处理?如果这两种方法一起被使用,那又该怎么处理?我想,这就是作者在后期对互斥量代码进行重构的原因吧。当然了,上面讨论的内容已经是比较深的了,大家可以看看早期互斥量是怎么设计的,慢慢来,这样才会对作者的设计意图更加了解一些。
老规矩,我们首先看看互斥量是怎么设计的,
- typedefstructRAW_MUTEX
- {
- RAW_COMMON_BLOCK_OBJECTcommon_block_obj;
- RAW_U8count;
- /*ponittooccupytask*/
- RAW_TASK_OBJ*occupy;
- /*occupytaskoriginalpriority*/
- RAW_U8occupy_original_priority;
- }RAW_MUTEX;
看上去互斥量的东西多一点,其实也还可以,只要大家明白了互斥量处理逻辑再回头来看看这些东西的时候,认识就会更加深刻。我们看看,数据结构里面都有什么,
(1)通用互斥结构,这在前面信号量的时候已经介绍过一遍;
(2)计数,判断资源是否还在;
(3)当前所属的任务;
(4)该任务原来的优先级。
说好了基本结构,我们看看互斥量的构造、申请、释放、删除函数是怎么设计的,首先当然还是初始化函数,
- RAW_U16raw_mutex_create(RAW_MUTEX*mutex_ptr,RAW_U8*name_ptr)
- {
- #if(RAW_MUTEX_FUNCTION_CHECK>0)
- if(mutex_ptr==0)
- returnRAW_NULL_OBJECT;
- #endif
- /*Initthelist*/
- list_init(&mutex_ptr->common_block_obj.block_list);
- mutex_ptr->common_block_obj.block_way=0;
- mutex_ptr->common_block_obj.name=name_ptr;
- /*Nooneoccupymutexyet*/
- mutex_ptr->occupy=0;
- /*resourceisavailableatinitstate*/
- mutex_ptr->count=1;
- mutex_ptr->occupy_original_priority=0;
- returnRAW_SUCCESS;
- }
(1)初始化互斥结构的公共属性,比如名字、阻塞方式等等;
(2)初始化当前资源数量;
(3)初始化占有资源的线程指针,还有就是线程的优先级。
创建了互斥量之后,我们就要看看互斥量是怎么申请的?代码有点长,同学们可以心理调整一下了,
- RAW_U16raw_mutex_get(RAW_MUTEX*mutex_ptr,RAW_U32wait_option)
- {
- RAW_U16error_status;
- RAW_SR_ALLOC();
- #if(RAW_MUTEX_FUNCTION_CHECK>0)
- if(mutex_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(raw_int_nesting){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- #endif
- RAW_CRITICAL_ENTER();
- /*mutexisavailable*/
- if(mutex_ptr->count){
- mutex_ptr->occupy=raw_task_active;
- mutex_ptr->occupy_original_priority=raw_task_active->priority;
- mutex_ptr->count=0;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- /*ifthesametaskgetthesamemutexagain,itcausesdeadlock*/
- if(raw_task_active==mutex_ptr->occupy){
- #if(CONFIG_RAW_ASSERT>0)
- RAW_ASSERT(0);
- #endif
- RAW_CRITICAL_EXIT();
- returnRAW_MUTEX_DEADLOCK;
- }
- /*Cann'tgetmutex,andreturnimmediatelyifwait_optionisRAW_NO_WAIT*/
- if(wait_option==RAW_NO_WAIT){
- RAW_CRITICAL_EXIT();
- returnRAW_NO_PEND_WAIT;
- }
- /*systemislockedsotaskcannotbeblockedjustreturnimmediately*/
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- /*ifcurrenttaskisahigherprioritytaskandblockonthemutex
- *priorityinverseconditionhappened,priorityinheritmethodisusedhere*/
- if(raw_task_active->priority<mutex_ptr->occupy->priority){
- switch(mutex_ptr->occupy->task_state){
- caseRAW_RDY:
- /*removefromthereadylist*/
- remove_ready_list(&raw_ready_queue,mutex_ptr->occupy);
- /*raisetheoccupytaskpriority*/
- mutex_ptr->occupy->priority=raw_task_active->priority;
- /*readdtothereadylisthead*/
- add_ready_list_head(&raw_ready_queue,mutex_ptr->occupy);
- break;
- caseRAW_DLY:
- caseRAW_DLY_SUSPENDED:
- caseRAW_SUSPENDED:
- /*occupytaskisnotonanylist,sojustchangethepriority*/
- mutex_ptr->occupy->priority=raw_task_active->priority;
- break;
- caseRAW_PEND:/*Changethepositionofthetaskinthewaitlist*/
- caseRAW_PEND_TIMEOUT:
- caseRAW_PEND_SUSPENDED:
- caseRAW_PEND_TIMEOUT_SUSPENDED:
- /*occupytaskisontheblocklistsochangethepriorityontheblocklist*/
- mutex_ptr->occupy->priority=raw_task_active->priority;
- change_pend_list_priority(mutex_ptr->occupy);
- break;
- default:
- RAW_CRITICAL_EXIT();
- returnRAW_INVALID_STATE;
- }
- }
- /*Anywayblockthecurrenttask*/
- raw_pend_object(&mutex_ptr->common_block_obj,raw_task_active,wait_option);
- RAW_CRITICAL_EXIT();
- /*findthenexthighestprioritytaskreadytorun*/
- raw_sched();
- /*Sothetaskiswakedup,needknowwhichreasoncausewakeup.*/
- error_status=block_state_post_process(raw_task_active,0);
- returnerror_status;
- }
(1)判断参数合法性;
(2)判断资源是否可取,如果可取,则在记录当前线程和优先级后返回;
(3)如果资源被自己重复申请,返回;
(4)如果线程不愿等待,返回;
(5)如果此时禁止调度,返回;
(6)如果此时优先级大于互斥量占有者的优先级,分情况处理
a)占有者处于ready的状态,那么修改它的优先级,重新加入调度队列;
b)占有者处于sleep的状态,直接修改优先级即可;
c)占有者也被pend到别的资源上面了,那么修改那个资源的pend列表,可能设计到调度顺序问题。
(7)线程把自己pend到互斥量等待队列上面;
(8)线程调用系统调度函数,切换到其他线程运行;
(9)线程再次得到运行的机会,从task获取结果后返回。
基本上上面的介绍算得上是很详细了,那么互斥量的释放基本上是一个逆操作的过程,朋友也可以思考一下应该怎么解决才好,
- RAW_U16raw_mutex_put(RAW_MUTEX*mutex_ptr)
- {
- LIST*block_list_head;
- RAW_SR_ALLOC();
- #if(RAW_MUTEX_FUNCTION_CHECK>0)
- if(mutex_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&mutex_ptr->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*Mustreleasethemutexbyself*/
- if(raw_task_active!=mutex_ptr->occupy){
- RAW_CRITICAL_EXIT();
- returnRAW_MUTEX_NOT_RELEASE_BY_OCCYPY;
- }
- /*ifnoblocktaskonthislistjustreturn*/
- if(is_list_empty(block_list_head)){
- mutex_ptr->count=1;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- /*ifprioritywaschanged,justchangeitbacktooriginalpriority*/
- if(raw_task_active->priority!=mutex_ptr->occupy_original_priority){
- remove_ready_list(&raw_ready_queue,raw_task_active);
- raw_task_active->priority=mutex_ptr->occupy_original_priority;
- add_ready_list_end(&raw_ready_queue,raw_task_active);
- }
- /*theremusthavetaskblockedonthismutexobject*/
- mutex_ptr->occupy=list_entry(block_list_head->next,RAW_TASK_OBJ,task_list);
- /*thefirstblockedtaskbecametheoccupytask*/
- mutex_ptr->occupy_original_priority=mutex_ptr->occupy->priority;
- /*mutexresourceisoccupied*/
- mutex_ptr->count=0;
- /*Wakeuptheoccupytask,whichisthehighstprioritytaskonthelist*/
- raw_wake_object(mutex_ptr->occupy);
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
(1)判断参数合法性;
(2)判断线程是否为互斥量的占有线程,不是则返回;
(3)判断等待队列是否为空,为空的话则返回;
(4)判断占有任务的优先级有没有发生变化,如果有则需要重新修改优先级,重新加入调度队列中;
(5)选择下一个可以调度的线程;
(6)函数返回。
说了这么些,就剩下最后一个删除互斥量了,大家再接再厉,一起去学习。
- RAW_U16raw_mutex_delete(RAW_MUTEX*mutex_ptr)
- {
- LIST*block_list_head;
- RAW_TASK_OBJ*mutex_occupy;
- RAW_SR_ALLOC();
- #if(RAW_MUTEX_FUNCTION_CHECK>0)
- if(mutex_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&mutex_ptr->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- mutex_occupy=mutex_ptr->occupy;
- /*ifmutexisoccupiedandoccupypriorityisnottheoriginalpriority*/
- if((mutex_occupy)&&(mutex_occupy->priority!=mutex_ptr->occupy_original_priority)){
- switch(mutex_occupy->task_state){
- caseRAW_RDY:
- /*removefromthereadylist*/
- remove_ready_list(&raw_ready_queue,mutex_ptr->occupy);
- /*raisetheoccupytaskpriority*/
- mutex_occupy->priority=mutex_ptr->occupy_original_priority;
- /*readdtothereadylisthead*/
- add_ready_list_end(&raw_ready_queue,mutex_ptr->occupy);
- break;
- caseRAW_DLY:
- caseRAW_SUSPENDED:
- caseRAW_DLY_SUSPENDED:
- /*occupytaskisnotonanylist,sojustchangethepriority*/
- mutex_occupy->priority=mutex_ptr->occupy_original_priority;
- break;
- caseRAW_PEND:
- caseRAW_PEND_TIMEOUT:
- caseRAW_PEND_SUSPENDED:
- caseRAW_PEND_TIMEOUT_SUSPENDED:
- /*occupytaskisontheblocklistsochangethepriorityontheblocklist*/
- mutex_occupy->priority=mutex_ptr->occupy_original_priority;
- change_pend_list_priority(mutex_occupy);
- break;
- default:
- RAW_CRITICAL_EXIT();
- returnRAW_STATE_UNKNOWN;
- }
- }
- /*Alltaskblockedonthisqueueiswakenup*/
- while(!is_list_empty(block_list_head)){
- delete_pend_obj(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list));
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
互斥量的操作在实际情形下未必是存在的,所以作者在设计的时候添加了一个编译宏。不过删除所做的工作也不难理解,一个是处理好当前占有者的关系,一个是处理好等待队列的关系。我们来细看一下流程,
(1)判断当前参数合法性;
(2)判断占有者的情况,修改任务优先级,这里的情形和上面申请互斥量的处理方式是一样的,不再赘述;
(3)唤醒所有的等待线程,如果线程已经suspend掉了,那么继续suspend;
(4)调度到其他线程,防止有优先级高的任务已经被释放出来了;
(5)函数返回,结束。
嵌入式操作系统内核原理和开发(事件)
在很多操作系统的书上,其实互斥和同步是放在一起进行介绍的。互斥,比较简单,就是对某一份资源或者几份资源进行抢占获取。而同步是什么意思呢,就是某一个线程等待另外一个线程的通知,只有收到了通知,它才会去干某些事情。通常情况下,如果是抢占的话,那么两个人使用的必须是同一个锁,而同步的话,则需要好几个锁,因为一般情况下大家等待的东西都是不一样的,所以好几个锁是不可避免的。那么,有没有什么办法,可以用一个锁实现几个事情的并发和同步呢?这就是我们今天所要说的事件。可以从一个例子说明一下。
比方说,我们现在打算进行八宝饭的烹饪。那么,在此之前需要进行各个辅料的准备工作,等到这些辅料都准备好了,就可以开始煮八宝饭了。因为辅料之间是相互独立的,所以完全可以分开独立完成,而在所有辅料都没有完成之前,我们只能等待。等到材料全部准备好,我们就可以开始烹饪的工作了。当然,在烹饪的时候,我们又可以准备进行下一轮工作了,也就是说进行下一次八宝饭的辅料准备。在这个地方,辅料的准备是由各个子线程完成的,而煮饭这个工作是主线程完成的,主线程和子线程之间就是通过事件进行沟通的。主线程需要知道当前各个材料准备好了没,而子线程需要知道八宝饭烧好了没,是不是该进行下一轮辅料的准备了。这个中间就存在一个同步的问题了。
所以下面,我们就看看raw-os上面的事件是怎么设计的。当然,我们首先看到的还是关于事件的基本数据结构,
- typedefstructRAW_EVENT
- {
- RAW_COMMON_BLOCK_OBJECTcommon_block_obj;
- RAW_U32flags;
- }RAW_EVENT;
- RAW_U16raw_event_create(RAW_EVENT*event_ptr,RAW_U8*name_ptr,RAW_U32flags_init)
- {
- #if(RAW_EVENT_FUNCTION_CHECK>0)
- if(event_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- /*Initthelist*/
- list_init(&event_ptr->common_block_obj.block_list);
- event_ptr->common_block_obj.block_way=0;
- event_ptr->common_block_obj.name=name_ptr;
- event_ptr->flags=flags_init;
- returnRAW_SUCCESS;
- }
看了代码,相信要说的部分不是很多,关键就是flags的赋值部分,其他的都和信号量差不太多。这里的flags代表了某一个起始状态,也就是说当前可以干什么事情、满足哪些条件等等。下面,我们继续看事件的获取函数,稍微复杂一些,
- RAW_U16raw_event_get(RAW_EVENT*event_ptr,RAW_U32requested_flags,RAW_U8get_option,RAW_U32wait_option)
- {
- RAW_U16error_status;
- RAW_U8status;
- RAW_SR_ALLOC();
- #if(RAW_EVENT_FUNCTION_CHECK>0)
- if(raw_int_nesting){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- if((get_option!=RAW_AND)&&(get_option!=RAW_OR)&&(get_option!=RAW_AND_CLEAR)&&(get_option!=RAW_OR_CLEAR)){
- returnRAW_NO_THIS_OPTION;
- }
- #endif
- RAW_CRITICAL_ENTER();
- /*ifoptionisandflag*/
- if(get_option&RAW_FLAGS_AND_MASK){
- if((event_ptr->flags&requested_flags)==requested_flags){
- status=RAW_TRUE;
- }
- else{
- status=RAW_FALSE;
- }
- }
- /*ifoptionisorflag*/
- else{
- if(event_ptr->flags&requested_flags){
- status=RAW_TRUE;
- }
- else{
- status=RAW_FALSE;
- }
- }
- if(status){
- /*doesitneedtocleartheflags*/
- if(get_option&RAW_FLAGS_CLEAR_MASK){
- event_ptr->flags&=~requested_flags;
- }
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- /*Cann'tgetevent,andreturnimmediatelyifwait_optionisRAW_NO_WAIT*/
- if(wait_option==RAW_NO_WAIT){
- RAW_CRITICAL_EXIT();
- returnRAW_NO_PEND_WAIT;
- }
- /*systemislockedsotaskcannotbeblockedjustreturnimmediately*/
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- /*Rememberthepassedinformation*/
- raw_task_active->raw_suspend_option=get_option;
- raw_task_active->raw_suspend_flags=requested_flags;
- raw_pend_object(&event_ptr->common_block_obj,raw_task_active,wait_option);
- RAW_CRITICAL_EXIT();
- raw_sched();
- RAW_CRITICAL_ENTER();
- /*doesitneedtocleartheflags*/
- if(get_option&RAW_FLAGS_CLEAR_MASK){
- event_ptr->flags&=~requested_flags;
- }
- RAW_CRITICAL_EXIT();
- /*Sothetaskiswakedup,needknowwhichreasoncausewakeup.*/
- error_status=block_state_post_process(raw_task_active,0);
- returnerror_status;
- }
(1)判断函数是否在中断中;
(2)判断get_option是否合法;
(3)判断是否存在可以获取的事件,and或者是or;
(4)如果事件可以获取,那么再判断是否需要置位操作,函数返回;
(5)判断是否愿意等待,否则返回;
(6)判断是否禁止调度,是则返回;
(7)将自己pend到等待队列中;
(8)调用公共调度函数转到其他线程继续运行;
(9)当前线程重新得到运行的机会,根据选项清除标志位,函数返回。
看完了事件的申请,下面就可以看看事件的设置函数了,
- RAW_U16raw_event_set(RAW_EVENT*event_ptr,RAW_U32flags_to_set,RAW_U8set_option)
- {
- LIST*iter;
- LIST*event_head_ptr;
- LIST*iter_temp;
- structRAW_TASK_OBJ*task_ptr;
- RAW_U8status;
- RAW_U8need_sche=0;
- RAW_SR_ALLOC();
- #if(RAW_EVENT_FUNCTION_CHECK>0)
- if(event_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if((set_option!=RAW_AND)&&(set_option!=RAW_OR)){
- returnRAW_NO_THIS_OPTION;
- }
- #endif
- event_head_ptr=&event_ptr->common_block_obj.block_list;
- status=RAW_FALSE;
- RAW_CRITICAL_ENTER();
- /*iftheset_optionisAND_MASK,itjustcleartheflagsandwillreturnimmediately!*/
- if(set_option&RAW_FLAGS_AND_MASK){
- event_ptr->flags&=flags_to_set;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- /*ifitisormaskthensettheflagandcontinue.........*/
- else{
- event_ptr->flags|=flags_to_set;
- }
- iter=event_head_ptr->next;
- /*iflistisnotempty*/
- while(iter!=event_head_ptr){
- task_ptr=list_entry(iter,RAW_TASK_OBJ,task_list);
- iter_temp=iter->next;
- if(task_ptr->raw_suspend_option&RAW_FLAGS_AND_MASK){
- if((event_ptr->flags&task_ptr->raw_suspend_flags)==task_ptr->raw_suspend_flags)
- status=RAW_TRUE;
- else
- status=RAW_FALSE;
- }
- else{
- if(event_ptr->flags&task_ptr->raw_suspend_flags)
- status=RAW_TRUE;
- else
- status=RAW_FALSE;
- }
- if(status){
- /*Okthetaskconditionismet,justwakethistask*/
- raw_wake_object(task_ptr);
- /*iftaskiswakenup*/
- need_sche=1;
- }
- iter=iter_temp;
- }
- RAW_CRITICAL_EXIT();
- if(need_sche){
- raw_sched();
- }
- returnRAW_SUCCESS;
- }
(1)判断参数合法性;
(2)判断set_option合法性;
(3)如果选项为and,在设置完flags之后函数返回;
(4)设置flags标志位,开始遍历每一个等待线程;
(5)如果存在合适的线程,不管是等待多个事件还是一个事件,都将它们唤醒,设置重新调度标志;
(6)如果重新调度标志为1,调用系统调度函数切换到其他线程运行;
(7)当前线程再次获取到运行的机会,函数返回。
转眼之间,我们就到了事件的删除过程了。其实事件的删除非常简单,它就是把所有的等待线程唤醒,就这么简单,不知道我说清楚了没?当然了,这中间可能会有高优先级的线程被加入到ready队列里面,所以重新schedule一下也是很有必要的。
- RAW_U16raw_event_delete(RAW_EVENT*event_ptr)
- {
- LIST*block_list_head;
- RAW_SR_ALLOC();
- #if(RAW_EVENT_FUNCTION_CHECK>0)
- if(event_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&event_ptr->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*Alltaskblockedonthisqueueiswakenupuntillistisempty*/
- while(!is_list_empty(block_list_head)){
- delete_pend_obj(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list));
- }
- event_ptr->flags=0;
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
-
嵌入式操作系统内核原理和开发(消息队列)
消息队列是线程交互的一种方法,任务可以通过消息队列来实现数据的沟通和交换。在嵌入式系统上,这可以说这是用的最多的一种方法。通过消息队列,无论是发送者,还是接受者都可以循环地处理各种消息。而我们知道,存储消息最好的方式就是循环队列,如果消息已满,那么发送者可以把自己pend到等待队列上;而如果此时没有消息,那么接受者也可以把自己pend到等待队列上。当然实现消息队列的方法很多,甚至用户可以自己利用互斥量和信号量来实现,而嵌入式系统常常会默认提供这样的功能函数,我想主要的目的还是为了方便用户,让他们可以更多地从业务的角度来看问题,而不是把重点关注在这些底层的细节上面。首先,我们还是看看rawos上面关于消息队列的数据结构是怎么定义的,
- typedefstructRAW_MSG_Q{
- RAW_VOID**queue_start;/*Pointertostartofqueuedata*/
- RAW_VOID**queue_end;/*Pointertoendofqueuedata*/
- RAW_VOID**write;/*PointertowherenextmessagewillbeinsertedintheQ*/
- RAW_VOID**read;/*PointertowherenextmessagewillbeextractedfromtheQ*/
- RAW_U32size;/*Sizeofqueue(maximumnumberofentries)*/
- RAW_U32current_numbers;/*Currentnumberofentriesinthequeue*/
- RAW_U16blocked_send_task_numbers;/*numberofblockedsendtasknumbers*/
- RAW_U16blocked_receive_task_numbers;/*numberofblockedsendtasknumbers*/
- }RAW_MSG_Q;
- typedefstructRAW_QUEUE
- {
- RAW_COMMON_BLOCK_OBJECTcommon_block_obj;
- RAW_MSG_Qmsg_q;
- }RAW_QUEUE;
根据我们以前的经验,互斥同步数据结构的操作都会分成几个部分,当然消息队列也不例外,也会分成初始化、发送消息、接受消息、清除消息、删除消息队列等几种操作函数。当然,消息队列还是增加了一个新的选项,那就是插入消息的时候可以插入在队列的前方,还是插入在队列的尾部,这在某种程度上决定了消息的优先级。说到这,我们还是看看消息队列是怎么初始化的,
- RAW_U16raw_queue_create(RAW_QUEUE*p_q,RAW_U8*p_name,RAW_VOID**msg_start,RAW_U32number)
- {
- #if(RAW_QUEUE_FUNCTION_CHECK>0)
- if(p_q==0){
- returnRAW_NULL_OBJECT;
- }
- if(msg_start==0){
- returnRAW_NULL_POINTER;
- }
- if(number==0){
- returnRAW_ZERO_NUMBER;
- }
- #endif
- list_init(&p_q->common_block_obj.block_list);
- p_q->common_block_obj.name=p_name;
- p_q->common_block_obj.block_way=0;
- p_q->msg_q.queue_start=msg_start;/*Initializethequeue*/
- p_q->msg_q.queue_end=&msg_start[number];
- p_q->msg_q.write=msg_start;
- p_q->msg_q.read=msg_start;
- p_q->msg_q.size=number;
- p_q->msg_q.current_numbers=0;
- p_q->msg_q.blocked_send_task_numbers=0;
- p_q->msg_q.blocked_receive_task_numbers=0;
- returnRAW_SUCCESS;
- }
- staticRAW_U16internal_msg_post(RAW_QUEUE*p_q,RAW_VOID*p_void,RAW_U8opt_send_method,RAW_U8opt_wake_all,RAW_U32wait_option)
- {
- RAW_U16error_status;
- LIST*block_list_head;
- RAW_U8block_way;
- RAW_SR_ALLOC();
- #if(RAW_QUEUE_FUNCTION_CHECK>0)
- if(raw_int_nesting){
- if(wait_option!=RAW_NO_WAIT){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- }
- if(p_q==0){
- returnRAW_NULL_OBJECT;
- }
- if(p_void==0){
- returnRAW_NULL_POINTER;
- }
- #endif
- block_list_head=&p_q->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*queueisfullcondition,thereshouldbenoreceivedtaskblockedonqueueobject!*/
- if(p_q->msg_q.current_numbers>=p_q->msg_q.size){
- if(wait_option==RAW_NO_WAIT){
- RAW_CRITICAL_EXIT();
- returnRAW_MSG_MAX;
- }
- else{
- /*systemislockedsotaskcannotbeblockedjustreturnimmediately*/
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- /*queueisfullandSEND_TO_FRONTmethodisnotallowd*/
- if(opt_send_method==SEND_TO_FRONT){
- RAW_CRITICAL_EXIT();
- returnRAW_QUEUE_FULL_OPT_ERROR;
- }
- p_q->msg_q.blocked_send_task_numbers++;
- raw_task_active->msg=p_void;
- block_way=p_q->common_block_obj.block_way;
- p_q->common_block_obj.block_way=RAW_BLOCKED_WAY_FIFO;
- /*thereshouldbenoblockedreceivedtaskbeacusemsgexits*/
- raw_pend_object(&p_q->common_block_obj,raw_task_active,wait_option);
- p_q->common_block_obj.block_way=block_way;
- RAW_CRITICAL_EXIT();
- raw_sched();
- error_status=block_state_post_process(raw_task_active,0);
- returnerror_status;
- }
- }
- /*Queueisnotfullhere,thereshouldbenoblockedsendtask*/
- /*Ifthereisnoblockedreceivetask*/
- if(is_list_empty(block_list_head)){
- p_q->msg_q.current_numbers++;/*Updatethenbrofentriesinthequeue*/
- if(opt_send_method==SEND_TO_END){
- *p_q->msg_q.write++=p_void;
- if(p_q->msg_q.write==p_q->msg_q.queue_end){
- p_q->msg_q.write=p_q->msg_q.queue_start;
- }
- }
- else{
- if(p_q->msg_q.read==p_q->msg_q.queue_start){
- p_q->msg_q.read=p_q->msg_q.queue_end;
- }
- p_q->msg_q.read--;
- *p_q->msg_q.read=p_void;/*Insertmessageintoqueue*/
- }
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- /*wakeallthetaskblockedonthisqueue*/
- if(opt_wake_all){
- while(!is_list_empty(block_list_head)){
- wake_send_msg(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list),p_void);
- }
- p_q->msg_q.blocked_receive_task_numbers=0;
- }
- /*wakehignhestprioritytaskblockedonthisqueueandsendmsgtoit*/
- else{
- wake_send_msg(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list),p_void);
- p_q->msg_q.blocked_receive_task_numbers--;
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
(1)检验参数合法性,注意在中断下调用这个函数时,必须是RAW_NO_WAIT的选项,中断毕竟是不好调度的;
(2) 处理消息已满的情况,
a)如果线程不想等待,函数返回;
b)如果禁止调度,函数返回;
c)消息存储到线程的msg里面,线程把自己pend到等待队列中;
d)调用系统调度函数,等待再次被调度的机会,函数返回。
(3)当前消息未满,但是当前没有等待队列,那么根据要求把消息压入循环队列,函数返回;
(4)当前消息未满,且存在等待队列,说明此时已经没有消息可读,
a)如果需要唤醒所有的等待线程,那么唤醒所有的线程,等待线程总数置为0;
b)如果只是唤起某一个线程,那么唤醒第一个等待线程,等待线程总数自减;
(5)调用系统调度函数,防止有高优先级的线程加入调度队列;
(6)线程再次得到运行的机会,函数返回。
看到上面的代码,我们发现只要梳理好了代码的逻辑,其实消息发送函数也是比较好理解的。当然,有消息的发送,就必然会存在消息的接受了。此时肯定也会出现没有消息、有消息两种情况了。
- RAW_U16raw_queue_receive(RAW_QUEUE*p_q,RAW_U32wait_option,RAW_VOID**msg)
- {
- RAW_VOID*pmsg;
- RAW_U16result;
- LIST*block_list_head;
- RAW_TASK_OBJ*blocked_send_task;
- RAW_SR_ALLOC();
- #if(RAW_QUEUE_FUNCTION_CHECK>0)
- if(raw_int_nesting){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- if(p_q==0){
- returnRAW_NULL_OBJECT;
- }
- if(msg==0){
- returnRAW_NULL_POINTER;
- }
- #endif
- block_list_head=&p_q->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*ifqueuehasmsgs,justreceiveit*/
- if(p_q->msg_q.current_numbers){
- pmsg=*p_q->msg_q.read++;
- if(p_q->msg_q.read==p_q->msg_q.queue_end){
- p_q->msg_q.read=p_q->msg_q.queue_start;
- }
- *msg=pmsg;
- /*ifthereareblocked_send_tasks,justreloadthetaskmsgtoend*/
- if(p_q->msg_q.blocked_send_task_numbers){
- blocked_send_task=list_entry(block_list_head->next,RAW_TASK_OBJ,task_list);
- p_q->msg_q.blocked_send_task_numbers--;
- *p_q->msg_q.write++=blocked_send_task->msg;
- if(p_q->msg_q.write==p_q->msg_q.queue_end){
- p_q->msg_q.write=p_q->msg_q.queue_start;
- }
- raw_wake_object(blocked_send_task);
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
- p_q->msg_q.current_numbers--;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- if(wait_option==RAW_NO_WAIT){/*Callerwantstoblockifnotavailable?*/
- *msg=(RAW_VOID*)0;
- RAW_CRITICAL_EXIT();
- returnRAW_NO_PEND_WAIT;
- }
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- raw_pend_object(&p_q->common_block_obj,raw_task_active,wait_option);
- p_q->msg_q.blocked_receive_task_numbers++;
- RAW_CRITICAL_EXIT();
- raw_sched();
- RAW_CRITICAL_ENTER();
- *msg=(RAW_VOID*)0;
- result=block_state_post_process(raw_task_active,msg);
- RAW_CRITICAL_EXIT();
- returnresult;
- }
(1)判断参数合法性;
(2)如果当前存在消息,
a)读取循环队列中的消息;
b)判断当前是否存在等待线程,因为之前有可能存在没有压入队列的消息,那么此时压入消息,唤醒该线程即可,调用系统调度函数返回;
c)没有等待线程,消息总数自减,函数返回。
(3)当前没有消息,
a)线程不愿等待,函数返回;
b)系统禁止调度,函数返回;
c)线程将自己pend到等待队列中;
d)调用系统调度函数,切换到其他线程继续运行;
e)线程再次获得运行的机会,从thread结构中获取返回结果,函数返回。
和发送消息、接受消息比较起来,清除消息和删除消息的处理就比较简单了。为了说明问题,我们不妨放在一起讨论一下,
- RAW_U16raw_queue_flush(RAW_QUEUE*p_q)
- {
- LIST*block_list_head;
- RAW_SR_ALLOC();
- RAW_TASK_OBJ*block_task;
- #if(RAW_QUEUE_FUNCTION_CHECK>0)
- if(p_q==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&p_q->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*ifqueueisfullandtaskisblockedonthisqueue,thenwakeallthetask*/
- if(p_q->msg_q.current_numbers>=p_q->msg_q.size){
- while(!is_list_empty(block_list_head)){
- block_task=list_entry(block_list_head->next,RAW_TASK_OBJ,task_list);
- raw_wake_object(block_task);
- block_task->block_status=RAW_B_ABORT;
- }
- p_q->msg_q.blocked_send_task_numbers=0;
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
- #endif
- #if(CONFIG_RAW_QUEUE_DELETE>0)
- RAW_U16raw_queue_delete(RAW_QUEUE*p_q)
- {
- LIST*block_list_head;
- RAW_SR_ALLOC();
- #if(RAW_QUEUE_FUNCTION_CHECK>0)
- if(p_q==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&p_q->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- /*Alltaskblockedonthisqueueiswakenup*/
- while(!is_list_empty(block_list_head)){
- delete_pend_obj(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list));
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
- #endif
(1)判断参数合法性;
(2)唤醒等待线程,这里消息清除函数唤醒的是发送线程,而消息删除函数唤醒的所有线程;
(3)调用系统调度函数,切换到其他线程继续运行;
(4)当前线程再次获得运行的机会,函数返回,一切ok搞定。
嵌入式操作系统内核原理和开发(实时调度)
和很多通用的操作系统相比, 实时操作系统有自己的一个特点,那就是实时调度。通用操作系统的线程优先级一般是可以变化的,而实时系统的线程优先级却是不变的。之所以这么设计,是为了保证高优先级的任务在第一时间获得调度,这样才能保证调度的实时性。因为实时系统是严格按照优先级搞定调度的,所以不管什么时候,我们只要寻找到最高优先级的任务即可。rawos系统可以支持256个优先级,对任务的创建个数也没有限制,所以就会出现多个任务共享一个优先级的情况。因此系统本身对同优先级的任务分配了定额的时间片,一旦该任务时间片用完,就会被放到优先级的末尾,直到获得下一次的调度机会,下面的代码就说明了这一情况,它是在时钟中断的时候被调度的,
- voidcaculate_time_slice()
- {
- RAW_TASK_OBJ*task_ptr;
- LIST*head;
- RAW_SR_ALLOC();
- task_ptr=raw_task_active;
- head=&raw_ready_queue.task_ready_list[task_ptr->priority];
- RAW_CRITICAL_ENTER();
- if(is_list_empty(head)){
- RAW_CRITICAL_EXIT();
- return;
- }
- /*thereisonlyonetaskonthisreadylist,sodonotneedtocaculatetimeslice*/
- if(head->next->next==head){
- RAW_CRITICAL_EXIT();
- return;
- }
- if(task_ptr->time_slice){
- task_ptr->time_slice--;
- }
- /*ifcurrentactivetaskhastime_slice,justreturn*/
- if(task_ptr->time_slice){
- RAW_CRITICAL_EXIT();
- return;
- }
- /*Movecurrentactivetasktotheendofreadylistforthesamepriority*/
- move_to_ready_list_end(&raw_ready_queue,task_ptr);
- /*restorethetasktimeslice*/
- task_ptr->time_slice=task_ptr->time_total;
- RAW_CRITICAL_EXIT();
- }
- RAW_U16raw_sleep(RAW_U32dly)
- {
- RAW_U16error_status;
- RAW_SR_ALLOC();
- #if(RAW_TASK_FUNCTION_CHECK>0)
- if(raw_int_nesting){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- #endif
- RAW_CRITICAL_ENTER();
- if(dly){
- /*systemislockedsotaskcannotsleepjustreturnimmediately*/
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- raw_task_active->task_state=RAW_DLY;
- tick_list_insert(raw_task_active,dly);
- remove_ready_list(&raw_ready_queue,raw_task_active);
- }
- else{
- /*makecurrenttasktotheendofreadylist*/
- move_to_ready_list_end(&raw_ready_queue,raw_task_active);
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- if(dly){
- /*taskistimeoutaftersleep*/
- error_status=block_state_post_process(raw_task_active,0);
- }
- else{
- error_status=RAW_SUCCESS;
- }
- returnerror_status;
- }
- voidraw_sched()
- {
- RAW_SR_ALLOC();
- /*ifitisininterruptorsystemislocked,justreturn*/
- if(raw_int_nesting||raw_sched_lock){
- return;
- }
- RAW_CRITICAL_ENTER();
- get_ready_task(&raw_ready_queue);
- /*ifhighesttaskiscurrentlytask,thennoneedtodoswitchandjustreturn*/
- if(high_ready_obj==raw_task_active){
- RAW_CRITICAL_EXIT();
- return;
- }
- CONTEXT_SWITCH();
- RAW_CRITICAL_EXIT();
- }
- voidget_ready_task(RAW_RUN_QUEUE*rq)
- {
- LIST*node;
- RAW_S32highest_pri=rq->highest_priority;
- /*Highesttaskmustbethefirstelementonthelist*/
- node=rq->task_ready_list[highest_pri].next;
- high_ready_obj=list_entry(node,RAW_TASK_OBJ,task_list);
- }
- voidadd_ready_list(RAW_RUN_QUEUE*rq,RAW_TASK_OBJ*task_ptr)
- {
- /*iftaskpriorityisequalcurrenttaskprioritythenaddtotheend*/
- if(task_ptr->priority==raw_task_active->priority){
- add_ready_list_end(rq,task_ptr);
- }
- /*ifnotaddtothelistfront*/
- else{
- add_ready_list_head(rq,task_ptr);
- }
- }
- voidremove_ready_list(RAW_RUN_QUEUE*rq,RAW_TASK_OBJ*task_ptr)
- {
- RAW_S32i;
- RAW_S32priority=task_ptr->priority;
- list_delete(&task_ptr->task_list);
- /*ifthereadylistisnotempty,wedonotneedtoupdatethehighestpriority*/
- if(!is_list_empty(&rq->task_ready_list[priority])){
- return;
- }
- bit_clear(rq->task_bit_map,priority);
- /*Iftaskprioritynotequaltothehighestpriority,thenwedonotneedtoupdatethehighestpriority*/
- if(priority!=rq->highest_priority){
- return;
- }
- i=bit_search_first_one(rq->task_bit_map,priority,CONFIG_RAW_PRIO_MAX-priority);
- /*Updatethenexthighestprioritytask*/
- if(i>=0){
- rq->highest_priority=priority+i;
- }
- else{
- #if(CONFIG_RAW_ASSERT>0)
- RAW_ASSERT(0);
- #endif
- }
- }
- /*For32bitcpu*/
- RAW_S32bit_search_first_one(RAW_U32*base,RAW_S32offset,RAW_S32width)
- {
- registerRAW_U32*cp,v;
- registerRAW_S32position;
- cp=base;
- cp+=offset>>5;
- if(offset&31){
- #if(CONFIG_RAW_LITTLE_ENDIAN>0)
- v=*cp&~(((RAW_U32)1<<(offset&31))-1);
- #else
- v=*cp&(((RAW_U32)1<<(32-(offset&31)))-1);
- #endif
- }
- else{
- v=*cp;
- }
- position=0;
- while(position<width){
- if(v){/*includes1-->searchbitof1*/
- if(!position)position-=(offset&31);
- #if(CONFIG_RAW_LITTLE_ENDIAN>0)
- if(!(v&0xffff)){
- v>>=16;
- position+=16;
- }
- if(!(v&0xff)){
- v>>=8;
- position+=8;
- }
- if(!(v&0xf)){
- v>>=4;
- position+=4;
- }
- if(!(v&0x3)){
- v>>=2;
- position+=2;
- }
- if(!(v&0x1)){
- ++position;
- }
- #else
- if(!(v&0xffff0000)){
- v<<=16;
- position+=16;
- }
- if(!(v&0xff000000)){
- v<<=8;
- position+=8;
- }
- if(!(v&0xf0000000)){
- v<<=4;
- position+=4;
- }
- if(!(v&0xc0000000)){
- v<<=2;
- position+=2;
- }
- if(!(v&0x80000000)){
- ++position;
- }
- #endif
- if(position<width){
- returnposition;
- }else{
- return-1;
- }
- }else{/*allbitsare0-->1Wordskip*/
- if(position){
- position+=32;
- }else{
- position=32-(offset&31);
- }
- v=*++cp;
- }
- }
- return-1;
- }
这个函数其实有两个,其中一个是32位cpu,另一个是为8位cpu准备的。当然,我们这里看到的是前一种情形,这里作者还考虑了大小端的情况,小端就是x86之类的cpu,大端就是powerpc之类的cpu,主要是指字节序不同而已。按照作者的说法,这是目前最快的查找方法,能比ucos查找表的方法快多少,我不太清楚,估计只能按照系统设备性能的平均值来估算了,别的还真不好说。要是本身用户侧的代码写的比较差,那么争取的这点调度性能其实意义也不大。
嵌入式操作系统内核原理和开发(延时操作)
延时操作是操作系统中经常遇到的一种情形。延时的原因很多,有的时候是为了等待外设芯片处理结束,有的时候是为了暂时释放cpu的使用权,有的就是为了希望在一段时间获取资源,如果没法在单位时间内获取,放弃等待。但是不管怎么说,延时都是操作系统必不可少的一个工作。下面我们就看看延时是怎么实现的,- staticvoidtick_list_priority_insert(LIST*head,RAW_TASK_OBJ*task_ptr)
- {
- RAW_U32val;
- LIST*q,*start,*end;
- RAW_TASK_OBJ*task_iter_temp;
- start=end=head;
- val=task_ptr->tick_remain;
- for(q=start->next;q!=end;q=q->next){
- task_iter_temp=list_entry(q,RAW_TASK_OBJ,tick_list);
- /*sortedbyremaintime*/
- if((task_iter_temp->tick_match-raw_tick_count)>val){
- break;
- }
- }
- list_insert(q,&task_ptr->tick_list);
- }
- voidtick_list_insert(RAW_TASK_OBJ*task_ptr,RAW_U32time)
- {
- LIST*tick_head_ptr;
- RAW_U16spoke;
- if(time){
- task_ptr->tick_match=raw_tick_count+time;
- task_ptr->tick_remain=time;
- spoke=(RAW_U16)(task_ptr->tick_match&(TICK_HEAD_ARRAY-1));
- tick_head_ptr=&tick_head[spoke];
- tick_list_priority_insert(tick_head_ptr,task_ptr);
- task_ptr->tick_head=tick_head_ptr;
- }
- }
延时的代码其实不是很多,所以我在这里把最重要的两个函数给粘贴到这里了。因为每个线程都有可能延时,那么怎么处理这些线程之间的关系就是我们需要做的事情了。我们看到了,我们直接用tick_match表示线程需要等待的那个时间点就可以了。当然,tick是不断增加的,我们可以把尾数相同的线程按照高低顺序排列在一起,这样在对应的tick到来的时候,就直接按照尾数查找就可以了,tick_list_priority_insert就是干了这么一件事情。
那么,tick什么时候到期呢?到期又该怎么处理呢,我们接着往下看,
- voidtick_list_update(void)
- {
- LIST*tick_head_ptr;
- RAW_TASK_OBJ*p_tcb;
- LIST*iter;
- LIST*iter_temp;
- RAW_U16spoke;
- RAW_SR_ALLOC();
- RAW_CRITICAL_ENTER();
- raw_tick_count++;
- spoke=(RAW_U16)(raw_tick_count&(TICK_HEAD_ARRAY-1));
- tick_head_ptr=&tick_head[spoke];
- iter=tick_head_ptr->next;
- while(RAW_TRUE){
- /*searchallthetimelistifpossible*/
- if(iter!=tick_head_ptr){
- iter_temp=iter->next;
- p_tcb=list_entry(iter,RAW_TASK_OBJ,tick_list);
- /*Sincetimelistissortedbyremaintime,sojustcamparetheabsolutetime*/
- if(raw_tick_count==p_tcb->tick_match){
- switch(p_tcb->task_state){
- caseRAW_DLY:
- p_tcb->block_status=RAW_B_OK;
- p_tcb->task_state=RAW_RDY;
- tick_list_remove(p_tcb);
- add_ready_list(&raw_ready_queue,p_tcb);
- break;
- caseRAW_PEND_TIMEOUT:
- p_tcb->block_status=RAW_B_TIMEOUT;
- p_tcb->task_state=RAW_RDY;
- p_tcb->block_obj=0;
- tick_list_remove(p_tcb);
- /*removetaskontheblocklistbecausetaskistimeout*/
- list_delete(&p_tcb->task_list);
- add_ready_list(&raw_ready_queue,p_tcb);
- break;
- caseRAW_PEND_TIMEOUT_SUSPENDED:
- p_tcb->block_status=RAW_B_TIMEOUT;
- p_tcb->task_state=RAW_SUSPENDED;
- p_tcb->block_obj=0;
- tick_list_remove(p_tcb);
- /*removetaskontheblocklistbecausetaskistimeout*/
- list_delete(&p_tcb->task_list);
- break;
- caseRAW_DLY_SUSPENDED:
- p_tcb->task_state=RAW_SUSPENDED;
- p_tcb->block_status=RAW_B_OK;
- tick_list_remove(p_tcb);
- break;
- default:
- #if(CONFIG_RAW_ASSERT>0)
- RAW_ASSERT(0);
- #endif
- break;
- }
- iter=iter_temp;
- }
- /*ifcurrenttasktimeoutabsolutetimeisnotequalcurrentsystemtime,justbreakbecausetimerlistissorted*/
- else{
- break;
- }
- }
- /*finishallthetimelistsearch*/
- else{
- break;
- }
- }
- RAW_CRITICAL_EXIT();
- }
这个函数是在时钟中断的时候被调用的,根据函数的先后顺序,看看函数实现了哪些功能,
(1)自增raw_tick_count;
(2)根据尾数获取tick队列的头指针;
(3)开始循环迭代处理延时线程;
a)如果没有没有延时线程,循环跳出;
b)如果线程的终点tick和当前tick不匹配,跳出循环,因为tick都是排序好的,所以后面的tick肯定不满足要求;
c)如果当前tick满足要求,根据线程状态进行处理,主要分为延时、阻塞超时、延时挂起、阻塞超时挂起四种状态;
d)获取下一个延时线程,观察是否满足要求,如果是继续回到c,否则退出循环。
(4)函数返回,继续时钟中断的剩余操作。
最后,我们补充一下关于有限时间等待的知识。就像以前关于互斥操作的内容一样,其实某些情况下,我们是有时间限制的。一段时间没有获取资源,我们就不希望等待了,所以这里的延时操作还包括这部分的内容,我们看看阻塞函数的相关代码就明白了。
- RAW_U16raw_pend_object(RAW_COMMON_BLOCK_OBJECT*block_common_obj,RAW_TASK_OBJ*task_ptr,RAW_U32timeout)
- {
- #if(CONFIG_RAW_ASSERT>0)
- if(timeout==0){
- RAW_ASSERT(0);
- }
- #endif
- task_ptr->block_obj=block_common_obj;
- if(timeout==RAW_WAIT_FOREVER){
- task_ptr->task_state=RAW_PEND;
- }
- /*taskisblockedwithtimeout*/
- else{
- tick_list_insert(task_ptr,timeout);
- task_ptr->task_state=RAW_PEND_TIMEOUT;
- }
- /*Removefromthereadylist*/
- remove_ready_list(&raw_ready_queue,task_ptr);
- if(block_common_obj->block_way==RAW_BLOCKED_WAY_FIFO){
- list_insert(&block_common_obj->block_list,&task_ptr->task_list);
- }
- else{
- /*addtotheprioritysortedblocklist*/
- add_to_priority_list(&block_common_obj->block_list,task_ptr);
- }
- returnRAW_SUCCESS;
- }
嵌入式操作系统内核原理和开发(实时系统中的定时器)
关于定时器的内容,其实我们之前也讨论过,也书写过相应的代码,但是表达得比较晦涩,效率也比较低。所以我们这里重新再讲一下定时器的相关代码,看看嵌入式系统中的定时器是怎么实现的。在我们之前讨论线程延时的时候就使用hash的方法,将不同的线程归类到不同的延时队列当中,并且按照时间长短先后排列,这样在最短的时间内就可以寻找到最合适的线程了。本质上,线程延时和定时器的基本原理是一样的。唯一的区别就是,线程延时响应的优先级要高一些,而定时器一般由独立线程完成,rawos也是这么做的。- voidtimer_task(void*pa)
- {
- RAW_U16position;
- LIST*timer_head_ptr;
- LIST*iter;
- LIST*iter_temp;
- RAW_TIMER*timer_ptr;
- timer_sem.count=0;
- while(1){
- /*timertaskwillbeblockedaftercallthisfunction*/
- raw_semaphore_get(&timer_sem,RAW_WAIT_FOREVER);
- /*Disablethesystemschedulewedonotneeddisableinterruptsincenothingtodowithinterrupt*/
- raw_disable_sche();
- /*calculatewhichtimer_head*/
- raw_timer_count++;
- position=(RAW_U16)(raw_timer_count&(TIMER_HEAD_NUMBERS-1));
- timer_head_ptr=&timer_head[position];
- iter=timer_head_ptr->next;
- while(RAW_TRUE){
- /*iftimerexits*/
- if(iter!=timer_head_ptr){
- /*Mustuseiter_tempbecauseitermayberemovelater.*/
- iter_temp=iter->next;
- timer_ptr=list_entry(iter,RAW_TIMER,timer_list);
- /*iftimeout*/
- if(raw_timer_count==timer_ptr->match){
- /*removeformtimerlist*/
- timer_list_remove(timer_ptr);
- /*iftimerisreschedulable*/
- if(timer_ptr->reschedule_ticks){
- /*Sortbyremaintime*/
- timer_ptr->remain=timer_ptr->reschedule_ticks;
- timer_ptr->match=raw_timer_count+timer_ptr->remain;
- position=(RAW_U16)(timer_ptr->match&(TIMER_HEAD_NUMBERS-1));
- timer_ptr->to_head=&timer_head[position];
- timer_list_priority_insert(&timer_head[position],timer_ptr);
- }
- /*Anywaybothconditionneedtocallregisteredtimerfunction*/
- if(timer_ptr->raw_timeout_function){
- timer_ptr->raw_timeout_function(timer_ptr->raw_timeout_param);
- }
- iter=iter_temp;
- }
- else{
- break;
- }
- }
- /*exitbecausetimerisnotexit*/
- else{
- break;
- }
- }
- raw_enable_sche();
- }
- }
- RAW_U16raw_timer_create(RAW_TIMER*timer_ptr,RAW_U8*name_ptr,
- RAW_VOID(*expiration_function)(RAW_U32),RAW_U32expiration_input,
- RAW_U32initial_ticks,RAW_U32reschedule_ticks,RAW_U8auto_activate)
- {
- #if(RAW_TIMER_FUNCTION_CHECK>0)
- if(timer_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(expiration_function==0){
- returnRAW_NULL_POINTER;
- }
- #endif
- timer_ptr->name=name_ptr;
- timer_ptr->raw_timeout_function=expiration_function;
- timer_ptr->raw_timeout_param=expiration_input;
- timer_ptr->init_count=initial_ticks;
- timer_ptr->reschedule_ticks=reschedule_ticks;
- timer_ptr->remain=0;
- timer_ptr->match=0;
- timer_ptr->timer_state=TIMER_DEACTIVE;
- timer_ptr->to_head=0;
- list_init(&timer_ptr->timer_list);
- if(auto_activate){
- raw_timer_activate(timer_ptr);
- }
- returnRAW_SUCCESS;
- }
- RAW_U16raw_timer_activate(RAW_TIMER*timer_ptr)
- {
- RAW_U16position;
- RAW_SR_ALLOC();
- #if(RAW_TIMER_FUNCTION_CHECK>0)
- if(timer_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- /*TimerstateTIMER_ACTIVETIMER_DELETEDisnotallowedtodelete*/
- if(timer_ptr->timer_state==TIMER_ACTIVE)
- returnRAW_TIMER_STATE_INVALID;
- if(timer_ptr->timer_state==TIMER_DELETED)
- returnRAW_TIMER_STATE_INVALID;
- RAW_CRITICAL_ENTER();
- timer_ptr->match=raw_timer_count+timer_ptr->init_count;
- position=(RAW_U16)(timer_ptr->match&(TIMER_HEAD_NUMBERS-1));
- /*Sortbyremaintime*/
- timer_ptr->remain=timer_ptr->init_count;
- /*Usedbytimerdelete*/
- timer_ptr->to_head=&timer_head[position];
- timer_list_priority_insert(&timer_head[position],timer_ptr);
- timer_ptr->timer_state=TIMER_ACTIVE;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- RAW_U16raw_timer_change(RAW_TIMER*timer_ptr,RAW_U32initial_ticks,RAW_U32reschedule_ticks)
- {
- RAW_SR_ALLOC();
- #if(RAW_TIMER_FUNCTION_CHECK>0)
- if(timer_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- /*OnlytimerstateTIMER_DEACTIVEisnotallowedhere*/
- if(timer_ptr->timer_state!=TIMER_DEACTIVE){
- returnRAW_TIMER_STATE_INVALID;
- }
- if(timer_ptr->timer_state==TIMER_DELETED){
- returnRAW_TIMER_STATE_INVALID;
- }
- RAW_CRITICAL_ENTER();
- timer_ptr->init_count=initial_ticks;
- timer_ptr->reschedule_ticks=reschedule_ticks;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
- RAW_U16raw_timer_deactivate(RAW_TIMER*timer_ptr)
- {
- RAW_SR_ALLOC();
- #if(RAW_TIMER_FUNCTION_CHECK>0)
- if(timer_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- /*TimerstateTIMER_DEACTIVETIMER_DELETEDisnotallowedtodelete*/
- if(timer_ptr->timer_state==TIMER_DEACTIVE){
- returnRAW_TIMER_STATE_INVALID;
- }
- if(timer_ptr->timer_state==TIMER_DELETED){
- returnRAW_TIMER_STATE_INVALID;
- }
- RAW_CRITICAL_ENTER();
- timer_list_remove(timer_ptr);
- timer_ptr->timer_state=TIMER_DEACTIVE;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
停止定时器,顾名思义就是将定时器从队列中删除,同时设置状态为TIMER_DEACTIVE。当然在进行操作之前需要判断一下当前定时器的属性,如果定时器本身已经删除或者停止,那什么也不用做了。
- RAW_U16raw_timer_delete(RAW_TIMER*timer_ptr)
- {
- RAW_SR_ALLOC();
- #if(RAW_TIMER_FUNCTION_CHECK>0)
- if(timer_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- if(timer_ptr->timer_state==TIMER_DELETED){
- returnRAW_TIMER_STATE_INVALID;
- }
- RAW_CRITICAL_ENTER();
- timer_list_remove(timer_ptr);
- timer_ptr->timer_state=TIMER_DELETED;
- RAW_CRITICAL_EXIT();
- returnRAW_SUCCESS;
- }
嵌入式操作系统内核原理和开发(线程状态)
从第一篇的os博客以来,谈了很多内容,有中断、切换、调度、内存、互斥和延时等等,但是线程的状态却没有涉及到,今天我们要好好说一说。说到线程的状态,按照一般的说法,主要包括就绪、延时、阻塞、阻塞超时四个状态。如果线程没有死亡的话,那么这几个状态也够用了,但是我们后来发现可能需要对某些线程进行挂起处理,这可能是出现了故障或者是为了调试使用。因此,除了上面的四个状态,我们还要补充对应的四个挂起状态,分别是挂起、延时挂起、阻塞挂起、阻塞延时挂起。
说到了线程状态,下面我们就看看常见的线程处理函数有哪些,无外乎线程创建、线程延时、线程挂起、线程恢复和线程删除等等。
- RAW_U16raw_task_create(RAW_TASK_OBJ*task_obj,RAW_U8*task_name,RAW_VOID*task_arg,
- RAW_U8task_prio,RAW_U16time_slice,PORT_STACK*task_stack_base,
- RAW_U32stack_size,RAW_TASK_ENTRYtask_entry,RAW_U8auto_start)
- {
- #if(RAW_TASK_STACK_CHECK>0)
- PORT_STACK*p_stack;
- RAW_U32i;
- #endif
- RAW_SR_ALLOC();
- #if(RAW_TASK_FUNCTION_CHECK>0)
- if(task_obj==0){
- returnRAW_NULL_OBJECT;
- }
- if(task_prio>=CONFIG_RAW_PRIO_MAX){
- returnRAW_BYOND_MAX_PRIORITY;
- }
- if(task_stack_base==0){
- returnRAW_NULL_POINTER;
- }
- if(task_entry==0){
- returnRAW_NULL_POINTER;
- }
- #endif
- RAW_CRITICAL_ENTER();
- if(task_prio==IDLE_PRIORITY){
- if(idle_task_exit){
- RAW_CRITICAL_EXIT();
- returnRAW_IDLE_EXIT;
- }
- idle_task_exit=1;
- }
- RAW_CRITICAL_EXIT();
- raw_memset(task_obj,0,sizeof(RAW_TASK_OBJ));
- #if(CONFIG_ROUND_ROBIN>0)
- if(time_slice){
- task_obj->time_total=time_slice;
- }
- else{
- task_obj->time_total=TIME_SLICE_DEFAULT;
- }
- task_obj->time_slice=task_obj->time_total;
- #endif
- if(auto_start)
- task_obj->task_state=RAW_RDY;
- else
- task_obj->task_state=RAW_SUSPENDED;
- #if(RAW_TASK_STACK_CHECK>0)
- task_obj->task_stack_base=task_stack_base;
- p_stack=task_stack_base;
- for(i=0;i<stack_size;i++){
- *p_stack++=0;
- }
- #endif
- task_obj->task_stack=port_stack_init(task_stack_base,stack_size,task_arg,task_entry);
- task_obj->task_name=task_name;
- task_obj->priority=task_prio;
- task_create_hook(task_obj);
- RAW_CRITICAL_ENTER();
- #if(RAW_TASK_STACK_CHECK>0)
- task_obj->stack_size=stack_size;
- list_insert(&task_head,&task_obj->stack_check_list);
- #endif
- if(auto_start){
- add_ready_list_end(&raw_ready_queue,task_obj);
- }
- if(raw_os_active!=RAW_OS_RUNNING){/*Returnifmultitaskinghasnotstarted*/
- RAW_CRITICAL_EXIT();
- returnRAW_OS_STOPPED;
- }
- RAW_CRITICAL_EXIT();
- if(auto_start){
- raw_sched();
- }
- returnRAW_SUCCESS;
- }
- RAW_U16raw_sleep(RAW_U32dly)
- {
- RAW_U16error_status;
- RAW_SR_ALLOC();
- #if(RAW_TASK_FUNCTION_CHECK>0)
- if(raw_int_nesting){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- #endif
- RAW_CRITICAL_ENTER();
- if(dly){
- /*systemislockedsotaskcannotsleepjustreturnimmediately*/
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- raw_task_active->task_state=RAW_DLY;
- tick_list_insert(raw_task_active,dly);
- remove_ready_list(&raw_ready_queue,raw_task_active);
- }
- else{
- /*makecurrenttasktotheendofreadylist*/
- move_to_ready_list_end(&raw_ready_queue,raw_task_active);
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- if(dly){
- /*taskistimeoutaftersleep*/
- error_status=block_state_post_process(raw_task_active,0);
- }
- else{
- error_status=RAW_SUCCESS;
- }
- returnerror_status;
- }
- RAW_U16raw_task_suspend(RAW_TASK_OBJ*task_ptr)
- {
- RAW_SR_ALLOC();
- #if(RAW_TASK_FUNCTION_CHECK>0)
- if(task_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- if(task_ptr->priority==IDLE_PRIORITY){
- returnRAW_SUSPEND_TASK_NOT_ALLOWED;
- }
- RAW_CRITICAL_ENTER();
- if(task_ptr==raw_task_active){
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_LOCKED;
- }
- }
- switch(task_ptr->task_state){
- caseRAW_RDY:
- task_ptr->task_state=RAW_SUSPENDED;
- remove_ready_list(&raw_ready_queue,task_ptr);
- break;
- caseRAW_DLY:
- task_ptr->task_state=RAW_DLY_SUSPENDED;
- break;
- caseRAW_PEND:
- task_ptr->task_state=RAW_PEND_SUSPENDED;
- break;
- caseRAW_PEND_TIMEOUT:
- task_ptr->task_state=RAW_PEND_TIMEOUT_SUSPENDED;
- break;
- caseRAW_DLY_SUSPENDED:
- caseRAW_PEND_SUSPENDED:
- caseRAW_PEND_TIMEOUT_SUSPENDED:
- RAW_CRITICAL_EXIT();
- returnRAW_SUSPENDED_AGAIN;
- default:
- #if(CONFIG_RAW_ASSERT>0)
- RAW_ASSERT(0);
- #endif
- RAW_CRITICAL_EXIT();
- returnRAW_STATE_UNKNOWN;
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
- RAW_U16raw_task_resume(RAW_TASK_OBJ*task_ptr)
- {
- RAW_SR_ALLOC();
- #if(RAW_TASK_FUNCTION_CHECK>0)
- if(task_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- RAW_CRITICAL_ENTER();
- switch(task_ptr->task_state){
- caseRAW_RDY:
- caseRAW_DLY:
- caseRAW_PEND:
- caseRAW_PEND_TIMEOUT:
- RAW_CRITICAL_EXIT();
- returnHAS_NOT_SUSPENDED;
- caseRAW_SUSPENDED:
- task_ptr->task_state=RAW_RDY;
- add_ready_list(&raw_ready_queue,task_ptr);
- break;
- caseRAW_DLY_SUSPENDED:
- task_ptr->task_state=RAW_DLY;
- break;
- caseRAW_PEND_SUSPENDED:
- task_ptr->task_state=RAW_PEND;
- break;
- caseRAW_PEND_TIMEOUT_SUSPENDED:
- task_ptr->task_state=RAW_PEND_TIMEOUT;
- break;
- default:
- #if(CONFIG_RAW_ASSERT>0)
- RAW_ASSERT(0);
- #endif
- RAW_CRITICAL_EXIT();
- returnRAW_STATE_UNKNOWN;
- }
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
- RAW_U16raw_task_delete(RAW_TASK_OBJ*task_ptr)
- {
- RAW_SR_ALLOC();
- #if(RAW_TASK_FUNCTION_CHECK>0)
- if(task_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(raw_int_nesting){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- #endif
- if(task_ptr->priority==IDLE_PRIORITY){
- returnRAW_DELETE_TASK_NOT_ALLOWED;
- }
- RAW_CRITICAL_ENTER();
- if(task_ptr==raw_task_active){
- if(raw_sched_lock){
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_LOCKED;
- }
- }
- switch(task_ptr->task_state){
- caseRAW_RDY:
- remove_ready_list(&raw_ready_queue,task_ptr);
- break;
- caseRAW_SUSPENDED:
- break;
- caseRAW_DLY:/*Taskisonlydelayed,notonanywaitlist*/
- caseRAW_DLY_SUSPENDED:
- tick_list_remove(task_ptr);
- break;
- caseRAW_PEND:
- caseRAW_PEND_SUSPENDED:
- caseRAW_PEND_TIMEOUT:
- caseRAW_PEND_TIMEOUT_SUSPENDED:
- tick_list_remove(task_ptr);
- list_delete(&task_ptr->task_list);
- break;
- default:
- #if(CONFIG_RAW_ASSERT>0)
- RAW_ASSERT(0);
- #endif
- RAW_CRITICAL_EXIT();
- returnRAW_STATE_UNKNOWN;
- }
- task_ptr->task_state=RAW_DELETED;
- #if(RAW_TASK_STACK_CHECK>0)
- /*makeafter_delete_listtorightposition*/
- after_delete_list=task_ptr->stack_check_list.next;
- if(after_delete_list==&task_head){
- after_delete_list=task_head.next;
- }
- list_delete(&task_ptr->stack_check_list);
- #endif
- RAW_CRITICAL_EXIT();
- raw_sched();
- returnRAW_SUCCESS;
- }
嵌入式操作系统内核原理和开发(等值block内存池设计)
内存池设计是嵌入式系统的一个重要环节,之前我们也讨论过相关的内容。但是,看了rawos的代码之后,我觉得rawos的内存池设计更有特点。整个内存池的设计非常健壮,不但考虑了字节对齐的问题,而且还引入了等待调度机制,这是我所没有想到的。所以,在此我很愿意和大家分享这份优秀的代码。闲话不多说,我们看看rawos的mempool数据结构是什么样的,- typedefstructMEM_POOL
- {
- RAW_COMMON_BLOCK_OBJECTcommon_block_obj;
- /*Definethenumberofavailablememoryblocksinthepool.*/
- RAW_U32raw_block_pool_available;
- /*Definetheheadpointeroftheavailableblockpool.*/
- RAW_U8*raw_block_pool_available_list;
- }MEM_POOL;
- RAW_U16raw_block_pool_create(MEM_POOL*pool_ptr,RAW_U8*name_ptr,RAW_U32block_size,RAW_VOID*pool_start,RAW_U32pool_size)
- {
- //MEM_POOL*tail_ptr;/*Workingblockpoolpointer*/
- RAW_U32blocks;/*Numberofblocksinpool*/
- RAW_U8*block_ptr;/*Workingblockpointer*/
- RAW_U8*next_block_ptr;/*Nextblockpointer*/
- RAW_U8*end_of_pool;/*Endofpoolarea*/
- RAW_U8block_align_mask;
- #if(RAW_BLOCK_FUNCTION_CHECK>0)
- /*Checkforinvalidpoolsize.*/
- if(pool_size<(block_size+block_size)){
- returnRAW_BLOCK_SIZE_ERROR;
- }
- if(pool_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(pool_start==0){
- returnRAW_NULL_POINTER;
- }
- #endif
- block_align_mask=sizeof(void*)-1u;
- if(((RAW_U32)pool_start&block_align_mask)){
- returnRAW_INVALID_ALIGN;
- }
- if((pool_size&block_align_mask)){
- returnRAW_INVALID_ALIGN;
- }
- if((block_size&block_align_mask)){
- returnRAW_INVALID_ALIGN;
- }
- /*Initthelist*/
- list_init(&pool_ptr->common_block_obj.block_list);
- /*Setupthebasicblockpoolfields.*/
- pool_ptr->common_block_obj.name=name_ptr;
- pool_ptr->common_block_obj.block_way=0;
- /*Calculatetheendofthepool'smemoryarea.*/
- end_of_pool=(RAW_U8*)pool_start+pool_size;
- /*Walkthroughthepoolarea,settinguptheavailableblocklist.*/
- blocks=0;
- block_ptr=(RAW_U8*)pool_start;
- next_block_ptr=block_ptr+block_size;
- while(next_block_ptr<=end_of_pool){
- blocks++;
- if(next_block_ptr==end_of_pool){
- break;
- }
- /*Setupthelinktothenextblock.*/
- *((RAW_U8**)block_ptr)=next_block_ptr;
- /*Advancetothenextblock.*/
- block_ptr=next_block_ptr;
- /*Updatethenextblockpointer.*/
- next_block_ptr=block_ptr+block_size;
- }
- /*Setthelastblock'sforwardpointertoNULL.*/
- *((RAW_U8**)block_ptr)=0;
- /*Savetheremaininginformationinthepoolcontrolblock.*/
- pool_ptr->raw_block_pool_available=blocks;
- pool_ptr->raw_block_pool_available_list=(RAW_U8*)pool_start;
- returnRAW_SUCCESS;
- }
(1)判断内存池、指针参数合法性;
(2)检验指针是否n字节对齐,n取决于地址的大小;
(3)构建block链表,前后相连,最后一个block指向NULL指针;
(4)将pool首地址赋值给raw_block_pool_available_list,函数返回。
- RAW_U16raw_block_allocate(MEM_POOL*pool_ptr,RAW_VOID**block_ptr,RAW_U32wait_option)
- {
- RAW_U16status;
- RAW_U8*work_ptr;
- RAW_SR_ALLOC();
- #if(RAW_BLOCK_FUNCTION_CHECK>0)
- if(pool_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(block_ptr==0){
- returnRAW_NULL_POINTER;
- }
- if(raw_int_nesting){
- if(wait_option!=RAW_NO_WAIT){
- returnRAW_NOT_CALLED_BY_ISR;
- }
- }
- #endif
- RAW_CRITICAL_ENTER();
- /*Determineifthereisanavailableblock.*/
- if(pool_ptr->raw_block_pool_available){
- /*Yes,ablockisavailable.Decrementtheavailablecount.*/
- pool_ptr->raw_block_pool_available--;
- /*Pickupthecurrentblockpointer.*/
- work_ptr=pool_ptr->raw_block_pool_available_list;
- /*Returnthefirstavailableblocktothecaller.*/
- *((RAW_U8**)block_ptr)=work_ptr;
- /*Modifytheavailablelisttopointatthenextblockinthepool.*/
- pool_ptr->raw_block_pool_available_list=*((RAW_U8**)work_ptr);
- /*Setstatustosuccess.*/
- status=RAW_SUCCESS;
- }
- /*ifnoblockmemoryisavailablethendoitdependwait_option*/
- else{
- if(wait_option==RAW_NO_WAIT){
- *((RAW_U8**)block_ptr)=0;
- RAW_CRITICAL_EXIT();
- returnRAW_NO_PEND_WAIT;
- }
- /*systemislockedsotaskcannotbeblockedjustreturnimmediately*/
- if(raw_sched_lock){
- *((RAW_U8**)block_ptr)=0;
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- raw_pend_object(&pool_ptr->common_block_obj,raw_task_active,wait_option);
- RAW_CRITICAL_EXIT();
- raw_sched();
- RAW_CRITICAL_ENTER();
- *((RAW_U8**)block_ptr)=0;
- status=block_state_post_process(raw_task_active,block_ptr);
- RAW_CRITICAL_EXIT();
- }
- returnstatus;
- }
- RAW_U16raw_block_release(MEM_POOL*pool_ptr,RAW_VOID*block_ptr)
- {
- LIST*block_list_head;
- RAW_U8*work_ptr;/*Workingblockpointer*/
- RAW_U8need_schedule=0;
- RAW_SR_ALLOC();
- #if(RAW_BLOCK_FUNCTION_CHECK>0)
- if(block_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(pool_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- block_list_head=&pool_ptr->common_block_obj.block_list;
- RAW_CRITICAL_ENTER();
- work_ptr=((RAW_U8*)block_ptr);
- if(is_list_empty(block_list_head)){
- /*Puttheblockbackintheavailablelist.*/
- *((RAW_U8**)work_ptr)=pool_ptr->raw_block_pool_available_list;
- /*Adjusttheheadpointer.*/
- pool_ptr->raw_block_pool_available_list=work_ptr;
- /*Incrementthecountofavailableblocks.*/
- pool_ptr->raw_block_pool_available++;
- }
- else{
- need_schedule=1;
- wake_send_msg(list_entry(block_list_head->next,RAW_TASK_OBJ,task_list),block_ptr);
- }
- RAW_CRITICAL_EXIT();
- if(need_schedule){
- raw_sched();
- }
- /*Returncompletionstatus.*/
- returnRAW_SUCCESS;
- }
嵌入式操作系统内核原理和开发(改进的链表内存分配算法)
之前我自己也写过基于链表的内存分配算法,但是看了rawos的内存分配算法,还是感觉rawos写的要更好些。大家都知道,链表内存分配就是从链表中快速找到最合适的内存块分配给用户线程。因为这种分配是随机的,所以一般来说内存碎片是不可避免的。但是,我们在编写代码的时候还是应该注意内存合并的问题。这里我们为什么要介绍rawos的内存分配呢,还包括有这么几个原因,(1)整个内存链表采用循环链表的方法,使用起来简单可靠;
(2)内存分配的时候所有节点都是连在一起的,通过标志数据判断当前数据是否已经分配;
(3)如果当前没有合适的内存,可以选择等待;
(4)代码充分考虑了合并和切分的问题;
(5)在遍历内存的时候灵活处理了中断问题,可以及时响应中断,这个比我考虑得要周到很多;
(6)代码注释丰富,只要多读几遍,是可以慢慢理解代码内容的。
整个代码的结构清晰,共四个函数,分别是创建函数、内存查找函数、内存分配函数、内存释放函数。其中在内存分配和释放的时候,都会调用到内存查找函数。
- RAW_U16raw_byte_pool_create(RAW_BYTE_POOL_STRUCT*pool_ptr,RAW_U8*name_ptr,RAW_VOID*pool_start,RAW_U32pool_size)
- {
- RAW_U8*block_ptr;/*Workingblockpointer*/
- RAW_U8byte_align_mask;
- #if(RAW_BYTE_FUNCTION_CHECK>0)
- if(pool_ptr==0){
- returnRAW_NULL_POINTER;
- }
- if(pool_start==0){
- returnRAW_NULL_POINTER;
- }
- /*Checkforinvalidpoolsize.*/
- if(pool_size<RAW_BYTE_POOL_MIN){
- returnRAW_BYTE_SIZE_ERROR;
- }
- #endif
- byte_align_mask=sizeof(void*)-1u;
- /*pool_startneeds4bytesaligned*/
- if(((RAW_U32)pool_start&byte_align_mask)){
- returnRAW_INVALID_ALIGN;
- }
- /*pool_sizeneeds4bytesaligned*/
- if((pool_size&byte_align_mask)){
- returnRAW_INVALID_ALIGN;
- }
- /*Initthelist*/
- list_init(&pool_ptr->common_block_obj.block_list);
- /*Setupthebasicbytepoolfields.*/
- pool_ptr->common_block_obj.name=name_ptr;
- pool_ptr->common_block_obj.block_way=0;
- pool_ptr->raw_byte_pool_search=(RAW_U8*)pool_start;
- pool_ptr->raw_byte_pool_owner=0;
- /*Initially,thepoolwillhavetwoblocks.Onelargeblockatthe
- beginningthatisavailableandasmallallocatedblockattheend
- ofthepoolthatistherejustforthealgorithm.Besuretocount
- theavailableblock'sheaderintheavailablebytescount.*/
- pool_ptr->raw_byte_pool_available=pool_size-sizeof(void*)-sizeof(RAW_U32);
- pool_ptr->raw_byte_pool_fragments=2;
- /*Calculatetheendofthepool'smemoryarea.*/
- block_ptr=((RAW_U8*)pool_start)+(RAW_U32)pool_size;
- /*Backuptheendofthepoolpointerandbuildthepre-allocatedblock.*/
- block_ptr=block_ptr-sizeof(RAW_U32);
- *((RAW_U32*)block_ptr)=RAW_BYTE_BLOCK_ALLOC;
- block_ptr=block_ptr-sizeof(RAW_U8*);
- *((RAW_U8**)block_ptr)=pool_start;
- /*Nowsetupthelargeavailableblockinthepool.*/
- *((RAW_U8**)pool_start)=block_ptr;
- block_ptr=(RAW_U8*)pool_start;
- block_ptr=block_ptr+sizeof(RAW_U8*);
- *((RAW_U32*)block_ptr)=RAW_BYTE_BLOCK_FREE;
- returnRAW_SUCCESS;
- }
(1)验证参数的合法性,比如是否是NULL指针、是否对齐;
(2)初始化内存池的基本参数,比如说名称、默认阻塞结构、入口地址、剩余大小等等;
(3)构建两个block节点,前面是free节点,后面是alloc节点,两个节点构成循环节点。每个节点有三个部分组成,分别是下一跳地址、标志、buffer。
- staticvoid*raw_byte_pool_search(RAW_BYTE_POOL_STRUCT*pool_ptr,RAW_U32memory_size)
- {
- RAW_U8*current_ptr;/*Currentblockpointer*/
- RAW_U8*next_ptr;/*Nextblockpointer*/
- RAW_U32available_bytes;/*Calculatebytesavailable*/
- RAW_U32examine_blocks;/*Blockstobeexamined*/
- RAW_SR_ALLOC();
- /*Disableinterrupts.*/
- RAW_CRITICAL_ENTER();
- /*First,determineifthereareenoughbytesinthepool.*/
- if(memory_size>=pool_ptr->raw_byte_pool_available){
- /*Restoreinterrupts.*/
- RAW_CRITICAL_EXIT();
- /*Notenoughmemory,returnaNULLpointer.*/
- return0;
- }
- /*Walkthroughthememorypoolinsearchforalargeenoughblock.*/
- current_ptr=pool_ptr->raw_byte_pool_search;
- examine_blocks=pool_ptr->raw_byte_pool_fragments+1;
- available_bytes=0;
- do{
- /*Checktoseeifthisblockisfree.*/
- if(*((RAW_U32*)(current_ptr+sizeof(RAW_U8*)))==RAW_BYTE_BLOCK_FREE){
- /*Blockisfree,seeifitislargeenough.*/
- /*Pickupthenextblock'spointer.*/
- next_ptr=*((RAW_U8**)current_ptr);
- /*Calculatethenumberofbyteavailableinthisblock.*/
- available_bytes=next_ptr-current_ptr-sizeof(RAW_U8*)-sizeof(RAW_U32);
- /*Ifthisislargeenough,wearedonebecauseourfirst-fitalgorithm
- hasbeensatisfied!*/
- if(available_bytes>=memory_size){
- /*Findthesuitableposition*/
- break;
- }
- else{
- /*Cleartheavailablebytesvariable.*/
- available_bytes=0;
- /*Notenoughmemory,checktoseeiftheneighboris
- freeandcanbemerged.*/
- if(*((RAW_U32*)(next_ptr+sizeof(RAW_U8*)))==RAW_BYTE_BLOCK_FREE){
- /*Yes,neighborblockcanbemerged!Thisisquicklyaccomplished
- byupdatingthecurrentblockwiththenextblockspointer.*/
- *((RAW_U8**)current_ptr)=*((RAW_U8**)next_ptr);
- /*Reducethefragmentnumber,anddoesnotneedtoincreaseavailablebytessince
- theyarealreadythere*/
- pool_ptr->raw_byte_pool_fragments--;
- /*Updatethesearchpointer,ifitisinvolved*/
- if(pool_ptr->raw_byte_pool_search==next_ptr){
- pool_ptr->raw_byte_pool_search=current_ptr;
- }
- }
- else{
- /*Neighborisnotfreesogettothenextsearchpoint*/
- current_ptr=*((RAW_U8**)next_ptr);
- /*Redusetheexaminedblocksincewehaveskipedonesearch*/
- if(examine_blocks){
- examine_blocks--;
- }
- }
- }
- }
- else
- {
- /*Blockisnotfree,movetonextblock.*/
- current_ptr=*((RAW_U8**)current_ptr);
- }
- /*finishoneblocksearch*/
- if(examine_blocks){
- examine_blocks--;
- }
- /*Restoreinterruptstemporarily.*/
- RAW_CRITICAL_EXIT();
- /*Disableinterrupts.*/
- RAW_CRITICAL_ENTER();
- /*Determineifanythinghaschangedintermsofpoolownership.*/
- if(pool_ptr->raw_byte_pool_owner!=raw_task_active)
- {
- /*Poolchangedownershipduringinterrupts.soweresetthesearch*/
- current_ptr=pool_ptr->raw_byte_pool_search;
- examine_blocks=pool_ptr->raw_byte_pool_fragments+1;
- /*Setupourownershipagain.*/
- pool_ptr->raw_byte_pool_owner=raw_task_active;
- }
- }while(examine_blocks);
- /*Determineifablockwasfound.Ifso,determineifitneedstobe
- split.*/
- if(available_bytes){
- /*Doweneedtosplitthisblockifthisisbigenough.*/
- if((available_bytes-memory_size)>=((RAW_U32)RAW_BYTE_BLOCK_MIN)){
- /*Splittheblock.*/
- next_ptr=current_ptr+memory_size+sizeof(RAW_U8*)+sizeof(RAW_U32);
- /*Setupthenewfreeblock.*/
- *((RAW_U8**)next_ptr)=*((RAW_U8**)current_ptr);
- *((RAW_U32*)(next_ptr+sizeof(RAW_U8*)))=RAW_BYTE_BLOCK_FREE;
- /*Increasethetotalfragmentcounter.*/
- pool_ptr->raw_byte_pool_fragments++;
- /*Updatethecurrentpointertopointatthenewlycreatedblock.*/
- *((RAW_U8**)current_ptr)=next_ptr;
- /*Setavailableequaltomemorysizeforsubsequentcalculation.*/
- available_bytes=memory_size;
- }
- /*Inanycase,markthecurrentblockasallocated.*/
- *((RAW_U32*)(current_ptr+sizeof(RAW_U8*)))=RAW_BYTE_BLOCK_ALLOC;
- /*Reducethenumberofavailablebytesinthepool.*/
- pool_ptr->raw_byte_pool_available=pool_ptr->raw_byte_pool_available-available_bytes
- -sizeof(RAW_U8*)-sizeof(RAW_U32);
- /*Adjustthepointerfortheapplication.*/
- current_ptr=current_ptr+sizeof(RAW_U8*)+sizeof(RAW_U32);
- }
- else{
- /*SetcurrentpointertoNULLtoindicatenothingwasfound.*/
- current_ptr=0;
- }
- /*Restoreinterruptstemporarily.*/
- RAW_CRITICAL_EXIT();
- /*Returnthesearchedresult*/
- returncurrent_ptr;
- }
(1)验证剩余空间是否满足条件,不满足立即返回;
(2)遍历所有的block节点,查找合适的节点,
a、如果寻找到合适的节点,那么立即跳出循环;
b、如果没有寻找到合适的节点,可以做一些额外的工作,比如说对相连的free节点进行合并;
c、循环的结束条件是examine_blocks全部遍历结束,当然如果发现raw_byte_pool_owner不为当前线程,那么一切重来;
(3)对于获得的block节点,同样有两种方法处理,
a、如果除去分配的空间,剩下的节点空间仍然很多,那么可以把当前节点拆分成两个节点进行处理;
b、如果剩下的空间本身就很有限,那么全部分配给当前线程算了。
(4)函数返回,current_ptr包含了那个分配好的地址。
- RAW_U16raw_byte_allocate(RAW_BYTE_POOL_STRUCT*pool_ptr,RAW_VOID**memory_ptr,
- RAW_U32memory_size,RAW_U32wait_option)
- {
- RAW_U16status;/*Returnstatus*/
- RAW_U8*work_ptr;/*Workingbytepointer*/
- RAW_TASK_OBJ*current_work_task;
- RAW_SR_ALLOC();
- #if(RAW_BYTE_FUNCTION_CHECK>0)
- if(pool_ptr==0){
- returnRAW_NULL_POINTER;
- }
- if(memory_ptr==0){
- returnRAW_NULL_POINTER;
- }
- if(raw_int_nesting){
- if(wait_option!=RAW_NO_WAIT)
- returnRAW_NOT_CALLED_BY_ISR;
- }
- #endif
- /*alignthememorysizeto4byte*/
- memory_size=((memory_size&(~3u))+4u);
- current_work_task=raw_task_active;
- /*Disableinterrupts.*/
- RAW_CRITICAL_ENTER();
- /*Looptohandlecaseswheretheownerofthepoolchanged.*/
- do{
- /*Indicatethatthisthreadisthecurrentowner.*/
- pool_ptr->raw_byte_pool_owner=current_work_task;
- /*Restoreinterrupts.*/
- RAW_CRITICAL_EXIT();
- /*Searchforfreememory*/
- work_ptr=raw_byte_pool_search(pool_ptr,memory_size);
- /*Disableinterrupts.*/
- RAW_CRITICAL_ENTER();
- /*ifraw_byte_pool_ownerchangedandwehavenotgotmemoryyet,continuetomdosearch*/
- }while((!work_ptr)&&(pool_ptr->raw_byte_pool_owner!=current_work_task));
- /*Determineifmemorywasfound.*/
- if(work_ptr){
- /*Copythepointerintothereturndestination.*/
- *memory_ptr=(RAW_U8*)work_ptr;
- RAW_CRITICAL_EXIT();
- /*Setthestatustosuccess.*/
- returnRAW_SUCCESS;
- }
- else{
- if(wait_option){
- /*systemislockedsotaskcannotbeblockedjustreturnimmediately*/
- if(raw_sched_lock){
- *memory_ptr=0;
- RAW_CRITICAL_EXIT();
- returnRAW_SCHED_DISABLE;
- }
- raw_task_active->msg=(RAW_VOID*)memory_size;
- raw_pend_object(&pool_ptr->common_block_obj,raw_task_active,wait_option);
- }
- else{
- *memory_ptr=0;
- RAW_CRITICAL_EXIT();
- /*Immediatereturn,returnerrorcompletion.*/
- returnRAW_NO_MEMORY;
- }
- }
- /*Restoreinterrupts.*/
- RAW_CRITICAL_EXIT();
- raw_sched();
- RAW_CRITICAL_ENTER();
- *memory_ptr=0;
- status=block_state_post_process(raw_task_active,memory_ptr);
- RAW_CRITICAL_EXIT();
- returnstatus;
- }
(1)判断参数的合法性;
(2)循环查找链表节点,寻找合适的内存块,注意循环的跳出条件,即work_ptr==NULL且没有其他线程的干扰;
(3)如果寻找到了合适的节点,那么没有问题,反之需要根据wait_option判断是否需要把自己挂起在等待队列上;
(4)线程再次得到运行的机会,memory_ptr中包含了内存地址,函数返回。
- RAW_U16raw_byte_release(RAW_BYTE_POOL_STRUCT*pool_ptr,void*memory_ptr)
- {
- RAW_U8*work_ptr;/*Workingblockpointer*/
- LIST*iter;
- LIST*iter_temp;
- LIST*byte_head_ptr;
- RAW_TASK_OBJ*task_ptr;
- RAW_U8need_sche=0;
- RAW_SR_ALLOC();
- #if(RAW_BYTE_FUNCTION_CHECK>0)
- if(pool_ptr==0){
- returnRAW_NULL_POINTER;
- }
- if(memory_ptr==0){
- returnRAW_NULL_POINTER;
- }
- #endif
- byte_head_ptr=&pool_ptr->common_block_obj.block_list;
- /*Backoffthememorypointertopickupitsheader.*/
- work_ptr=(RAW_U8*)memory_ptr-sizeof(RAW_U8*)-sizeof(RAW_U32);
- /*Disableinterrupts.*/
- RAW_CRITICAL_ENTER();
- /*Indicatethatthisthreadisthecurrentowner.*/
- pool_ptr->raw_byte_pool_owner=raw_task_active;
- /*Releasethememory.*/
- *((RAW_U32*)(work_ptr+sizeof(RAW_U8*)))=RAW_BYTE_BLOCK_FREE;
- /*Updatethenumberofavailablebytesinthepool.*/
- pool_ptr->raw_byte_pool_available=
- pool_ptr->raw_byte_pool_available+(*((RAW_U8**)(work_ptr))-work_ptr);
- /*Setthepoolsearchvalueappropriately.*/
- pool_ptr->raw_byte_pool_search=work_ptr;
- iter=byte_head_ptr->next;
- while(iter!=byte_head_ptr){
- iter_temp=iter->next;
- task_ptr=list_entry(iter,RAW_TASK_OBJ,task_list);
- RAW_CRITICAL_EXIT();
- /*Seeiftherequestcanbesatisfied.*/
- work_ptr=raw_byte_pool_search(pool_ptr,(RAW_U32)task_ptr->msg);
- RAW_CRITICAL_ENTER();
- /*Ifthereisnotenoughmemory,breakthisloop!*/
- if(!work_ptr){
- break;
- }
- wake_send_msg(task_ptr,(RAW_VOID*)work_ptr);
- need_sche=1;
- iter=iter_temp;
- }
- RAW_CRITICAL_EXIT();
- if(need_sche){
- raw_sched();
- }
- returnRAW_SUCCESS;
- }
(1)判断参数合法性;
(2)将当前block节点设置为可用,调整pool中的参数数据;
(3)遍历等待线程,并为之查找到合适的节点,寻找到节点跳出,遍历完所有等待节点也跳出;
(4)如果有线程被唤醒,那么需要重新调度,否则函数返回。嵌入式操作系统内核原理和开发(优先级的修改)
之前在和rawos作者的闲聊中,rawos作者认为实时操作系统中最大的特色就是互斥量的问题。一开始,我对这个看法其实是有保留意见的,直到我看到了修改优先级的相关代码,才开始对作者的看法有了很大的认同感。实话说,在嵌入式实时系统中修改优先级是一个很复杂的事情,为什么呢,因为这其中涉及到了互斥量的问题。我们大家都知道,在嵌入式系统中优先级反转是一个绕不去的砍。低优先级的任务因为获得了互斥量因而比高优先级的任务获得了更多的运行机会,这从根本上违背了实时系统设计的初衷。所以,人们为了解决除了这一问题,提出了优先级互斥量和优先级继承两种方法。优先级互斥量的办法比较简单,ucos也是这么做的。我们在分配一个互斥量的时候,也给这个互斥量分配一定的优先级。任何获得该互斥量的任务都会把自己的优先级修改为互斥量的优先级,这样保证了获得该优先级的任务可以在最短的时间内完成,尽快释放资源。但是,这也会导致一个问题,那就是该互斥量需要占用一个优先级,而且比此优先级高的任务也没办法获得该互斥量。另外一种方法就是优先级继承的方法,简单一点说就是任何对阻塞线程优先级的修改,都会导致拥有此互斥量的任务进行优先级的修改。闲话不多说,我们看看rawos上面的代码是怎么描述的,
- RAW_U16raw_task_priority_change(RAW_TASK_OBJ*task_ptr,RAW_U8new_priority,RAW_U8*old_priority)
- {
- RAW_U8ret_pri;
- RAW_U16error;
- RAW_SR_ALLOC();
- #if(RAW_TASK_FUNCTION_CHECK>0)
- if(task_ptr==0){
- returnRAW_NULL_OBJECT;
- }
- if(old_priority==0){
- returnRAW_NULL_OBJECT;
- }
- #endif
- /*Idletaskisnotallowedtochangepriority*/
- if(task_ptr->priority>=IDLE_PRIORITY){
- returnRAW_CHANGE_PRIORITY_NOT_ALLOWED;
- }
- /*Notallowedchangetoidlepriority*/
- if(new_priority==IDLE_PRIORITY){
- returnRAW_CHANGE_PRIORITY_NOT_ALLOWED;
- }
- RAW_CRITICAL_ENTER();
- #if(CONFIG_RAW_MUTEX>0)
- ret_pri=chg_pri_mutex(task_ptr,new_priority,&error);
- if(error!=RAW_SUCCESS){
- gotoerror_exit;
- }
- task_ptr->bpriority=new_priority;
- new_priority=ret_pri;
- #else
- task_ptr->bpriority=new_priority;
- #endif
- *old_priority=task_ptr->priority;
- error=change_interal_task_priority(task_ptr,new_priority);
- if(error!=RAW_SUCCESS){
- gotoerror_exit;
- }
- RAW_CRITICAL_EXIT();
- do_possible_sche();
- returnRAW_SUCCESS;
- error_exit:
- RAW_CRITICAL_EXIT();
- returnerror;
- }
这个函数是系统本身提供的一个函数,内容不算少,但是重点可以放在两个子函数上面。一个部分是函数chg_pri_mutex,另外一个函数是change_interal_task_priority。前者判断当前优先级是否可以修改,后者判断如何对当前的任务进行修改,后面我们会看到会对这个问题有一个详细的说明。
- RAW_U8chg_pri_mutex(RAW_TASK_OBJ*tcb,RAW_U8priority,RAW_U16*error)
- {
- RAW_MUTEX*mtxcb;
- RAW_U8hi_pri,low_pri,pri;
- RAW_TASK_OBJ*first_block_task;
- LIST*block_list_head;
- hi_pri=priority;
- low_pri=0;
- mtxcb=(RAW_MUTEX*)(tcb->block_obj);
- if(mtxcb){
- /*ifitisblockedonmutex*/
- if(mtxcb->common_block_obj.object_type==RAW_MUTEX_OBJ_TYPE){
- if(mtxcb->policy==RAW_MUTEX_CEILING_POLICY){
- pri=mtxcb->ceiling_prio;
- if(pri>low_pri){
- low_pri=pri;
- }
- }
- }
- }
- /*LockedMutex*/
- pri=hi_pri;
- for(mtxcb=tcb->mtxlist;mtxcb!=0;mtxcb=mtxcb->mtxlist){
- switch(mtxcb->policy){
- caseRAW_MUTEX_CEILING_POLICY:
- pri=mtxcb->ceiling_prio;
- if(pri>low_pri){
- low_pri=pri;
- }
- break;
- caseRAW_MUTEX_INHERIT_POLICY:
- block_list_head=&mtxcb->common_block_obj.block_list;
- if(!is_list_empty(block_list_head)){
- first_block_task=list_entry(block_list_head->next,RAW_TASK_OBJ,task_list);
- pri=first_block_task->priority;
- }
- break;
- default:
- /*nothingtodo*/
- break;
- }
- if(pri<hi_pri){
- hi_pri=pri;
- }
- }
- if(priority<low_pri){
- *error=RAW_EXCEED_CEILING_PRIORITY;
- returnRAW_EXCEED_CEILING_PRIORITY;
- }
- *error=RAW_SUCCESS;
- returnhi_pri;
- }
上面的代码还是比较复杂的,我们看到其实任务的优先级不是可以随便修改的,因为当前任务可能已经占有了许多互斥量资源,而这些互斥量资源其实是有约束条件的。如果占有的互斥量类型是那种带优先级的互斥量,那么必须找出的那个最低优先级的互斥量,至少修改的任务优先级不能比它高。剩下的工作就是在继承优先级的体制下寻找到最高的优先级,仅此而已。
- RAW_U16change_interal_task_priority(RAW_TASK_OBJ*task_ptr,RAW_U8new_priority)
- {
- RAW_U8old_pri;
- switch(task_ptr->task_state){
- caseRAW_RDY:
- remove_ready_list(&raw_ready_queue,task_ptr);
- task_ptr->priority=new_priority;
- if(task_ptr==raw_task_active){
- add_ready_list_head(&raw_ready_queue,task_ptr);
- }
- else{
- add_ready_list_end(&raw_ready_queue,task_ptr);
- }
- break;
- caseRAW_DLY:/*NothingtodoexceptchangethepriorityintheOS_TCB*/
- caseRAW_SUSPENDED:
- caseRAW_DLY_SUSPENDED:
- task_ptr->priority=new_priority;/*Setnewtaskpriority*/
- break;
- caseRAW_PEND:
- caseRAW_PEND_TIMEOUT:
- caseRAW_PEND_SUSPENDED:
- caseRAW_PEND_TIMEOUT_SUSPENDED:
- old_pri=task_ptr->priority;
- task_ptr->priority=new_priority;
- change_pend_list_priority(task_ptr);
- #if(CONFIG_RAW_MUTEX>0)
- mtx_chg_pri(task_ptr,old_pri);
- #endif
- break;
- default:
- #if(CONFIG_RAW_ASSERT>0)
- RAW_ASSERT(0);
- #endif
- returnRAW_STATE_UNKNOWN;
- }
- returnRAW_SUCCESS;
- }
前面,我们说到了优先级的修改函数,而change_interal_task_priority就是完成这一功能的函数。当然,我们需要针对目前任务的状态对任务的优先级进行修改,如果任务此时正在运行或者延迟运行,那么还好办,关键是如果此时任务已经阻塞了,那么考虑的情况就多了。
- RAW_VOIDmtx_chg_pri(RAW_TASK_OBJ*tcb,RAW_U8oldpri)
- {
- RAW_MUTEX*mtxcb;
- RAW_TASK_OBJ*mtxtsk;
- mtxcb=(RAW_MUTEX*)(tcb->block_obj);
- if(mtxcb->common_block_obj.object_type==RAW_MUTEX_OBJ_TYPE){
- if(mtxcb->policy==RAW_MUTEX_INHERIT_POLICY){
- mtxtsk=mtxcb->mtxtsk;
- if(mtxtsk->priority>tcb->priority){
- /*Sincethehighestpriorityofthelockwaittask
- becamehigher,raisethelockgettaskpriority
- higher*/
- change_interal_task_priority(mtxtsk,tcb->priority);
- }
- /*thehighestprioritytaskblockedonthismutexmaydecreaseprioritysoresetthemutextaskpriority*/
- elseif(mtxtsk->priority==oldpri){
- release_mutex(mtxtsk,0);
- }
- }
- }
- }
mtx_chg_pri函数此时考虑的不光是它自己优先级的问题,它还需要考虑此时占有互斥量的这个任务优先级该怎么修改。我们进一步看看release_mutex下面做了哪些工作。
- staticRAW_VOIDrelease_mutex(RAW_TASK_OBJ*tcb,RAW_MUTEX*relmtxcb)
- {
- RAW_MUTEX*mtxcb,**prev;
- RAW_U8newpri,pri;
- RAW_TASK_OBJ*first_block_task;
- LIST*block_list_head;
- /*(B)Thebasepriorityoftask*/
- newpri=tcb->bpriority;
- /*(A)Thehighestpriorityinmutexwhichislocked*/
- pri=newpri;
- prev=&tcb->mtxlist;
- while((mtxcb=*prev)!=0){
- if(mtxcb==relmtxcb){
- /*Deletefromlist*/
- *prev=mtxcb->mtxlist;
- continue;
- }
- switch(mtxcb->policy){
- caseRAW_MUTEX_CEILING_POLICY:
- pri=mtxcb->ceiling_prio;
- break;
- caseRAW_MUTEX_INHERIT_POLICY:
- block_list_head=&mtxcb->common_block_obj.block_list;
- if(!is_list_empty(block_list_head)){
- first_block_task=list_entry(block_list_head->next,RAW_TASK_OBJ,task_list);
- pri=first_block_task->priority;
- }
- break;
- default:
- break;
- }
- if(newpri>pri){
- newpri=pri;
- }
- prev=&mtxcb->mtxlist;
- }
- if(newpri!=tcb->priority){
- /*Changepriorityoflockgettask*/
- change_interal_task_priority(tcb,newpri);
- }
- }
嵌入式操作系统内核原理和开发(总结篇)
很多朋友都喜欢嵌入式操作系统的内容,但是如何实现和仿真这样一个系统一直是困扰我们的难题。现在郑重推荐一下raw-os系统,在我们的博客当中也多次提到了这个代码,希望大家可以多多阅读,不断加深对os的认识。如果有可能,大家可以到http://ishare.iask.sina.com.cn/f/33440944.html这里下载raw-os的vc6.0版本,单步调试每一行代码,肯定会有所收获。(02)嵌入式操作系统内核原理和开发(改进的链表内存分配算法)
(03)嵌入式操作系统内核原理和开发(等值block内存池设计)
(12)嵌入式操作系统内核原理和开发(最快、最优、最差内存分配算法)
(13)嵌入式操作系统内核原理和开发(基于链表节点的内存分配算法)
(20)嵌入式操作系统内核原理和开发(任务创建和堆栈溢出检查)
相关推荐
嵌入式操作系统内核原理和开发(消息队列).doc
本文将深入探讨嵌入式操作系统内核原理,特别是关于优先级修改的相关内容。 首先,我们要理解在实时操作系统(RTOS)中,优先级反转是一个常见的问题。当一个低优先级的任务持有了一个互斥量,使得高优先级任务不得...
《底层工作者手册之嵌入式操作系统内核5.7》不仅深入浅出地介绍了操作系统内核的基本原理,还通过具体实例引导读者从零开始构建一个完整的实时嵌入式操作系统内核。本书适合有一定C语言基础并对硬件有所了解的开发者...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
嵌入式操作系统原理概述 嵌入式操作系统(EOS)是工作在嵌入式系统中的操作系统,负责控制和管理嵌入式系统的硬件和应用软件资源,合理地组织系统工作流程和方便用户使用的程序的集合。EOS 的功能包括:从软件开发...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
本资料集包含了嵌入式Linux操作系统的原理及其在实际应用中的详细讲解,包括视频教程、课件、源代码和书的文档Word版,为学习者提供了全面的学习资源。 首先,理解嵌入式Linux的基本概念至关重要。嵌入式系统是指...
### 嵌入式操作系统FreeRTOS的原理与实现 #### 摘要 FreeRTOS作为一款源码公开的免费嵌入式实时操作系统(RTOS),在嵌入式领域中得到了广泛的应用。通过对FreeRTOS的研究,我们可以深入理解嵌入式操作系统的实现...
我将Wanlix和Mindows的开发过程记录下来,就形成了这本“底层工作者手册之嵌入式操作系统内核”一书,本手册不仅仅是从应用的角度介绍操作系统如何使用,更重要的是从原理的角度对操作系统的功能做了分析、设计,从...
2. **嵌入式操作系统**:嵌入式系统常使用RTOS(实时操作系统),如FreeRTOS、RTOS VxWorks、Linux等。理解操作系统的任务调度、中断处理、内存管理等机制对开发至关重要。 3. **嵌入式编程**:学习C/C++语言,熟悉...
嵌入式实时操作系统VxWorks是Wind River Systems公司推出的一款高度优化、性能强大的实时操作系统,广泛应用于航空航天、工业控制、通信设备等领域。VxWorks以其高效性、稳定性和可定制性著称,能够满足严格的时间...
《嵌入式Linux操作系统原理与应用源代码》一书由文全刚编著,主要针对嵌入式领域的Linux操作系统进行深入探讨,旨在帮助读者理解其内部工作原理,并掌握实际应用中的编程技巧。这本书包含了丰富的源代码,使得学习...