父子进程共享内存数据不一致问题的原因分析与修复咨询

核心原因 #

• 内存未实现真正共享：你使用的shared_buffer如果是普通全局变量、栈变量或malloc分配的堆内存，在fork()后会触发**写时复制（Copy-On-Write）**机制。虽然父子进程的虚拟内存地址相同，但背后的物理内存页已各自独立——父进程写入的3字节只会存于自己的私有内存页，子进程看到的仍是fork时刻的内存快照，这直接导致地址相同但数据不一致。你提到子进程读到父进程读取的3字节之后的内容，本质是父进程后续写入的内容仅更新了自己的私有内存，子进程的内存页未同步。
• 信号量同步逻辑可能存在漏洞：如果_empty_/_full_/_mutex_的P/V操作顺序错误（比如生产者先加锁再等待空缓冲区，或消费者先解锁再通知空缓冲区），可能导致子进程提前读取未写入完成的数据，但结合地址相同数据不同的核心现象，内存未真正共享是主因。

修复方案 #

1. 替换为真正的进程间共享内存 #

必须使用系统提供的共享内存机制，确保父子进程访问同一块物理内存：

• System V共享内存方案：

  // 父进程创建共享内存段
  int shmid = shmget(IPC_PRIVATE, 3, IPC_CREAT | 0666);
  char* shared_buffer = (char*)shmat(shmid, NULL, 0);
  
  // fork后，子进程挂载同一段共享内存
  // 子进程代码
  char* child_shared_buf = (char*)shmat(shmid, NULL, 0);
  

• POSIX共享内存方案：

  // 父进程创建并映射共享内存
  int fd = shm_open("/my_shared_buf", O_CREAT | O_RDWR, 0666);
  ftruncate(fd, 3); // 设置共享内存大小为3字节
  char* shared_buffer = (char*)mmap(NULL, 3, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
  
  // fork后，子进程直接使用该映射地址即可
  

  注意：mmap必须指定MAP_SHARED标志，才能让写入操作同步到其他进程。

2. 修正信号量同步逻辑 #

严格遵循生产者-消费者的标准同步流程：

• 生产者流程：P(_empty_) → P(_mutex_) → 写入shared_buffer → V(_mutex_) → V(_full_)
• 消费者流程：P(_full_) → P(_mutex_) → 读取shared_buffer → V(_mutex_) → V(_empty_)
  信号量初始值设置：_empty_=1（缓冲区为空，允许生产者写入），_full_=0（无数据，消费者需等待），_mutex_=1（互斥锁）。

3. 验证fread的写入目标 #

确保fread直接写入共享内存地址，而非私有内存后再复制（私有内存复制无法同步到子进程）：

// 正确写法：直接写入共享内存
fread(shared_buffer, 1, 3, file_ptr);

// 错误写法：写入私有临时内存再复制（无效）
char temp[3];
fread(temp, 1, 3, file_ptr);
memcpy(shared_buffer, temp, 3); // 若shared_buffer是私有内存，此操作对子进程不可见

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