Question

我正在使用ucontext和pthread。以下程序在Linux上运行正常，但在Mac上断言失败。

问题似乎是在从另一个线程恢复上下文后没有正确访问线程局部变量。

程序创建两个线程A和B.在B恢复上下文之前，A设置上下文，因为它已正确同步。

非常感谢有人能在mac上阐明这种行为。

ENV：

clang version 3.7.0  (http://llvm.org/git/llvm.git 8d70064a4ac2ae09b8003173e751cfad9dc15400)
Target: x86_64-apple-darwin13.4.0
Thread model: posix

程序：

#define _XOPEN_SOURCE 800
#include <ucontext.h>
#include <signal.h>

#include <unistd.h>
#include <stdio.h>
#include <pthread.h>
#include <stdlib.h>
#include <assert.h>

static int flag = 0;

void swap(ucontext_t *old, ucontext_t *new)
{
    int ret = swapcontext(old, new);
    assert(ret == 0);
}

#define SSIZE MINSIGSTKSZ

static char stack[SSIZE];
static ucontext_t a_ctx[2];
static ucontext_t b_ctx[2];

volatile static __thread int bug = 0;

static void func(int b) { }

static void f1 (void)
{
    assert(bug == 0);
    func(bug);
    swap(&a_ctx[1], &a_ctx[0]);
    assert(bug == 1);
}

void *thread_a(void *arg)
{
    printf("A is %lu\n", pthread_self());

    bug = 0;

    ucontext_t ctx = a_ctx[1];

    getcontext(&ctx);
    ctx.uc_stack.ss_sp = stack;
    ctx.uc_stack.ss_size = sizeof stack;
    makecontext(&ctx, f1, 0);

    swap(&a_ctx[0], &ctx);
    __atomic_store_n(&flag, 1, __ATOMIC_RELAXED);
    sleep(1);

    return NULL;
}

void *thread_b(void *arg)
{
    printf("B is %lu\n", pthread_self());

    bug = 1;
    while(__atomic_load_n(&flag, __ATOMIC_RELAXED) == 0) ;
    swap(&b_ctx[0], &a_ctx[1]);

    return NULL;
}

int main(int argc, char **argv)
{
    pthread_t a, b;
    pthread_create(&b, NULL, &thread_b, NULL);
    pthread_create(&a, NULL, &thread_a, NULL);
    pthread_exit(NULL);
}

pthread上的clang bug与mac上的ucontext

0 个答案: