唤醒所有futex睡眠线程的正确方式：man futex的val参数疑问

虽然futex系统调用的val参数类型被声明为uint32_t，但在处理FUTEX_WAKE操作时，内核实际会将该参数当作有符号整数解析：

• 传入INT_MAX时，内核会将其判定为足够大的数值，足以唤醒所有在目标futex上睡眠的线程——实际场景中，一个futex上的睡眠线程数量不可能超过INT_MAX（2^31-1），因此这个值能达到"唤醒全部"的效果。
• 若传入UINT32_MAX，这个无符号值转成有符号int后会变为-1，内核会将其视为"唤醒0个线程"的指令，完全不符合需求。

手册里的类型标注与FUTEX_WAKE的参数要求看似矛盾，是因为val参数在futex的不同操作中被复用：比如FUTEX_WAIT里它是用于值匹配的无符号数，而FUTEX_WAKE里内核按有符号逻辑处理该参数，因此手册特意明确要传入INT_MAX来实现全量唤醒。

正确的实现代码示例：

#include <linux/futex.h>
#include <sys/syscall.h>
#include <unistd.h>
#include <limits.h>

syscall(SYS_futex, &futex_addr, FUTEX_WAKE, INT_MAX, NULL, NULL, 0);

内容的提问来源于stack exchange，提问作者Jack Humphries