今天来讲一讲我开发SmartTimer的思路。在上一篇介绍SmartTimer的文章《SmartTImer——一个基于STM32的时钟管理器》中,我提到了要实现延迟XX毫秒执行XX函数的功能,比较好的方式是在定时器中断中设置溢出标志,而在程序主循环中检测这个标志,如果标志置位则运行回调函数。这样不仅可以实现异步的操作,最大化利用MCU的计算资源,而且可以最小化定时器的中断时间。只不过每设置一个定时器事件,就需要为这个事件设定全局标志位,并且为其单独计数、检测标志位。如果处理不好,将会使全局标志散落在程序的各个角落,不仅使程序结构臃肿,而且会留下bug隐患。
基于以上原因,我明确了SmartTimer的开发目的,就是统一管理各个定时器事件,将定时计数、判断定时溢出,执行回调函数都封装起来。使用者在SmartTimer外部不必关心具体的内部实现,只需要用一行语句即可完成异步延迟的操作,不必进行额外的操作。除了简便外另一个好处是,即便定时器部分出现了程序上的bug,也使得问题更加集中,便于定位bug而进行修改。
在对外功能上,提供runlater,runloop,delay这三个功能。
SmartTimer的初步构想##
明确了开发目的,就开始构建SmartTImer了。我考虑的SmartTimer架构其实很简单,总体上分为三大块,如下图所示:
简要说明一下这个系统框图:
- 用户调用runlater、runloop、delay后,会从内存池中拿出一个event对象并初始化,push进event链表中;
- 定时器中断函数每隔Xms执行一次,遍历整个event链表,给每个event事件定时+1,并判断定时时间是否到达。如果到达则将该事件的溢出计数+1;如果定时循环次数不为0,则重新计数,否则将该事件对象从event链表中转移到recycle数组中。
- 在主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();
}
}
架构是不是瞬间变简洁了?另外,照这个思路考虑问题,状态机部分的程序也可以分解成若干个模块,使程序更加简洁、优雅。