pthread_create写回的时机

Question

在调用pthread_create(&id, NULL, &start_routine, arg)中，线程id是否保证在start_routine开始运行之前写入id？联机帮助页清楚地表明，start_routine 可能但不一定会在对 pthread_create 的调用返回之前开始执行，但是当线程 id 写回传递的线程参数时，它们却保持沉默。

我的具体情况是，我有一个围绕 pthread_create: 的包装器，

int mk_thread(pthread_t *id) {
  pthread_t tid;
  pthread_create(&tid,NULL,ThreadStart,NULL);
  if (id == NULL) {
    pthread_detach(tid);
  } else {
    *id=lid;
  }
}

它显然可以在写回之前运行启动例程。我将其更改为此

int mk_thread(pthread_t *id) {
  pthread_t tid,tidPtr=id?id:&tid;
  pthread_create(tidPtr,NULL,ThreadStart,NULL);
  if (id == NULL) {
     pthread_detach(tid);
  }
}

重写在实践中更加稳定，但它实际上是修复还是只是竞争条件的较小窗口？

Answer 1

线程 ID 肯定是在 pthread_create 返回之前写入的。如果您考虑一下，pthread_create 不可能以任何其他方式工作。它无法将线程 ID 的写入委托给新线程，因为在新线程运行时 pthread_t 变量可能超出范围。

相关文字是：

成功完成后，pthread_create() 会将创建的线程的 ID 存储在线程引用的位置。

（来自 http://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_create .html）请注意，它说的是函数的“成功完成时”，而不是“成功完成后的不确定时间”。

更有趣的问题，我对此不清楚，是 pthread_create 是否必须在新线程启动函数开始之前完成将线程 id 写入其目的地，即新线程是否可以立即看到它自己的线程ID，例如，如果它要存储在全局变量中。我怀疑答案是否定的。

编辑：重新阅读您的问题后，您似乎确实在问后一个更有趣的问题。无论如何，新线程的启动函数没有理由使用 pthread_create 写出的线程 ID。您的新线程可以（并且应该）只使用 pthread_self 来获取自己的线程 ID。

Answer 2

我相信规范中没有任何内容要求 pthread_create 在 start_routine 中的代码开始执行之前分配其输出参数 pthread_t *thread 。

作为实用性问题，以下程序在许多 pthreads 实现（freebsd8 i386 和 debian gnu/linux amd64）上成功，但在我感兴趣的一个（debian/kfreebsd9 amd64）上失败：

#include <pthread.h>
#include <assert.h>
#include <stdint.h>
#include <stdio.h>

pthread_t th;

void *asserter(void* unused) {
        pthread_t self = pthread_self(), th_=th;
        printf("th=%jd self=%jd\n", (intmax_t)th_, (intmax_t)self);
        assert(pthread_equal(th_, self));
}

int main() {
        int i;
        for(i=0; i<1000; i++) {
                pthread_create(&th, NULL, asserter, NULL);
                pthread_join(th, NULL);
        }
        return 0;
}

也就是说，我不确定我是如何理解这一点的行为细节与您在原始问题中提供的两个代码替代方案相关。尽管我想到，如果 pthread_create 在执行期间向 *thread 写入其他值，并且您在其他线程中使用 *id 的值，则可能是相关的。该标准没有指定在成功执行 pthread_create 期间不向 *thread 写入其他“中间”值。