上下文切换- ucontext_t和makecontext()

Question

我正在学习C编程中的上下文切换，并在Internet上找到了以下示例代码。我正在尝试弄清楚是否只有makecontext()函数才能触发执行某些操作的函数。其他函数如setcontext()、getcontext()和swapcontext()用于设置上下文。

makecontext()将函数及其参数附加到上下文中，该函数是否始终坚持上下文，直到提交更改？

  1 #include <stdio.h>
  2 #include <stdlib.h>
  3 #include <ucontext.h>
  4 #define MEM 64000
  5 
  6 ucontext_t T1, T2, Main;
  7 ucontext_t a;
  8 
  9 int fn1()
 10 {
 11   printf("this is from 1\n");
 12   setcontext(&Main);
 13 }
 14 
 15 void fn2()
 16 {
 17   printf("this is from 2\n");
 18   setcontext(&a);
 19   printf("finished 1\n");
 20 }
 21 
 22 void start()
 23 {
 24   getcontext(&a);
 25   a.uc_link=0;
 26   a.uc_stack.ss_sp=malloc(MEM);
 27   a.uc_stack.ss_size=MEM;
 28   a.uc_stack.ss_flags=0;
 29   makecontext(&a, (void*)&fn1, 0);
 30 }
 31 
 32 int main(int argc, char *argv[])
 33 {
 34   start();
 35   getcontext(&Main);
 36   getcontext(&T1);
 37   T1.uc_link=0;
 38   T1.uc_stack.ss_sp=malloc(MEM);
 39   T1.uc_stack.ss_size=MEM;
 40   makecontext(&T1, (void*)&fn1, 0);
 41   swapcontext(&Main, &T1);
 42   getcontext(&T2);
 43   T2.uc_link=0;
 44   T2.uc_stack.ss_sp=malloc(MEM);
 45   T2.uc_stack.ss_size=MEM;
 46   T2.uc_stack.ss_flags=0;
 47   makecontext(&T2, (void*)&fn2, 0);
 48   swapcontext(&Main, &T2);
 49   printf("completed\n");
 50   exit(0);
 51 }

Answer 1

makecontext将函数信息写入上下文中，它将一直保留在那里，直到被其他内容覆盖为止。getcontext覆盖了整个上下文，因此会覆盖之前调用makecontext时在其中编写的任何函数。同样，swapcontext会完全覆盖其第一个参数所指向的上下文。

基本思想是u_context包含某个时间的流程上下文的一部分的快照。它包含所有机器寄存器、堆栈信息和信号掩码。它不包括任何内存映射或文件描述符状态。u_context中的状态正是您为了实现线程或协程而需要操作的所有状态。

编辑

swapcontext(&current, &another)将当前上下文保存在current中并切换到another。在以后的某个时刻，代码(从another上下文运行)可能切换回current (通过另一个对swapcontext的调用)，或者它可能切换到某个第三个上下文。当一个上下文结束时(设置为makecontext的函数返回)，如果某个上下文被它的uc_link字段指向，它将切换到该上下文。但如果uc_link为NULL，则线程(如果只有一个线程，则为进程)将退出--其他未运行的上下文将被放弃。