c - 为线程分配堆栈内存

Question

我正在用 c 编写一个多线程环境，使用 setjmp() 和 longjmp() 在线程之间切换。

我不确定如何最好地为每个线程分配堆栈空间。这必须在更大规模的线程环境中动态完成，但我想不出一种方法来跟踪线程使用了多少堆栈以改变分配的数量。

我可以像这样在堆栈的各个部分之间预先分配一个静态空间量:

void call_with_cushion (void) {
    char space[1000]; 
    space[999] = 1; /* Do not optimize array out of existence */
    child();
}

(来自维基百科的代码片段 http://en.wikipedia.org/wiki/Setjmp.h )

但这似乎不够灵活，我只是想知道多线程环境通常如何为每个线程分配内存？

谢谢

Answer 1

通常，线程创建时分配给线程的最大堆栈空间量是固定的，如果线程超过这个限制，结果是未定义的行为——没有办法增加堆栈空间超过这个限制。如果幸运的话，堆栈溢出会导致某种堆栈溢出异常或信号(取决于操作系统和线程实现)，但这并不能保证。

如果您正在尝试实现自己的线程库，理想情况下您要做的是为每个线程的堆栈分配大量地址空间，并设置 VM 系统以按需在该空间中分配内存，并且当空间已满时陷阱。这是大多数操作系统级线程库(如 pthreads 或 win32 线程)所做的，但 VM 管理的细节很棘手。

如果你不想弄乱 VM 的东西，你可以为每个线程堆栈分配一个比你认为你永远需要的 block 更大的 block ，然后选择性地探测代码中的堆栈指针以查看如果它接近满(使用比您认为需要的空间更多的空间)并且如果是这样则陷阱/中止。根据您的编译器，可能有一个选项可以让它在您可以使用的每个函数中自动生成堆栈溢出检查。

维基百科页面上的代码非常骇人听闻——它可能会工作，但不会进行任何检查以确保有足够的堆栈空间，并且取决于编译器是否对未定义的行为做一些奇怪的事情，这将搞砸事情(例如优化掉未使用的堆栈垫 space，即使在分配时它也可能这样做)。