[MsgOS]高效的延时处理机制

2020-01-01 17:50发布

[MsgOS]说好的源码来了
http://www.amobbs.com/thread-5653087-1-1.html
(出处: amoBBS 阿莫电子论坛)

[MsgOS]让系统跑起来
http://www.amobbs.com/thread-5653207-1-1.html
(出处: amoBBS 阿莫电子论坛)

[MsgOS]shell初体验
http://www.amobbs.com/thread-5653206-1-1.html
(出处: amoBBS 阿莫电子论坛)

[MsgOS]建议征集
http://www.amobbs.com/thread-5653238-1-1.html
(出处: amoBBS 阿莫电子论坛)

[MsgOS]hello world!
http://www.amobbs.com/thread-5653262-1-1.html
(出处: amoBBS 阿莫电子论坛)


因为MsgOS发送消息时具有延时选项,具备其他系统里软硬件timer的功能,也就不再有单独的timer组件了。
当msg_send函数中的time参数不为0时,说明该消息要延时发送,单位为1毫秒,误差为一个单位,由于time为无符号32位数,则可延时的范围为1毫秒到约49天,无论定时精度还是跨度都是很出众的。当opt参数具备MSG_OPT_PERIODIC或MSG_OPT_REPEAT属性时,定时将会是周期性的(二者区别后面再讲),否则为单次定时。
定时检查处理是在系统滴答定时器的中断中进行的,MsgOS系统心跳周期固定为1毫秒,而其他家系统一般是可变的,1毫秒的系统心跳既有足够的分辨精度又不至于占用太多CPU时间,最关键的是所有基于MsgOS的应用代码心跳都是1毫秒非常便于代码阅读和移植。


最初的定时实现方式是每次心跳中断都检查所有消息块,看计时值是否为0,不为0则减减处理,减减后若为0则说明计时时间到,调用相关处理。这种方式原理很简单但时间复杂度为O(n),消息块越多检查耗时越多。
后来又改为了需要延时处理的消息块放在数组前面,每次心跳中断只对前面的延时消息快进行逐个判断。这样时间消耗明显减小,但当时对消息块数组进行排列插入操作的实现较为复杂。
后来系统从Linux源码中借鉴了双向循环链表的处理方法,消息块的插入删除等操作就变得简单高效了。
此后看到了别人的一种软件定时处理方法,基本思路是这样的:
1.添加第一个定时器(TA)时,计时时间就是参数输入值,如TA=100,然后每次心跳中断减减直到为0
2.添加第二个定时器(TB),如果延时时间小于当前第一个的值,如延时为TB=40,此时第一个计时已为TA=80,则将其插入到第一个前面,计时为TB=40,而TA=80-40。如果TB延时时间小于当前第一个的值,如TB=120,TA=80,则将TB排在TA后面,此时TA=80,TB=120-80.
3.再有新定时器添加时类似上面处理,即根据当前延时值从小到大排列进行插入处理,并对队列后面的定时值进行修正。
4.每次心跳中断都只对第一个定时块进行计时减减处理,直到其减到为0定时时间到,删除该块把下一个块作为队列头继续处理。
这样处理的好处是心跳中断时间复杂度为O(1),每次耗时都很短且和延时任务数目无关。但每次在添加定时时需要进行一次队列比较和插入处理,还要修改其他定时块的计时值。


结合上面这一思路,MsgOS目前的计时处理又进化成了这样。
有一个64位的计时值clock从0开始,每次心跳中断加1处理,对于一个64位单位为1毫秒的计时值来讲,要到576584650年后才能溢出,所以我对其溢出后的错误处理采取了不处理的严谨做法
同时对这个64位数据还要按照高32位和低32位来访问,低32位表示此次计时周期中当前系统时间,高32位表示低32位计时溢出次数。
为了方便,构造一个联合体对此数据进行访问,如下所示
  1. union
  2. {
  3.         uint64    total;
  4.         struct
  5.         {
  6.                 uint32 current;
  7.                 uint32 overflow;
  8.         }part;   
  9. }clock;
复制代码


再定义两个定时链表timer[0]和timer[1],用于接收添加的定时消息块。且以计时周期溢出次数的0位值来指示哪个链表是当前延时链表,也就是在每次计时溢出后都会切换一次当前延时链表。
当添加一个延时消息时,以time+current(即tick)做为参考,在当前定时链表中按照从小到大排列,不会修改已有消息块的计时值,每次心跳中断时只比较current和表头tick值,如果tick<=current则认为计时时间到,进行相应处理后删除首节点,再以下一个节点为首进行相同处理。这样通过比较系统时间轴上前后位置来判定计时时间是否到达就避免了减减计数方式带来的定时块间的关联耦合。

这里有一个问题就是time和current都是无符号32位数据,出现加值溢出怎么办?
办法就是如果tick< current即出现加值溢出,则将该消息块以同样的方式添加到非当前定时链表中。在定时链表切换后自然就会得到准确处理。

这样在系统心跳中断中只做一次数值比较,时间复杂度为O(1),而在添加延时时只需要一次队列比较和插入操作。而且系统心跳计时clock的加入为系统还带来了跟多的功能和好处(好处以后在讲)。


怎么样,是不是非常高效呢?

下面是系统心跳中断延时处理函数源码
  1. void  msg_irq(void)
  2. {
  3.         msg_st    *msg;
  4.         link_st   *link;
  5.         link_st   *node;

  6.         scb.mcb.clock.total++;
  7.         link =&scb.mcb.timers[scb.mcb.clock.part.overflow & 0x01];   

  8.         while(!link_isempty(link))
  9.         {
  10.                 node = link->next;      
  11.                 msg =(msg_st  *)node;         
  12.                 if(msg->tick <= scb.mcb.clock.part.current)
  13.                 {            
  14.                         link_remove(node);
  15.                         if(msg->opt & MSG_OPT_IRQ)
  16.                         {
  17.                                 msg->state=MSG_STATE_RUNING;
  18.                                 (msg->msgf)(msg->data,msg->ptr);
  19.                                 if(msg->opt & MSG_OPT_PERIODIC)
  20.                                 {              
  21.                                         msg_enqueue_delay(msg);                                                          
  22.                                 }
  23.                                 else
  24.                                 {
  25.                                         link_insert_before(&scb.mcb.free,node);
  26.                                         msg->state=MSG_STATE_FREE;
  27.                                 }
  28.                         }
  29.                         else
  30.                         {
  31.                                 msg_enqueue_thread(msg);                                                       
  32.                         }
  33.                 }
  34.                 else
  35.                 {
  36.                         break;
  37.                 }                           
  38.         }   
  39. }
复制代码
友情提示: 此问题已得到解决,问题已经关闭,关闭后问题禁止继续编辑,回答。
该问题目前已经被作者或者管理员关闭, 无法添加新回复
19条回答
科技猎人
1楼-- · 2020-01-02 11:26
wofei3344 发表于 2016-6-19 11:45
目前想学FreeRTOS,Cube上带的

哦,freeRTOS还是比较轻量级的,只是那个命名规则我接受不了。国内的rtthread也还不错,组件比较齐全。当然能支持下我的MsgOS就更好了。
wang1216
2楼-- · 2020-01-02 11:31
初学单片机,裸跑 单任务
学了一段时间觉得操作系统好牛 多任务
学了好长一段时间后,操作系统只能做一定量的事,接着裸跑 多任务
wofei3344
3楼-- · 2020-01-02 11:40
科技猎人 发表于 2016-6-19 12:10
哦,freeRTOS还是比较轻量级的,只是那个命名规则我接受不了。国内的rtthread也还不错,组件比较齐全。当 ...

最新版的是这个“MsgOS_V20160623.rar”吗?已经下载,有空试试...谢谢分享~

顺便问下,这个没有版权限制吧
科技猎人
4楼-- · 2020-01-02 14:16
 精彩回答 2  元偷偷看……
elecsun
5楼-- · 2020-01-02 18:18
受教了,很受启发
科技猎人
6楼-- · 2020-01-02 21:41
elecsun 发表于 2016-6-27 16:00
受教了,很受启发

客气了,对你有帮助就好。也希望你多加支持我的MsgOS。

一周热门 更多>