作者注释

Question

#include <stdio.h>
#include <stdlib.h>
#define _XOPEN_SOURCE 600
#include <ucontext.h>

/* Tests creation.
   Should print "Hello World!" */

typedef struct thread_t{
  ucontext_t thread_context;
}thread_t;

void *thr1(void *in) {
  printf("Hello World!\n");
  fflush(stdout);
  return NULL;
}

void *thr2(void *in) {
  printf("goodbye World!\n");
  fflush(stdout);
  return NULL;
}

int main() {
  thread_t t1;
  thread_t t2;

  thread_create( &t1, thr1, NULL);
  // if you comment out the following line, the program will run like a charm. 
  thread_create( &t2, thr2, NULL);
  setcontext(&t1.thread_context);

  return EXIT_SUCCESS;
}

void thread_routine(void *(*start_routine)(void *), void *arg)
{
  start_routine(arg);
  printf("gtthread routine finished\n");
}

int thread_create(thread_t *thread,
        void *(*start_routine)(void *),
        void *arg){
  if (getcontext(&(thread->thread_context)) == -1)
  {
    perror("getcontext");
  }

  thread->thread_context.uc_stack.ss_sp = (char*) malloc(SIGSTKSZ);
  thread->thread_context.uc_stack.ss_size = SIGSTKSZ;
  thread->thread_context.uc_link = NULL;

  makecontext(&(thread->thread_context), thread_routine, 2, (void *)start_routine, arg);
}

我使用gcc在OS X 10.10中运行我的代码。我正在尝试实现一个usercontext库。

如果我评论thread_create( &t2, thr2, NULL);，代码将产生所需的效果。我不知道为什么与t2相关的行会导致t1的细分错误。

作者注释

我很乐意在切换到Ubuntu后实现usercontext库。一切正常。没有分段错误了。正如预期的那样，它在OS X 10.10上崩溃了。

我的猜测是，由于编译器警告10.6以来在OS X上不推荐使用makecontext（），swapcontext（）等，所以我不应该期望它能够正常工作。

Answer 1

你的程序有一些缺陷，其中一些导致它产生未定义的行为。未定义的行为可以显示为您期望的行为，但如果它恰好在某个特定环境中这样做，那么就没有任何理由期望它会再次这样做 - 而不是在那个环境中，并且当然不是在不同的环境中。

以下是我注意到的更严重的问题：

thread_routine()没有正确的返回类型或参数类型的上下文的启动函数。期望上下文启动函数返回void（即没有）而不是void *，这完全不同。传递给它的实际参数（如果有的话）也都是int类型。因此，当您的程序由setcontext()调用此函数时，会导致未定义的行为。在函数指针和对象指针都与int大小相同的机器上，你可能会侥幸逃脱它，但在其他机器上，程序很可能会崩溃。这可能是您观察到的段错误的原因。
在thread_create()中，您将thread->thread_context.uc_link初始化为NULL。这本身并不是一个错误，但从更大的角度来看，它会产生这样的效果：当上下文的启动函数返回时，它运行的（OS）线程将退出。据推测，您宁愿被赋予在不同背景下交换的机会。
您使用setcontext()切换到t1上下文。如果成功，此调用既不会返回，也不会在以后再次返回，从而使您无法在以后切换到t2上下文。但实际上，当t1的开始函数返回时（见上文），线程以及整个程序都将退出，所以对你来说没有实际意义。但是，对于它的价值，您可能应该使用swapcontext()代替。
thread_create()声明返回int，但没有return声明。

顺便说一句，{p> gcc应该就这些问题发出警告。如果没有，则调高警告级别。 -Wall级别应该足够，但我经常打开-Wextra来查找问题。偶尔会有警告您可以放心地忽略（特别是使用-Wextra），但您应该为每一个单独进行评估。

Answer 2

我认为，你把“thread.h”，为什么你使用线程如果你可以试试

在OS X 10.10上使用ucontext makecontext进行分段错误

作者注释

2 个答案: