c - Jmp_buf 结构中的每个条目包含什么？

Question

我正在运行 Ubuntu 9.10 (Karmic Koala)，我查看了 jmp_buf 结构，它只是一个包含 12 个整数的数组。当我使用 setjmp 并传入一个 jmp_buf 结构时——12 个条目中有 4 个被保存下来。这 4 个条目是堆栈指针、帧指针、程序计数器和返回地址。其他 8 个条目是做什么用的？它们依赖于机器吗？另一个条目是段表基址寄存器吗？正确恢复线程/进程的环境还需要什么？我查看了手册页和其他来源，但找不到 setjmp 的汇编代码。

Answer 1

在 MacOS X 10.6.2 上，标题 <setjmp.h>最终使用 <i386/setjmp.h> ，里面写着:

#if defined(__x86_64__)
/*
 * _JBLEN is number of ints required to save the following:
 * rflags, rip, rbp, rsp, rbx, r12, r13, r14, r15... these are 8 bytes each
 * mxcsr, fp control word, sigmask... these are 4 bytes each
 * add 16 ints for future expansion needs...
 */
#define _JBLEN ((9 * 2) + 3 + 16)
typedef int jmp_buf[_JBLEN];
typedef int sigjmp_buf[_JBLEN + 1];

#else

/*
 * _JBLEN is number of ints required to save the following:
 * eax, ebx, ecx, edx, edi, esi, ebp, esp, ss, eflags, eip,
 * cs, de, es, fs, gs == 16 ints
 * onstack, mask = 2 ints
 */

#define _JBLEN (18)
typedef int jmp_buf[_JBLEN];
typedef int sigjmp_buf[_JBLEN + 1];

#endif

您可能会在 Linux 上找到类似的要求 - jmp_buf包含足够的信息来存储必要的状态。而且，要使用它，您真的不需要知道它包含什么；您需要做的就是相信实现者是正确的。如果您想更改实现，那么您当然需要理解它。

注意 setjmp 和 longjmp 是非常机器特定的。阅读 Plauger 的“The Standard C Library”以讨论实现它们所涉及的一些问题。更现代的芯片使其更难以真正很好地实现。