在 pthread API 中等待信号量

Question

如果一个信号量值为 0 并且你等待它，我一直认为线程阻塞。 为什么下面的代码没有阻塞。

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

sem_t sA;

void* funcA(void* param) {
  sem_wait(&sA);
  printf("Thread A\n");
  pthread_exit(0);
}

int main() {
  sem_init(&sA, 0, 0);
  pthread_t tA;
  pthread_create(&tA, NULL, funcA, NULL);
  pthread_exit(0);
  sem_destroy(&sA);
  return 0;
}

Answer 1

来自 man sem_destroy：

   Destroying  a  semaphore  that other processes or threads are currently
   blocked on (in sem_wait(3)) produces undefined behavior.

看起来您的实现和我的实现对如何处理这种未定义的行为采取了不同的选择。什么都行。