Ubuntu下C语言多进程程序：信号量为0时写共享内存致冻结

问题详情 #

• 项目场景：操作系统课程多进程C语言项目，使用信号量同步共享内存访问
• 异常现象：
  • 首次运行./parent，第一个子进程能正常写入shm_segment_pointer->content指向的共享内存，但第二个子进程在写入前直接冻结
  • 后续所有运行中，首个子进程也会卡在写入该内存段的步骤
• 编译运行命令：

  gcc parent.c -o parent
  gcc child.c -o child
  ./parent
  

• 已尝试的无效操作：
  • 移除信号量后冻结消失，但不符合多进程同步需求
  • 延迟共享内存解绑操作，无任何效果
• 唯一有效操作：重构项目，不再用结构体存储共享内存段信息

可能的根因分析 #

• 信号量同步逻辑bug：
  • 子进程P/V操作顺序错误，比如写入前没执行sem_wait()获取锁，或者写完没调用sem_post()释放信号量
  • 父进程初始化信号量时将初始值设为0，导致第一个进程获取后信号量回到0，后续进程无法获取
• 共享内存结构体对齐问题：
  • 编译器对结构体自动内存对齐，导致content字段的实际内存偏移与预期不符，写入时触发隐性阻塞（比如误访问到信号量的内存区域）
  • 共享内存映射时，结构体的内存布局未正确匹配，shm_segment_pointer->content指向非法地址，引发未定义行为
• 资源残留问题：
  • 信号量或共享内存未在进程退出时彻底销毁，残留的信号量状态（比如值为0）导致后续运行的进程无法获取锁
• 子进程异常退出未释放信号量：
  • 子进程崩溃或被中断时，未执行sem_post()释放信号量，导致信号量一直处于0状态，阻塞后续进程

解决方案建议 #

1. 修复信号量同步逻辑 #

• 父进程初始化信号量时，必须将初始值设为1（互斥锁场景）：

  sem_t *sem = sem_open("/my_sync_sem", O_CREAT | O_EXCL, 0644, 1);
  if (sem == SEM_FAILED) {
      perror("sem_open failed");
      exit(EXIT_FAILURE);
  }
  

• 子进程严格遵循"先获取信号量，再写内存，最后释放信号量"的顺序：

  // 写入共享内存前获取锁
  if (sem_wait(sem) == -1) {
      perror("sem_wait failed");
      exit(EXIT_FAILURE);
  }
  // 写入操作
  strncpy(shm_segment_pointer->content, "process data", sizeof(shm_segment_pointer->content)-1);
  shm_segment_pointer->content[sizeof(shm_segment_pointer->content)-1] = '\0';
  // 释放锁
  if (sem_post(sem) == -1) {
      perror("sem_post failed");
      exit(EXIT_FAILURE);
  }
  

• 父进程在所有子进程退出后，必须销毁信号量：

  sem_close(sem);
  sem_unlink("/my_sync_sem");
  

2. 强制结构体内存对齐 #

• 使用编译指令强制结构体按1字节对齐，避免编译器自动对齐导致的偏移问题：

  #pragma pack(push, 1)
  typedef struct {
      // 其他字段
      char content[1024]; // 你的共享内存内容字段
  } ShmSegment;
  #pragma pack(pop)
  

• 用offsetof()验证字段偏移是否符合预期：

  #include <stddef.h>
  printf("content字段偏移量: %zu\n", offsetof(ShmSegment, content));
  

  确保共享内存映射后，shm_segment_pointer->content的实际地址等于共享内存起始地址加上该偏移量。

3. 清理残留的IPC资源 #

• 运行前手动清理可能残留的信号量和共享内存：

  # 清理信号量
  ipcs -s | grep my_sync_sem | awk '{print $2}' | xargs -I {} semctl {} IPC_RMID
  # 清理共享内存
  ipcs -m | grep 0x12345678 | awk '{print $2}' | xargs -I {} shmctl {} IPC_RMID
  

  （把my_sync_sem和0x12345678换成你实际使用的信号量名称和共享内存key）

4. 处理子进程异常退出的情况 #

• 给子进程注册退出清理函数，确保即使异常退出也能释放信号量：

  sem_t *global_sem; // 全局变量，方便清理函数访问
  
  void sem_cleanup() {
      if (global_sem != NULL) {
          sem_post(global_sem);
      }
  }
  
  int main() {
      global_sem = sem_open("/my_sync_sem", O_RDWR);
      atexit(sem_cleanup); // 注册退出清理函数
      // 子进程逻辑...
  }
  

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