VSF中的PT协程是共享堆栈的，任务不具备自己的堆栈。这种运行方式执行效率相对较低，因为每次调用任务的时候，都会需要一层层重建堆栈。那么，是否可以简单实现一个独立堆栈的协程呢？
这里说一个很少人知道的C语言标准库：setjmp.h。只是提供了2个函数，setjmp和longjmp。setjmp用于保存当前的上下文（不包括r0-r4）；longjmp用于回复到以前保存下的上下文，并且，使得setjmp返回指定的值。所以，以下是死循环：
jmp_buf pos;
setjmp(pos);
longjmp(pos, 1);
执行到setjmp的时候，上下文记录在pos里，并且返回0。调用longjmp的时候，恢复pos里的上下文，并且从setjmp的调用指令之后执行，R0内容是1（模拟setjmp返回1）。
利用这个C语言标准库，就可以实现出一个具备独立堆栈的协程。当然，VSF里使用这个也一样是事件驱动的。这里就列出evt_handler和初始化函数：
static struct vsfsm_state_t *
vsfsm_ljmp_evt_handler(struct vsfsm_t *sm, vsfsm_evt_t evt)
{
struct vsfsm_ljmp_t *ljmp = (struct vsfsm_ljmp_t *)sm->user_data;
jmp_buf ret;
if ((evt == VSFSM_EVT_ENTER) || (evt == VSFSM_EVT_EXIT))
{
return NULL;
}
ljmp->ret = &ret;
if (!setjmp(ret))
{
if (evt == VSFSM_EVT_INIT)
{
// implement set_stack as a func is risky, may break the stack
vsfhal_core_set_stack((uint32_t)ljmp->stack);
ljmp->thread(ljmp);
}
else
{
longjmp(ljmp->pos, evt);
}
}
return NULL;
}
vsf_err_t vsfsm_ljmp_init(struct vsfsm_t *sm, struct vsfsm_ljmp_t *ljmp)
{
sm->user_data = ljmp;
sm->init_state.evt_handler = vsfsm_ljmp_evt_handler;
ljmp->sm = sm;
return vsfsm_init(sm);
}
不出意外，大部分人应该看不懂。既然是选修，那就留作思考题吧。
