POSIX标准下是否允许复制未命名（基于内存的）信号量？

POSIX定义了基于内存的未命名信号量，这类信号量通过sem_init在指定内存位置完成初始化，之后可使用sem_post和sem_wait进行操作。本文探讨的核心问题是：能否将信号量句柄复制到其他内存位置，并将其当作正常、独立且已初始化的信号量使用？

换句话说，以下代码是否合法？

#include "semaphore.h"

int main()
{
  sem_t s1;
  sem_init(&s1, 0, 1); /* 初始化未命名信号量 */

  sem_t s2 = s1; /* 复制到其他内存位置 */
  sem_wait(&s2); /* 锁定信号量 */
  sem_post(&s2); /* 释放锁 */ 
  
  return 0;
}

这段代码在Linux下运行完全正常，没有任何问题。在glibc的实现中，信号量仅由2或3个整数构成，通过原子指令保证线程（甚至进程）安全，因此复制信号量只是复制其当前状态（即数值），不会引发问题。

但疑问在于：这种行为是否仅为Linux实现的特殊情况，无法在其他POSIX实现中依赖？

例如，FreeRTOS+POSIX层中该操作无效，因为其信号量基于FreeRTOS信号量实现，FreeRTOS内核会跟踪已初始化信号量的地址，因此不能直接复制信号量句柄到其他内存位置使用。需要注意的是，FreeRTOS+POSIX库并未宣称符合POSIX标准，仅实现了POSIX API的一小部分，此处仅作为示例。

目前尚未在POSIX官方文档中找到关于该行为的相关说明。

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