12

我去年学习了操作系统,在此期间,我使用用户上下文(在标题中定义ucontext.h)为项目实现线程调度程序(其中每个线程模拟一个进程)。我正在参加一个讲座,将讨论用户上下文,我突然想到,尽管去年完成了这个项目,但我并不真正了解getcontext系统调用究竟做了什么。

手册getcontext声明它

将 ucp 指向的结构初始化为当前活动的上下文。"

它还指出,对于 的论点setcontext,如果 ucp 论点

通过调用 getcontext() 获得,程序继续执行,就好像这个调用刚刚返回一样。

好的,所以我明白了。

所以这就是我感到困惑的地方。通常,按照我的学习方式,要执行上下文切换,需要初始化ucontext_t结构并将其交换/设置为:

ucontext_t ucp;
ucontext_t oucp;
getcontext(&ucp);

// Initialize the stack_t struct in the ucontext_t struct
ucp.uc_stack.ss_sp = malloc(STACK_SIZE);
ucp.uc_stack.ss_size = STACK_SIZE;
ucp.uc_stack.ss_flags = 0;

ucp.uc_link = /* some other context, or just NULL */;

// Don't block any signals in this context
sigemptyset(&ucp.uc_sigmask);
// Assume that fn is a function that takes 0 arguments and returns void
makecontext(&ucp, fn, 0);

// Perform the context switch. Function 'fn' will be active now
swapcontext(&oucp, &ucp);
// alternatively: setcontext(&ucp);

getcontext如果我在较小的程序中省略,不会发生任何有趣的事情。在通过用户上下文进行更多上下文切换的较大程序中,我遇到了分段错误,只能通过重新添加getcontext来解决。

具体是getcontext做什么的?为什么我不能只分配一个ucontext_t结构,通过初始化uc_stackand字段来初始化它,然后在没有 ? 的情况下uc_sigmask调用?是否有一些必要的初始化执行但不执行?makecontextgetcontextgetcontextmakecontext

4

1 回答 1

9

我查看了 x86/linux 架构上 ucontext 的 GNU libc 实现,因此,可能存在以下不适用的不同实现。

GNU libc 手册指出:

传递给 makecontext 的 ucp 参数应通过调用 getcontext 来初始化。

如果您查看 glibc/sysdeps/unix/linux/x86/sys/ucontext.h 中的 mcontext_t,则有一个指向浮点状态 (fpregset_t fpregs) 的指针,该指针在 getcontext() 中初始化并在 setcontext() 中再次取消引用。但是,它不是使用 makecontext() 初始化的。我对 GDB 进行了快速测试,当尝试取消引用指向未由 getcontext() 初始化的 ucontext_t 结构中的浮点上下文的指针时,我在 setcontext() 中遇到了段错误:

=> 0x00007ffff784308c <+44>: fldenv (%rcx)

于 2013-12-10T09:09:13.953 回答