1 
#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 中运行我的代码。我正在尝试实现一个用户上下文库。

如果我注释掉thread_create( &t2, thr2, NULL);，代码将产生预期的效果。我不知道为什么与 相关的行t2会导致t1.

作者笔记

切换到 Ubuntu 后，我很高兴地致力于实现用户上下文库。一切正常。不再有分段错误。正如预期的那样，它在 OS X 10.10 上崩溃了。

我的猜测是，由于编译器警告说，自 10.6 起，OS X 上不推荐使用 makecontext()、swapcontext() 等，所以我不应该期望它会起作用。

4

2 回答 2

3

你的程序有一些缺陷，其中一些会导致它产生未定义的行为。未定义的行为可能会完全按照您的预期表现出来，但如果它碰巧在某个特定环境中这样做了一次，那并不能提供任何理由期望它会再次这样做——不是在那个环境中，并且当然不是在不同的环境中。

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

  • thread_routine()上下文的启动函数没有正确的返回类型或参数类型。上下文启动函数预计会返回void（即什么都没有） not void *，这是完全不同的。此外，传递给它的实际参数（如果有的话）都将是 type int。因此，当您的程序调用此函数时setcontext()，会产生未定义的行为。在函数指针和对象指针的大小都与 相同的机器上int，您可能会侥幸逃脱，但在其他机器上，程序可能会严重崩溃。这可能是您观察到的段错误的原因。

  • 在thread_create()您初始化thread->thread_context.uc_link为NULL. 这本身不是一个错误，但从更大的角度来看，它的效果是当上下文的 start 函数返回时，运行它的（OS）线程将退出。大概，您宁愿有机会在不同的环境中进行交换。

  • 您用于setcontext()切换到t1上下文。如果成功，此调用既不返回也不返回，使您无法稍后切换到t2上下文。但实际上，当 t1 的 start 函数返回时，线程以及整个程序都会退出（见上文），所以它对你来说没有实际意义。但是，对于它的价值，您可能应该swapcontext()改用它。

  • thread_create()被声明返回一个int，但它没有return声明。

gcc顺便说一句，应该对其中一些问题发出警告。如果不是，则调高警告级别。-Wall等级应该够用了，不过我也经常开机找-Wextra问题。偶尔会有一些警告您可以放心地忽略（尤其是使用-Wextra），但您应该对每一个单独进行评估。

于 2015-09-21T21:50:57.303 回答
-1

我认为，您放置“thread.h”，如果可以尝试，为什么要使用线程

于 2015-09-21T20:46:49.633 回答