作为分析的内核版本2014-04-15,基于1.05正式版,blogs我们会跟上的内核开发进度的最新版本,如果出现源代码的目光”???”的话。没有深究的部分是理解。
Raw-OS官方站点:http://www.raw-os.org/
Raw-OS托管地址:https://github.com/jorya/raw-os/
在真正介绍状态机编程之前。还是先介绍一下一些Raw-OS关于状态机编程的主要的东西。做做前戏是非常有必要的。让后来来得更有感觉~嗯嗯~就是这种~
那这篇就先介绍一下Raw-OS的空暇事件的内核运行过程,据Raw-OS作者txj大大的介绍,状态机编程结合事件触发机制,双剑合璧才干发挥很很好的功效。可是小弟我到如今还不能很好的领悟Raw-OS中状态机编程的精髓啊~精啊~啊~
所谓的事件触发机制,在Raw-OS内核表现出来的就是一套用户APIs。事实上这里就解说一下API的运行原理而已,为下一节開始的状态机编程(fsm、hsm)打打预防针。嗯嗯~就是这种
首先,先来看看一张图
这张图就是事件触发的在Raw-OS运行的流程图,这里就先了解一下概念,是了解哈~亲~
首先就是图上的OBJ、OBJ是什么呢?记住一个名词,活动对象。仅仅是先记住“活动对象”这个名词,所谓的状态机编程。就是对活动对象定义和编写状态函数,那什么又是状态函数呢,就是事件的处理过程函数,处理的过程函数好理解,就是详细的运行操作嘛,那尼玛什么又是事件?事件嘛,事实上就是一个信号,尼玛什么信号啊,给老子详细点。
好好,举个样例,
本屌是一个程序猿。程序猿就是本屌,那么本屌就能够抽象成一个活动对象
那么状态机编程呢?就是定义和编写状态过程,比如本屌比較正常的一天的工作就是,写代码,然后累的时候去抽烟,领导不在的时候就偷懒。刷糗百的时候选择拉翔。最后空暇的时候就去文员办公室调剂一下。调戏为数不多的小妹妹们
相应于事件触发的机制来讲一讲~
有时候本屌的责任心就是比較强。爱岗敬业,常常督促自己完毕当日的代码编写工作,那么本屌就会给自己发送一个:尼玛。赶紧干活的事件消息。再比方说项目组的文员常常有事没事就会要你跟一下项目进度。或者一些琐碎的事情,那么文员就会给你发送一个:妈蛋。给老娘滚过来报告进度的事件消息。再比方说,老大有时候无聊会找你组队抽个烟,吐槽一下公司的垃圾方面,那就就会给你发送一个:来来来,走一个的事件信号......
然后,本屌会接收到非常多的事件信号,这些事件都是要处理的。都是有优先级的,比方我先会去文员那里报告进度,得罪女人非常麻烦的,你懂的,然后才会去跟老大“走一个”,最后才会去完毕本屌的本质工作:写代码。所以。在接收信号的时候。我自己会对事件信号排序,然后存在我的脑子里。在抽象框图就是活动对象的buffer中,到这里能够略微理解一点没有。
事件调度就是在我脑子里接收并排序好的事件信号,一个个去完毕它,拿到一个事件信号。就去运行相应的工作,也就是运行活动对象的状态函数,状态机编程详细就是干这个东西,怎么去定义状态,怎么样去编写状态运行函数的方法论,完事。
然后如今详细到Raw-OS的事件触发的详细代码里面。
在Raw-OS中。能够定义最多64个活动对象,就好比一个公司有众多屌丝程序猿一样,然后每一个活动对象都有自己的优先级。就好比屌丝中也有累不死然后喜欢天天加班的屌。他们优先级是非常高的,通常分配到他们的资源是非常的多的,好比我所在的公司,组长尼玛都是天天加班在办公室里面做码神,可是好比我这种可有可无的屌丝就不会干这事,常常一下班就开溜。项目也不多。钱也拿得少,所以优先级非常低。
那么在Raw-OS中的。活动对象的优先级大小是依照定义时的顺序先后排列的。
也就是说。先定义OBJ0,那么OBJ0就是优先级最高,为0。比方我先定义OBJ63,那么OBJ63就是最高优先级的活动对象。总之,先定义的活动对象比后定义的活动对象的优先级高。全部定义的活动对象都放在active_idle_task[]全局数组里面,Raw-OS在事件触发系统初始化时,就会初始化这些定义的活动对象。
每一个活动对象,在内核中由两部分组成
活动对象包括:
1.关于其自身的状态机。也就是说。包括属于这个活动对象的可能的全部状态和状态函数的定义
2.一个用于接收事件信号的消息队列(Queue)
至于内核代码,就是抽象成几个变量
如今再利用上面的样例拓展一下,对于项目组的文员,也能够抽象成活动对象,然后老大也能够抽象成活动对象。领导也是一个鸟样,相同是活动对象
那么对于事件消息。活动对象能够给活动对象发送事件消息,另外硬件中断也能够给活动对象发送事件消息~硬件中断怎么理解。妈蛋如今写单片机程序你说你理解不了中断,卧槽,你TM是在逗我吗?
好好。接下来再说说。有几个Raw-OS系统默认能够发送的事件信息,一个是入口事件ENTRY,一个是初始化事件INIT。一个是出口事件EXIT,最后一个是超时事件TIMEOUT。
这几个信号在下节进入状态机详细编程的时候再讲。这里先记住就能够了~
举个超时事件TIMEOUT的样例
比方刚才项目管理组的文员叫本屌去汇报进度,可是本屌在忙其它的事情,距离叫本屌去汇报进度已经过去了一两个小时。文员拍案而起,给本屌发了条消息:“狗日的,老娘日理万机,还不给老娘滚过来汇报一下”,得罪女人非常麻烦的~你懂的。于是我给自己发送一个超时信号。是时候要去安抚一下那帮面目狰狞的女汉子暴躁的情绪了,超时信号就是这样,活动对象等待一个特定的事件发生。然后我们给他定义了一段等待事件,假设在等待事件里面特性的时间还没发生。就给自己发送一个timeout的事件,运行timeout的状态函数。
而等待超时的活动对象,都会放到idle的tick list中,这个和之前讲过Raw-OS内核的软件定时器tick list是一样的原理
最后讲讲queue这个东东。之前讲过的全部关于queue的原理在这里相同适用,这里只介绍发送事件消息时,能够发往消息queue的前端和后端。发送到queue前端的消息,在活动对象激活时会首先被处理,所以。消息按优先级大小排列就是依据发送给queue的事件消息的顺序
接下来就直接看凝视过的代码了~依照上面的概念去分析代码,结合凝视,非常easy看懂
活动对象初始化
void idle_event_init(void) { ACTIVE_EVENT_STRUCT *temp; RAW_U8 i; /* 初始化idle任务队列中的全部活动对象。依据Raw-OS内核规定。活动对象的最大数为64 */ for (i = 0; i <= MAX_IDLE_EVENT_TASK - 1; i++) { temp = active_idle_task[i].act; RAW_ASSERT(temp != 0); temp->prio = i; temp->head = 0; temp->tail = 0; temp->nUsed = 0; /* * priority_bit_y定义为组别优先级 * priority_bit_x定义为每一个组别活动对象优先级 * 分8个组别,每一个组别含8个活动对象 */ temp->priority_x = i & 0x7; temp->priority_y = i >> 3; temp->priority_bit_y = (RAW_U8 )(1 << temp->priority_y); temp->priority_bit_x = (RAW_U8 )(1 << temp->priority_x); } /* 初始化idle的tick链表 */ list_init(&raw_idle_tick_head); }
发送事件消息到queue前端
RAW_U16 idle_event_front_post(ACTIVE_EVENT_STRUCT *me, RAW_U16 sig, void *para) { #if (CONFIG_RAW_ZERO_INTERRUPT > 0) /* 开启task 0后,消息由task 0转发??? */ if (raw_int_nesting && raw_sched_lock) { return int_msg_post(RAW_TYPE_IDLE_FRONT_EVENT_POST, me, para, sig, 0, 0); } #endif /* 向活动对象的queue发送消息,这里选择发送到queue的前端,紧急消息 */ return event_post(me, sig, para, SEND_TO_FRONT); }
发送事件到queue后端
RAW_U16 idle_event_end_post(ACTIVE_EVENT_STRUCT *me, RAW_U16 sig, void *para) { #if (CONFIG_RAW_ZERO_INTERRUPT > 0) /* 开启task 0后,消息由task 0转发??? */ if (raw_int_nesting && raw_sched_lock) { return int_msg_post(RAW_TYPE_IDLE_END_EVENT_POST, me, para, sig, 0, 0); } #endif /* 向活动对象的queue发送消息,这里选择发送到queue的末端。一般消息 */ return event_post(me, sig, para, SEND_TO_END); }
事件发送核心代码
RAW_U16 event_post(ACTIVE_EVENT_STRUCT *me, RAW_U16 sig, void *para, RAW_U8 opt_send_method) { ACTIVE_EVENT_STRUCT_CB *acb; RAW_SR_ALLOC(); /* 依据活动对象的优先级,获取其在idle队列中的活动对象控制块 */ acb = &active_idle_task[me->prio]; RAW_CRITICAL_ENTER(); /* * nUsed变量用来存放活动对象中queue中存在的消息数量 * and变量表示的是活动对象中queue的大小 * * 这里推断当活动对象的存在消息数量超过活动对象queue存放消息数量的大小关系,溢出返回 */ if (me->nUsed == acb->end) { RAW_CRITICAL_EXIT(); return RAW_IDLE_EVENT_EXHAUSTED; } /* * 在这里,回想raw_queue_buffer这个模块,活动对象存放消息的queue也是一个环形buffer * * 发送消息到活动对象queue的末端 */ if (opt_send_method == SEND_TO_END) { /* 向buffer头指针位置写入活动对象信号 */ acb->queue[me->head].sig = sig; /* 向buffer头指针位置写入活动对象信号參数 */ acb->queue[me->head].para = para; /* 当head指针到达buffer的末端时,重置回到buffer起始位置 */ me->head++; if (me->head == acb->end) { me->head = 0; } } else { /* 当tail指针到达buffer的起始位置时,重置回到buffer末端 */ if (me->tail == 0) { me->tail = acb->end; } me->tail--; /* 向buffer尾指针位置写入活动对象信号 */ acb->queue[me->tail].sig = sig; /* 向buffer尾指针位置写入活动对象信号參数 */ acb->queue[me->tail].para = para; } /* 消息数量+1 */ ++me->nUsed; /* * 当活动对象存在消息时,活动对象就会得到活动对象优先级大小raw_rdy_tbl[]和组别优先级大小raw_idle_rdy_grp信息 * * 存在消息的活动对象就能够依据raw_rdy_tbl[]和raw_idle_rdy_grp查表得到存在消息的最高优先级活动对象 */ if (me->nUsed == 1) { raw_idle_rdy_grp |= acb->act->priority_bit_y; raw_rdy_tbl[acb->act->priority_y] |= acb->act->priority_bit_x; } RAW_CRITICAL_EXIT(); return RAW_SUCCESS; }
给活动对象指定超时时间
/* * 这个函数相当于给活动对象创建一个软件定时器。可是简化非常多raw_timer的工作 * 可是这个活动对象的定时器仅仅有一次超时的功能,超时会向创建活动对象软件定时器定义的活动对象发送超时信号 */ RAW_U16 idle_tick_arm(ACTIVE_EVENT_STRUCT *me, RAW_TICK_TYPE ticks) { RAW_U16 tick_ret; RAW_SR_ALLOC(); /* 中断中不能创建活动对象的定时器 */ if (raw_int_nesting) { return RAW_NOT_CALLED_BY_ISR; } /* 创建活动对象定时器时,超时时间大小不能为0 */ if (ticks == 0) { return RAW_IDLE_TICK_ADD_FAILED; } RAW_CPU_DISABLE(); /* 将定时器信息写入到活动对象中。并增加到idle_tick_list链表,在系统tick中断中调用idle_tick_isr()等待超时 */ if (me->tick_ctr == 0) { me->tick_ctr = ticks; list_insert(&raw_idle_tick_head, &me->idle_tick_list); tick_ret = RAW_SUCCESS; } else { tick_ret = RAW_IDLE_TICK_ADD_FAILED; } RAW_CPU_ENABLE(); return tick_ret; }
在系统时间中计算超时时间
/* * 假设raw_time_tick()函数一样,在系统tick isr中调用。更新idle_tick_list链表,用来计算活动对象超时时间 */ void idle_tick_isr(void) { ACTIVE_EVENT_STRUCT *a; LIST *head; LIST *iter; LIST *iter_temp; head = &raw_idle_tick_head; iter = head->next; /* 历遍idle_tick_list,推断idle_tick_list中有没有等待超时的活动对象 */ while (iter != head) { a = list_entry(iter, ACTIVE_EVENT_STRUCT, idle_tick_list); iter_temp = iter->next; /* 更新活动对象超时时间 */ if (a->tick_ctr) { --a->tick_ctr; /* 活动对象超时时,向活动对象发送timeout信号,并以0參数传入活动对象 */ if (a->tick_ctr == 0) { /* 这里说明活动对象的超时是一次超时,超时后删除活动对象的软件定时器 */ list_delete(iter); idle_event_end_post(a, STM_TIMEOUT_SIG, 0); } } iter = iter_temp; } }
终止活动对象等待指定信号
/* * 取消活动对象的软件定时器 * 某些时候某些情况发生,我们不须要激活活动对象。所以取消还在等到超时的活动对象的软件定时器 */ RAW_U16 idle_tick_disarm(ACTIVE_EVENT_STRUCT *me) { RAW_U16 tick_ret; RAW_SR_ALLOC(); /* 中断中不能取消 */ if (raw_int_nesting) { return RAW_NOT_CALLED_BY_ISR; } RAW_CPU_DISABLE(); /* 等待超时的活动对象中删除软件定时器信息。并从idle_tick_list链表移除超时信息 */ if (me->tick_ctr) { list_delete(&me->idle_tick_list); me->tick_ctr = 0; tick_ret = RAW_SUCCESS; } else { tick_ret = RAW_IDLE_TICK_DELETE_FAILED; } RAW_CPU_ENABLE(); return tick_ret; }
事件触发系统调度
void idle_run(void) { ACTIVE_EVENT_STRUCT *a; STATE_EVENT temp; ACTIVE_EVENT_STRUCT_CB *acb; RAW_U8 x; RAW_U8 y; RAW_U8 idle_high_priority; RAW_SR_ALLOC(); while (1) { RAW_CRITICAL_ENTER(); /* 当任一个活动对象存在消息时。即有idle任务有事件发生时 */ if (raw_idle_rdy_grp) { /* 查找位图表,通过64个优先级的活动对象的分组情况(raw_idle_rdy_grp、raw_rdy_tbl[])逆运算得到活动对象优先级 */ y = raw_idle_map_table[raw_idle_rdy_grp]; x = y >> 3; idle_high_priority = (y + raw_idle_map_table[raw_rdy_tbl[x]]); /* 依据优先级从idle任务自己定义的活动对象tcb的结构体数组中取出活动对象tcb */ acb = &active_idle_task[idle_high_priority]; /* 从活动对象tcb中取出活动对象结构体 */ a = active_idle_task[idle_high_priority].act; /* 活动对象消息数量-1 */ --a->nUsed; /* 当活动对象全部消息处理完成时 */ if (a->nUsed == 0) { /* 活动对象没有消息时,清除其raw_rdy_tbl[]中raw_idle_rdy_grp的相应位 */ raw_rdy_tbl[a->priority_y] &= (RAW_U8)~a->priority_bit_x; /* 假设清除活动对象后,所在组别中也无其余活动对象,清楚组别标志位 */ if (raw_rdy_tbl[a->priority_y] == 0) { /* Clear event grp bit if this was only task pending */ raw_idle_rdy_grp &= (RAW_U8)~a->priority_bit_y; } } /* 在活动对象控制块的queue中的tail位置取出信号和信号參数 */ temp.sig = acb->queue[a->tail].sig; temp.which_pool = acb->queue[a->tail].para; /* queue中的tail指针后移。丢弃取出使用后的消息,而且当移动到queue末端时,重置到queue头部 */ a->tail++; if (a->tail == acb->end) { a->tail = 0; } RAW_CRITICAL_EXIT(); /* * 取出消息后,依据系统宏选项运行有限状态机或者层级状态机 * 在运行状态机的过程。是依据temp消息运行相应的运行选项 */ #if (RAW_FSM_ACTIVE > 0) fsm_exceute(&a->super, &temp); #else hsm_exceute(&a->super, &temp); #endif } /* 假设全部活动对象都不存在消息时,运行用户自己定义的idle事件钩子函数,通常在没有消息处理时进入硬件低功耗休眠 */ else { RAW_CRITICAL_EXIT(); RAW_CPU_DISABLE(); if (raw_idle_rdy_grp == 0) { /* 用户idle事件钩子函数 */ idle_event_user(); } RAW_CPU_ENABLE(); } } }
在这里为止,事件触发系统,也就是事件触发API介绍完成,也介绍了一般性的概念,比如活动对象。事件信号。状态运行函数,这一节着重理解决方案就可以了概念,以下部分详细描述了开始fsm状态机编程。
版权声明:本文博客原创文章,博客,未经同意,不得转载。