系统进程etimer_process
管理timelist
,本文先给出etimer_process
的启动,而后深入源码分析etimer_process
的执行主体,追踪了其所涉及到的宏和函数。
1. 启动etimer_process
在main函数中,先是进行一系列初始化,接着启动系统进程etimer_process
和指针数组autostart_processes[]
里的所有进程。源代码如下:
int main()
{
dbg_setup_uart();
clock_init();
process_init();
process_start(&etimer_process, NULL); //启动etimer_process
autostart_start(autostart_processes); //启动指针数组autostart_processes[]里的所有进程
while (1)
{
do
{}while (process_run() > 0);
}
return 0;
}
关于process_start
启动一个进程,可以参考博文《启动一个进程process_start》。
2. etimer_process执行主体剖析
在博文《启动一个进程process_start》中,我们得知,进程退出时,需向所有进程(当然也包括etimer_process
)发送事件PROCESS_EVENT_EXITED
。etimer_process
收到该事件,就会遍历timerlist
,并把与该退出进程相关的etimer
从timerlist
删除。紧接着,遍历timerlist
,检查etimer
是否有到期的,凡有timer
到期就把事件PROCESS_EVENT_TIMER
加入到事件队列中,并将该etimer
成员变量p
指向PROCESS_NONE
。在这里,PROCESS_NONE
用于标识该etimer
是否到期,即由etimer_expired
函数根据etimer
的p
是否指向PROCESS_NONE
来判断该etimer
是否到期。源代码如下:
//PROCESS(etimer_process, "Event timer");
PROCESS_THREAD(etimer_process, ev, data)
{
struct etimer *t, *u;
PROCESS_BEGIN();
timerlist = NULL;
while (1)
{
PROCESS_YIELD(); /*见2.1*/
/*进程退出时,需向所有进程(当然也包括etimer_process)发送事件PROCESS_EVENT_EXITED。etimer_process收到该事件,就会遍历timerlist,并把与该退出进程相关的etimer从timerlist删除*/
if (ev == PROCESS_EVENT_EXITED)
{
struct process *p = data; //此时通过data传递将要退出的进程,data是void *类型
/*遍历timerlist,查找是否有etimer绑定该退出进程*/
while (timerlist != NULL && timerlist->p == p)
{
timerlist = timerlist->next;
}
/*有etimer绑定该退出进程,将etimer从timerlist删除*/
if (timerlist != NULL)
{
t = timerlist;
while (t->next != NULL)
{
if (t->next->p == p)
{
t->next = t->next->next;
}
else
t = t->next;
}
}
continue; //删除所有与退出进程绑定的etimer
}
else if (ev != PROCESS_EVENT_POLL) //不解?
{
continue;
}
again:
u = NULL;
for (t = timerlist; t != NULL; t = t->next)
{
if (timer_expired(&t->timer)) //检查该etimer的timer是不是到期,返回1表示过期,详情见2.2
{
if (process_post(t->p, PROCESS_EVENT_TIMER, t) == PROCESS_ERR_OK) //详情见2.3,即把事件PROCESS_EVENT_TIMER加入到事件队列
{
/*成功加入事件队列*/
t->p = PROCESS_NONE; //如果etimer的p指向的是PROCESS_NONE,则表示该etimer已到期。用于后续etimer_expired()函数判断该etimer是否到期,etimer_expired(),也见2.2
if (u != NULL)
{
u->next = t->next;
}
else
{
timerlist = t->next;
}
t->next = NULL;
update_time(); /*见2.4,即求出下一个到期时间next_expiration (全局静态变量),即还有next_expiration时间,就有timer到期*/
goto again;
}
else
{
etimer_request_poll(); //详情见2.5 若加入事件PROCESS_EVENT_TIMER出错(可能是事件队列已满),执行etimer_request_poll(),即process_poll(&etimer_process),使其有更高的优先级
}
}
u = t;
}
}
PROCESS_END();
}
2.1 PROCESS_YIELD宏
/*即进程主动让出执行权*/
#define PROCESS_YIELD() PT_YIELD(process_pt)
/*继续展开如下,Yield from the current protothread*/
#define PT_YIELD(pt) \
do { \
PT_YIELD_FLAG = 0; \
LC_SET((pt)->lc); \
if(PT_YIELD_FLAG == 0) { \
return PT_YIELDED; \
} \
} while(0)
#define LC_SET(s) s = __LINE__; case __LINE__: /*保存被中断的行数*/
2.2 timer_expired和etimer_expired
2.2.1 timer_expired
/*即检查timer是不是到期了,若到期返回1,否则返回0*/
int timer_expired(struct timer *t)
{
clock_time_t diff = (clock_time() - t->start) + 1;
return t->interval < diff;
}
注:为什么不直接return diff >= t->interval
,源代码注释给出原因,如下:
Note: Can not return diff >= t->interval so we add 1 to diff and return t->interval < diff - required to avoid an internal error in mspgcc.
2.2.2 etimer_expired
etimer_expired
跟timer_expired
不一样,后者到期是指定时器超时(通过比较当前时间与start+interval
来判断timer
是否到期),而前者到期是指已发送事件PROCESS_EVENT_TIMER
给etimer
绑定的进程(通过etimer
的p
指向是否为PROCESS_NONE
来判断)。源码如下:
int etimer_expired(struct etimer *et)
{
return et->p == PROCESS_NONE;
}
2.3 process_post函数
//即把把事件加入到事件队列
int process_post(struct process *p, process_event_t ev, process_data_t data)
{
static process_num_events_t snum;
/*调试信息,直接无视*/
if (PROCESS_CURRENT() == NULL)
{
PRINTF(
"process_post: NULL process posts event %d to process '%s', nevents %d\n",
ev, PROCESS_NAME_STRING(p), nevents);
}
else
{
PRINTF(
"process_post: Process '%s' posts event %d to process '%s', nevents %d\n",
PROCESS_NAME_STRING(PROCESS_CURRENT()), ev, p == PROCESS_BROADCAST ?
"": PROCESS_NAME_STRING(p), nevents);
}
/*事件队列已满,返回PROCESS_ERR_FULL,即1*/
if (nevents == PROCESS_CONF_NUMEVENTS)
{
#if DEBUG
if (p == PROCESS_BROADCAST)
{
printf(
"soft panic: event queue is full when broadcast event %d was posted from %s\n", ev, PROCESS_NAME_STRING(process_current));
}
else
{
printf(
"soft panic: event queue is full when event %d was posted to %s frpm %s\n", ev, PROCESS_NAME_STRING(p), PROCESS_NAME_STRING(process_current));
}
#endif /* DEBUG */
return PROCESS_ERR_FULL;
}
/*将事件加入事件队列,并绑定进程p*/
snum = (process_num_events_t)(fevent + nevents) % PROCESS_CONF_NUMEVENTS;
//事件队列用环形组织
events[snum].ev = ev;
events[snum].data = data;
events[snum].p = p;
++nevents;
#if PROCESS_CONF_STATS
if (nevents > process_maxevents)
{
process_maxevents = nevents;
}
#endif /* PROCESS_CONF_STATS */
return PROCESS_ERR_OK;
}
2.4 update_time函数
/*即求出下一个到期时间next_expiration(全局静态变量),即还有next_expiration时间,就有timer到期*/
static void update_time(void)
{
clock_time_t tdist;
clock_time_t now;
struct etimer *t;
if (timerlist == NULL)
{
next_expiration = 0;
}
else
{
now = clock_time();
t = timerlist;
/*遍历timerlist,找出最近到期的timer,并求得下一个到期时间next_expiration*/
tdist = t->timer.start + t->timer.interval - now; //还有tdist就到期了
for (t = t->next; t != NULL; t = t->next)
{
if (t->timer.start + t->timer.interval - now < tdist)
{
tdist = t->timer.start + t->timer.interval - now;
}
}
next_expiration = now + tdist;
}
}
2.5 etimer_request_poll函数
void etimer_request_poll(void)
{
process_poll(&etimer_process);
}
//将进程p的needspoll设为1,使其获得更高优先级,即让etimer_process更快地再次获得执行权
void process_poll(struct process *p)
{
if (p != NULL)
{
if (p->state == PROCESS_STATE_RUNNING || p->state == PROCESS_STATE_CALLED)
{
p->needspoll = 1;
poll_requested = 1; //全局变量,标识是否有needspoll为1的进程
}
}
}