SmartTimer的开发思路

今天来讲一讲我开发SmartTimer的思路。在上一篇介绍SmartTimer的文章《SmartTImer——一个基于STM32的时钟管理器》中,我提到了要实现延迟XX毫秒执行XX函数的功能,比较好的方式是在定时器中断中设置溢出标志,而在程序主循环中检测这个标志,如果标志置位则运行回调函数。这样不仅可以实现异步的操作,最大化利用MCU的计算资源,而且可以最小化定时器的中断时间。只不过每设置一个定时器事件,就需要为这个事件设定全局标志位,并且为其单独计数、检测标志位。如果处理不好,将会使全局标志散落在程序的各个角落,不仅使程序结构臃肿,而且会留下bug隐患。

基于以上原因,我明确了SmartTimer的开发目的,就是统一管理各个定时器事件,将定时计数、判断定时溢出,执行回调函数都封装起来。使用者在SmartTimer外部不必关心具体的内部实现,只需要用一行语句即可完成异步延迟的操作,不必进行额外的操作。除了简便外另一个好处是,即便定时器部分出现了程序上的bug,也使得问题更加集中,便于定位bug而进行修改。

在对外功能上,提供runlater,runloop,delay这三个功能。

SmartTimer的初步构想##

明确了开发目的,就开始构建SmartTImer了。我考虑的SmartTimer架构其实很简单,总体上分为三大块,如下图所示:

简要说明一下这个系统框图:

  1. 用户调用runlater、runloop、delay后,会从内存池中拿出一个event对象并初始化,push进event链表中;
  2. 定时器中断函数每隔Xms执行一次,遍历整个event链表,给每个event事件定时+1,并判断定时时间是否到达。如果到达则将该事件的溢出计数+1;如果定时循环次数不为0,则重新计数,否则将该事件对象从event链表中转移到recycle数组中。
  3. 在主while循环中,查询mark table,如某事件的溢出计数大于0则执行对应的回调函数,并将溢出计数-1;查询recycle数组,如果有需要回收的event事件,则释放资源到内存池中。

架构出来后,本着先完成再优化的原则,稍微考虑下优化方针,就可以动手实现了。由于SmartTimer没有抢占机制,所以属于非实时性工具。但理论上来说,如果以上描述的3大块程序都执行的非常快,那么就可以理解为接近“实时”了。所以为了提高实时性,需要提高程序的执行速度。在代码优化上,我主要采用了空间换时间的方法,牺牲了一部分内存来换取执行速度。主要用在event pool上,以及用数组映射来设置溢出标志和执行回调函数等地方。

SmartTimer的初步实现

首先抽象出定时器事件的定义:

    struct stim_event{
      uint16_t interval;   //定时事件的定时间隔 
      uint16_t now;        //定时事件的当前计数  
      uint16_t looptimes;  //loop次数 
      uint8_t addIndex;    //事件对象在内存池中的序号 
      uint8_t stat;        //定时事件的当前状态
      struct stim_event *next;
      struct stim_event *prev;
    };

从结构体定义上可以看出,我准备用双向链表来组织这些定时器事件。用链表而不是数组来构建事件list,是因为定时器事件的加入和移除是动态的,且有时会从list中间增减事件,所以用链表比数组更加合理。

在SmartTimer初始化时,会预先创建一个stim_event的数组作为event pool来使用。另外还会创建两个元素数量与event pool相同的数组,一个是MarkArray,用来存储event的溢出计数;一个是CallbackArray,用来存储回调函数的函数指针。event、溢出计数、回调函数用stim_event中的addIndex联系起来。

event->addIndex为该event在event pool数组中的序号(数组下标),相应的MarkArray和CallbackArray数组中,序号为event->addIndex的元素,存储着该event的溢出计数和回调函数指针。当某个event计时时间到,那么MarkList中第event->addIndex个元素溢出计数+1,将CallbackArray数组中第event->addIndex个元素存储的函数指针调用一次。

定时器中断函数,主要是遍历event链表,进行定时计数并判断是否定时溢出。

    void stim_tick (void)
	{
	  struct stim_event *tmp;
	  if (event_list.count == 0)
	    return;
	
	  tmp = event_list.head;
		
	  while(tmp != NULL){ //遍历event链表
	    if(tmp->stat != STIM_EVENT_ACTIVE){
				tmp = tmp->next;
	      continue;
	    }
	    
	    if(tmp->now == tmp->interval){
	      mark_list[tmp->addIndex] += 1;  //时间到,溢出计数+1
				if((tmp->looptimes != STIM_LOOP_FOREVER) && 
					(--tmp->looptimes == 0)){   // 循环次数为0,移除事件链表
					tmp->stat = STIM_EVENT_RECYCLE;
					recycle_list[recycle_count] = tmp;
					recycle_count++;
				}
	      tmp->now = 0;
	    }
	
	    tmp->now++;
	    tmp = tmp->next;
	  }
	}	

在主while循环中,主要是执行callback函数,以及回收event事件对象

    void stim_mainloop ( void )
	{
	  uint8_t i;
	  struct stim_event *tmp;
	  
	  for(i = 0; i < STIM_EVENT_MAX_SIZE; i++){  //检查溢出标志,并执行回调函数
	    if((mark_list[i] != STIM_INVALID) && (mark_list[i] > 0)){
	      if(callback_list[i] != NULL){
	        callback_list[i]();
	      }
	      mark_list[i] -= 1;
	    }
	  }
	
	  if(recycle_count > 0){
	    for(i = 0; i < STIM_EVENT_MAX_SIZE; i++){  //如果有需要回收的event,则回收对象
	      tmp = recycle_list[i];
	      if(tmp != NULL && mark_list[tmp->addIndex] == 0){
	        pop_event(tmp);
	        recycle_list[i] = NULL;
	        recycle_count--;
	        break;
	      }
	    }
	  }
	
	}	

以上是SmartTimer 1.0版本的核心代码。至此,SmartTimer已经可以运行起来了,它大致上完成了我的设计目的,但是并没有完成我的设计目标——它运行的效率并不高,这样以来,实时性就会大打折扣。但是SmartTimer的设计架构我认为还是合理的,只需在这个框架内对调度算法进一步优化,就可以更完善了。下一篇文章,我会介绍我的优化思路和实现方法,敬请期待!

SmartTimer的应用技巧##

《SmartTImer——一个基于STM32的时钟管理器》中,我已经详细介绍过SmartTimer的一般使用方法,不再赘述,下面来简单谈谈高级用法。

我们先来看看传统的单片机程序架构:

    void main (void)
     {
       system_init();    //系统初始化
       peripheral_init();//外设初始化
       while(1){
          switch(step){  //主程序状态机
             case A: // do something
                     break;
             case B: //do something
                     break;
              ……
             default: //do something
                     break;
          }

          usart_driver();//串口驱动
          timer_event_handler();//定时器事件处理
          ……
       } 
     }

一般来说都是先进行系统各项初始化,然后就进入了主while循环中,在while循环中,主要执行系统状态机,用来完成当发生xx事后,执行xx函数的功能。在状态机之外,有一些辅助性的功能,例如系统Led呼吸灯驱动、串口驱动、定时事件回调函数等等。

我们单看主while循环内的部分,做一个最简模型。如果假定switch状态机部分的执行需要100ms,串口驱动执行需要10ms,定时器事件处理执行需要20ms,那么while内的程序每循环一次使用130ms。我们其实可以换个角度来看这段程序,即switch状态机每隔30ms执行一次,串口驱动每隔120ms执行一次,而定时事件处理函数每隔110ms执行一次。

是不是很神奇?如果基于时间的角度来考虑问题,那么本来交织在一起的程序被轻易的模块化了,模块化的好处显而易见,不仅程序架构简单清晰,而且便于维护。利用SmartTimer的runloop功能可以轻松实现基于时间的模块化程序架构。我们来看看将上面的例子进行基于时间的模块化修改:

    static void state_machine(void)
	{
	  switch(step){  //主程序状态机
	    case A: // do something
	      break;
	    case B: //do something
	      break;
	      ……
	    default: //do something
	        break;
	  }
	}

	
	void main (void)
	{
	  system_init();    //系统初始化
	  peripheral_init();//外设初始化
	
	  stim_loop(30,state_machine,STIM_LOOP_FOREVER); 	 
      stim_loop(120,usart_driver,STIM_LOOP_FOREVER);   
	  stim_loop(110,timer_event_handler,STIM_LOOP_FOREVER);
	  ……
	  while(1){
	    stim_mainloop();
	  } 
	}

架构是不是瞬间变简洁了?另外,照这个思路考虑问题,状态机部分的程序也可以分解成若干个模块,使程序更加简洁、优雅。

posted @ 2016-08-03 17:15  elecsun  阅读(1207)  评论(3编辑  收藏  举报