彻底搞懂 musl libc 中的 System V 信号量实现

一句话总结

semget和semctl的 musl 实现，核心就在处理三个脏活：内核类型不匹配、时间戳64位扩展、以及某些架构上的模式位hack。

一、semget：一行代码背后的类型陷阱

int semget(key_t key, int n, int fl) { if (n > USHRT_MAX) return __syscall_ret(-EINVAL); return syscall(SYS_semget, key, n, fl); }

为什么要手动检查n > USHRT_MAX？

POSIX 规定n的类型是unsigned short，最大值USHRT_MAX = 65535。

但 Linux 内核的struct semid_ds中，sem_nsems字段用的是int类型。内核不会帮你检查这个边界，所以 musl 在用户态拦了一刀：

你传 100000？对不起，我直接返回-EINVAL，根本不进系统调用。

这是一个经典的用户态防御性检查——内核 sloppy，libc 补位。

二、semctl：可变参数 + 三层 Hack

这才是重头戏。

2.1 union semun —— POSIX 留下的"遗产"

union semun { int val; struct semid_ds *buf; unsigned short *array; };

这个联合体是 System V IPC 的历史包袱。不同命令需要不同类型的参数：

musl 用va_list按需提取参数，不需要的命令就传{0}。

2.2 第一层 Hack：IPC_TIME64 —— 时间戳的 64 位扩展

#if IPC_TIME64 struct semid_ds out, *orig; if (cmd&IPC_TIME64) { out = (struct semid_ds){0}; orig = arg.buf; arg.buf = &out; } #endif

问题：老的semid_ds结构里，sem_otime和sem_ctime是long（32位）。新接口要支持 64 位时间戳。

musl 的做法：

1. 造一个临时结构out，清零
2. 把arg.buf指向out（而不是用户传的缓冲区）
3. 调用内核，内核把结果写到out里
4. 调用返回后，把out拷贝回用户的缓冲区
5. 用IPC_HILO宏处理高低32位的拆分

#if IPC_TIME64 if (r >= 0 && (cmd&IPC_TIME64)) { arg.buf = orig; *arg.buf = out; IPC_HILO(arg.buf, sem_otime); IPC_HILO(arg.buf, sem_ctime); } #endif

本质上是用户态模拟了一次 64 位时间戳的读写转换，内核根本不知道这事。

2.3 第二层 Hack：SYSCALL_IPC_BROKEN_MODE —— 模式位的位移

#ifdef SYSCALL_IPC_BROKEN_MODE struct semid_ds tmp; if (cmd == IPC_SET) { tmp = *arg.buf; tmp.sem_perm.mode *= 0x10000U; arg.buf = &tmp; } #endif

这是什么鬼？

某些架构（主要是小端序）上，内核期望mode字段左移 16 位后再传入。musl 的做法：

• 调用前：mode *= 0x10000（左移16位）
• 调用后：mode >>= 16（右移16位恢复）

#ifdef SYSCALL_IPC_BROKEN_MODE if (r >= 0) switch (cmd | IPC_TIME64) { case IPC_STAT: case SEM_STAT: case SEM_STAT_ANY: arg.buf->sem_perm.mode >>= 16; } #endif

为什么只在小端序定义？

#if __BYTE_ORDER != __BIG_ENDIAN #undef SYSCALL_IPC_BROKEN_MODE #endif

因为只有小端序架构的内核有这个 bug。大端序不需要这个 hack，直接#undef掉。

这是 musl 对内核 ABI 缺陷的用户态补丁，你在 glibc 里看不到这么裸露的 hack。

2.4 两种系统调用路径

#ifndef SYS_ipc return syscall(SYS_semctl, id, num, IPC_CMD(cmd), arg.buf); #else return syscall(SYS_ipc, IPCOP_semctl, id, num, IPC_CMD(cmd), &arg.buf); #endif

后者是因为某些架构（如 MIPS）的 IPC 系统调用约定要求参数以特殊方式传递。

三、一张图总结 semctl 的参数流转

用户调用 semctl(id, num, IPC_SET, buf) │ ▼ va_arg 提取 buf → arg.buf = buf │ ▼ ┌─ IPC_TIME64? ──是──→ arg.buf 指向临时 out，orig 保存原 buf │ ├─ BROKEN_MODE 且 IPC_SET? ──是──→ mode 左移16位，用 tmp 包装 │ ▼ 系统调用 │ ▼ ┌─ BROKEN_MODE 且 读操作? ──是──→ mode 右移16位恢复 │ └─ IPC_TIME64? ──是──→ out 拷贝回 orig，高低位拆分 │ ▼ 返回结果

四、musl vs glibc：设计哲学差异

musl 的哲学：把所有和内核打交道的脏活，明明白白写在你眼前。

五、关键 Takeaway