13

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

4

2 回答 2

10

在 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 的“标准 C 库”以讨论实现它们所涉及的一些问题。更现代的芯片使其更难真正实现。

于 2009-12-01T04:07:27.387 回答
7

setjmp//高度依赖CPU架构longjmp、sigsetjmp操作系统、线程模型。前两个函数著名（或臭名昭著——取决于你的 POV）出现在原始 Unix 内核中，作为一种“结构化”的方式来解除失败的系统调用，例如从 i/o 错误或其他令人讨厌的情况。

/usr/include/setjmp.h (Linux Fedora) 中结构的注释说调用环境，加上可能保存的信号掩码。 它包括 /usr/include/bits/setjmp.h 来声明 jmp_buf 具有六个 32 位整数的数组，显然特定于 x86 系列。

虽然我找不到PPC implementation以外的其他来源，但那里的评论合理地暗示应该保存 FPU 设置。这是有道理的，因为无法恢复舍入模式、默认操作数大小、异常处理等会令人惊讶。

系统工程师通常会在这种结构中保留比实际需要更多的空间。一些额外的字节几乎没有什么可汗的——尤其是考虑到setjmp/的实际使用很少longjmp。空间太小肯定是危险的。我能想到的最显着的原因是有额外的——而不是被发现的——如果运行时库版本被更改为在 jmp_buf 中需要更多空间，通过已经预留了额外的空间，就不需要重新编译引用的程序它。

于 2009-12-01T04:14:54.157 回答