1

我写了一些基本的多线程库。因此，对于每个线程，我都有一个上下文 ( ucontext_t)。在我的一个测试程序中，我提出了一个失败的断言。它没有使用行号中止，而是引发了分段错误。然后我检查并看到我的上下文的堆栈大小为 8192。当我将其增加到 16394 时，断言失败按预期工作。

你能告诉我断言在内部是如何工作的，为什么它会占用这么多字节吗？我相信 8192 在我的上下文中是一个相当大的尺寸。

这就是我的线程的创建方式

MyThread *temp;
temp=malloc(sizeof(MyThread_t));
ucontext_t tempContext;
if (getcontext(&tempContext) == -1)
  temp->ThreadId = 0;
tempContext.uc_stack.ss_sp = (char *)malloc(SIZE_STACK*sizeof(char));;
tempContext.uc_stack.ss_size = SIZE_STACK*sizeof(char);
tempContext.uc_link = NULL;
makecontext(&tempContext,(void(*)(void))start_funct,1, args);

我的测试功能就是这样。

T = MyThreadCreate(t0, (void *)n2);
re=MyThreadJoin(T);
printf("%d\n",re);
assert(re==-1);

re 值为 0。当我的 SIZE_STACK 为 8192 时，我得到一个段错误。当它增加到 16384 时，正如断言所预期的那样，它是一个适当的中止。

4

1 回答 1

1

assert 的实现依赖于平台。

于 2013-09-26T06:30:12.667 回答