c - pthread_self() 怎么总是成功？

Question

我学pthread的时候，手册上说pthread_self()总是成功

ERRORS

This function always succeeds.

这是怎么发生的？我们如何确定一个函数是否总是成功？

我试图从代码中寻找答案，遇到了如下代码:

# define THREAD_SELF \
  ({ struct pthread *__self;                                      \
     asm ("movl %%gs:%c1,%0" : "=r" (__self)                      \
      : "i" (offsetof (struct pthread, header.self)));            \
     __self;})

我在struct pthread 中没有看到header.self 字段，是不是我看错了定义？ %c1 是什么意思？输入 i 是否未使用？

Answer 1

pthread_self() 返回当前运行线程的标识符。它必须由“当前运行的线程”调用，因此该标识符必须存在。

怎么会失败呢？这与我们都假设 x++; 或 y = x/z 等表达式不会失败的方式相同。