为什么用户级线程（光纤）的实现需要为每个光纤分配一个新的堆栈？

Question

可以使用 setjmp() 和 longjmp() 对 C 光纤进行编码，以在用户级别实现上下文切换。
如中所述 evanjones.ca 和Portable Multithreading(pdf) 还要求每根光纤都有一个新分配的堆栈。
由于纤程存在于线程上下文中，当它被调用时，它会自动关联一个堆栈帧，那么为什么它需要这个新分配的堆栈呢？ : 当一根光纤要切换到另一根光纤时，可以使用以下方法：

 cpu_context[N] :global array where the i-th entry is the cpu context(jmp_buffer) of the i-th fiber 

fiber_ith :
   [...]
   if ( setjmp(cpu_context[i]) == 0 ){
        longjmp(cpu_context[j])
   }
   [...]

新堆栈的必要性是因为正如 here 所写的那样，不可能使用 longjmp() 回到从 Fiber 调用的那一刻起堆栈帧不再有效的 Fiber 执行longjmp()?

编辑：这些光纤必须是非抢占式的，并且可以自愿从一根光纤切换到另一根光纤

Answer 1

假设光纤有一个函数调用另一个函数，该函数调用另一个函数，然后导致该光纤切换到另一根光纤。当我们恢复这个纤程时，我们需要确保所有局部变量都恢复到纤程切换时的状态，并且我们需要确保从这个函数返回到调用函数。 因此出现了以下规则：

1. 在光纤运行时，它可以更改其堆栈。
2. 恢复光纤后，堆栈必须回到光纤切换时的位置。

从这两条规则可以立即得出，每根光纤都必须有自己的堆栈。

Answer 2

首先，线程不打算手动控制自己的调度。也就是说，并不打算让一个线程决定结束或暂停其执行并启动另一个线程。相反，线程可以同时运行，系统可以同时在不同的物理或虚拟处理器上运行多个线程，或者可以启动和停止线程，以便它们共享处理器上的可用时间。

因为线程可能同时运行，所以它们必须有单独的堆栈。每个线程可能在更改和使用自己的堆栈的同时，其他线程正在更改和使用它们的堆栈。这些堆栈必须分开以避免冲突。

其次，setjmp 和longjmp 不适用于在线程状态下跳转到任意点。程序可以使用longjmp 仅返回到其当前调用堆栈中的前一个setjmp，在同一个线程中。例如，你不能做一些工作，记住状态A 和setjmp，做更多的工作，记住状态B 和setjmp，然后将longjmp 状态A，然后再记住@987654331 @声明B。在longjmp 到A 之后，B 不再可用——setjmp 为其保存的任何内容都不再有效。