为何pthread_join(pthread_self())行为未定义？Linux下WaitForSingleObject替代方案

一、行为差异原因 #

1. Linux pthread_join(pthread_self(), NULL)的未定义行为 #

POSIX线程标准明确规定，pthread_join()的设计目标是等待其他线程终止并回收资源。当调用线程传入自身ID时，属于违反API语义的操作，被定义为未定义行为。实际运行中，线程会尝试等待自身结束，陷入逻辑死锁，可能表现为永久阻塞、进程崩溃或其他不可预期的结果，具体取决于系统的pthread实现。

2. Windows WaitForSingleObject(GetCurrentThread(), INFINITE)的正常运行 #

Windows中GetCurrentThread()返回的是当前线程的伪句柄，这是一种特殊的句柄，仅代表调用线程自身。WaitForSingleObject()对这种伪句柄做了特殊处理：当等待对象为当前线程的伪句柄时，函数会直接返回WAIT_OBJECT_0，不会执行实际的阻塞等待。这是Windows API的设计规则，因此这行代码看似“正常运行”，但实际上没有任何等待行为。

二、Linux下的替代方案 #

根据Windows代码的实际意图，可选择以下处理方式：

1. 原代码为无意义调用（无实际阻塞需求） #

由于Windows的调用不会产生任何实际效果，直接删除该行代码即可，无需替代。

2. 需让线程进入无限阻塞状态（等待外部唤醒） #

如果原代码的真实意图是让线程无限等待直到被唤醒，Linux下可采用以下方案：

• 条件变量方案（支持主动唤醒）：

  pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
  pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
  
  pthread_mutex_lock(&mutex);
  while (1) {
      pthread_cond_wait(&cond, &mutex);
  }
  pthread_mutex_unlock(&mutex);
  

  可通过其他线程调用pthread_cond_signal()或pthread_cond_broadcast()唤醒当前线程。
• pause()方案（等待任意信号唤醒）：

  while (1) {
      pause();
  }
  

• sigsuspend()方案（安全等待指定信号）：

  sigset_t mask;
  sigemptyset(&mask);
  while (1) {
      sigsuspend(&mask); // 可通过mask参数指定需要等待的信号集
  }
  

内容的提问来源于stack exchange，提问作者Piyush Kumar Gupta