在主线程上调用 pthread_join 是否有效？

Question

这段代码的行为是否明确？

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

pthread_t mt;

void *start(void *x)
{
    void *y;
    pthread_join(mt, &y);
    printf("joined main thread\n");
    return 0;
}

int main()
{
    pthread_t t;
    mt = pthread_self();
    pthread_create(&t, 0, start, 0);
    pthread_exit(0);
}

Answer 1

是的，这是可能的。事实上，这种可能性是pthread_detach() 存在的主要原因之一。来自pthread_detach() 的 POSIX 文档（请参阅man pthread_detach）：

   It  has  been suggested that a "detach" function is not necessary; the
   detachstate thread creation attribute is sufficient,  since  a  thread
   need  never  be dynamically detached. However, need arises in at least
   two cases:

    1. In a cancellation handler for a pthread_join() it is nearly essen-
       tial  to  have  a pthread_detach() function in order to detach the
       thread on which pthread_join() was waiting. Without it,  it  would
       be  necessary  to  have  the  handler do another pthread_join() to
       attempt to detach the thread, which would both delay the cancella-
       tion  processing  for an unbounded period and introduce a new call
       to pthread_join(), which might itself need a cancellation handler.
       A dynamic detach is nearly essential in this case.


    2. In  order  to  detach the "initial thread" (as may be desirable in
       processes that set up server threads).

所以根据标准，您提出的建议是可以的。

编辑：为了进一步确认，POSIX description of exec() 声明：

新进程中的初始线程 图像应该是可连接的，就像创建的一样 将 detachstate 属性设置为 PTHREAD_CREATE_JOINABLE。

Answer 2

我无法想象你为什么要在现实世界的应用程序中这样做（如果你能想到一个例子，请有人评论一个例子），但我不相信这是可能的。我查看的所有关于 pthread 的搜索总是从主线程调用连接，而不是从辅助线程。

连接还要求您尝试连接的线程是使用 PTHREAD_CREATE_JOINABLE 标志创建的。我找不到任何说明主线程是否是这样创建的文档。

Codeguru 有一个类似的问题 here 可能会或可能不会帮助解决它。

如果您想要完成的是子线程在主线程退出后继续，您应该创建分离的子线程，或者使用fork/vfork，具体取决于您所在的平台。

Answer 3

您的方法对我来说看起来正式有效，特别是因为您在 main 末尾执行 pthread_exit。

另一方面，我在 POSIX 中没有找到任何迹象表明 main 的初始线程是否应该是可连接的。 psmears 回答中的基本原理只要求main 应该是可拆卸的，因为它被创建为可连接的。

此外，其他恶意软件可能会从 main 调用的子例程中调用 pthread_detach。所以你应该明确检查pthread_join的返回值来检查这种情况。

此外，在您的示例代码中，您在 start 的创建和 main 的终止之间存在竞争：

• main 可能在 start 到达 pthread_join 之前终止

对mt 变量的访问进行互斥应该可以解决这个问题。