C 伪线程四 - 线程及独立栈实现

接上文，已经验证可以自己定义栈空间了，那么这次移入到伪线程中

setjmp longjmp两个函数是能够保存会恢复栈esp的，但是不会保存栈的内容。所以只需要在启动的第一次配置好伪线程栈的地址即可。当退出伪线程后，恢复主栈地址即可。

上面这一切也是个人设想，没依据

 调度器

void TaskScheduler()
{
	if (context_head == NULL)
	{
		return;//没有线程
	}
	if (setjmp(SchedulerStack) == 0) //压入退出时的栈
	{
		//自己主动调用
		context = context_head;
		if (context->flag == false)
		{
			volatile int* p = context->stack + context->stack_size / 4;
			__asm mov esp, p //更新栈的地址
            context->task();
		}
		else
		{
			longjmp(context->buf, 1); //启动上下文切换
		}
	}
}

 上下文切换

void swicth_context(int n, int tick)
{
	if (n == 0)//主动调用
	{
		context->flag = true;
		context->tick = clock() + tick;
		if (context->next)
		{
			context = context->next;
			if (context->flag == false)
			{
			    volatile int* p = context->stack + context->stack_size / 4;
			    __asm mov esp, p //更新栈的地址
                context->task();
			}
			else
			{
				longjmp(context->buf, 1);
			}
		}
		else
		{
			longjmp(SchedulerStack, 1);
		}
	}
	else//被动调用
	{
		//看时间到没到
		if (clock() < context->tick)//延时管理
		{
			if (context->next)
			{
				context = context->next;
				if (context->flag == false)
				{
			        volatile int* p = context->stack + context->stack_size / 4;
			        __asm mov esp, p //更新栈的地址
                    context->task();
				}
				else
				{
					longjmp(context->buf, 1);
				}
			}
			else
			{
				longjmp(SchedulerStack, 1);
			}
		}
	}
}

 测试线程

        线程1、2、3、4内容都是一样，打印的日志不同而已

void task1()
{
	static int i = 0;
	while (true)
	{
		gotoxy(0, 2);
		printf_s("\ttask1> %d\r\n", i++);
		delay(500);
	}
}

正常执行，结果和上上文的结果一直，那没啥好说的。

见证奇迹的一刻

把变量 int i 的静态全局修饰static去掉

void task1()
{
	//static
	int i = 0;
	while (true)
	{
		gotoxy(0, 2);
		printf_s("\ttask1> %d\r\n", i++);
		delay(500);
	}
}

 结果：

依然是正确的。。。。

 所以说，局部变量 i 安全了，因为他就自己一个人用，不会被外部覆盖

虽然当前没问题了，但是不代表就是对的。。。

测试发现，在创建的子程序 task2_sub中还是会报错，

void task2_sub()
{
	//static 
	int i = 0;
	while (true)
	{
		gotoxy(0, 7);
		printf_s("\task2_sub> %d\r\n", i++);
		delay(500);
	}
}
void task3()
{
	//static 
	int i = 0;
	while (true)
	{
		gotoxy(0, 4);
		printf_s("\ttask3> %d\r\n", i++);
		delay(600);
		if (i == 10) //测试创建子线程
		{
			CreatTask(task2_sub, 2048*4, "task2_sub");
		}
	}
}

再执行这一行语句时，当前上下文context会被破坏，就是下面这行的栈溢出了。

	printf_s("\task2_sub> %d\r\n", i++);

就是2K的栈还不够他使用，汗颜，直接整个8K就没事了，所以说这个栈的具体使用，需要根据实际而定。给定的栈空间以最大栈深度来定。嵌套调用的函数越多，栈就会越深。

至此，算是一个阶段，后面继续测试

最后，移植到单片机上看看效果，这才是我的最终目的