Linux多进程操作共享内存整型数组是否需要信号量加解锁保障一致性

首先明确：该场景不需要必须使用信号量做加解锁，但必须做同步操作避免并发竞争，信号量只是可选的同步方案之一，且不是最优选择。

你场景中用到的++、--操作在常规的C/C++实现中不属于原子操作，本质是「读-改-写」三步操作：

1. 从内存读取当前值到CPU寄存器
2. 在寄存器中执行加减运算
3. 把结果写回内存
   如果多个进程同时操作同一个数组元素，就会出现竞争：比如两个进程同时读到值为3，都执行加1操作，最终写回的结果是4而不是预期的5，导致数据不一致。

根据你的业务场景可以选择比信号量更轻量的方案：

• 如果不同进程操作的数组元素完全没有重叠，没有任何并发修改同一个元素的可能：不需要做任何同步操作，直接读写即可。
• 如果存在并发修改同一个元素的需求：直接使用用户态原子操作即可，不需要调用信号量这类内核态同步原语。Linux环境下可以直接使用：
  • GCC内置原子函数：__sync_fetch_and_add(待操作变量地址, 1)、__sync_fetch_and_sub(待操作变量地址, 1)
  • C11标准原子库：将共享内存中的元素声明为atomic_int类型，直接调用atomic_fetch_add、atomic_fetch_sub执行操作
    这类原子操作会自动在CPU指令层面加锁，没有系统调用开销，性能远高于信号量，非常适合你这种高频简单操作的场景。

只有当你存在跨元素的一致性要求时，才需要用到锁：比如你需要同时修改两个数组的对应元素，且要求这两个修改要么同时成功要么同时失败，不能出现只改了一个的情况。这种场景下你也可以优先选择设置了PTHREAD_PROCESS_SHARED属性的进程间共享互斥量，开销依然低于信号量。

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