基于共享内存与信号的C多进程行长度计算程序异常终止排查

常见故障点及排查步骤 #

1. 信号量初始化与操作错误 #

• 检查semget()调用：确保所有进程使用相同的key值，创建时加上IPC_CREAT | IPC_EXCL避免复用旧的信号量集，权限设为0666保证进程可访问。
• 核对semop()的struct sembuf参数：
  • sem_num要对应正确的信号量索引（三级通信至少需要3组信号量：进程1→2的空/满/互斥，进程2→3的空/满/互斥）
  • sem_op别搞反：-1是P操作（获取资源），1是V操作（释放资源）
  • 必须加SEM_UNDO标记，防止进程异常退出后信号量卡死
• 每次semop()后强制检查返回值，用perror("semop failed")打印错误，比如信号量值为负时P操作会阻塞，若误加IPC_NOWAIT会直接报错退出。

2. 共享内存的同步与边界问题 #

• 定义明确的共享内存结构体，避免数据混乱：

  typedef struct {
      char data[1024];  // 存储原始行数据或计算结果
      int valid;        // 标记数据是否有效（1为有效，0为空，-1为结束信号）
      int count;        // 进程2计算的字符数
  } SharedBuf;
  

• 严格用信号量保护共享内存访问：进程1写前P空信号量，写完V满信号量；进程2读前P满信号量，处理完V空信号量，再用另一组信号量同步进程3。
• 检查shmat()返回值是否为(void*)-1，进程退出前必须调用shmdt()分离共享内存，避免残留资源。

3. 信号处理混乱导致的终止 #

• User defined signal 1是SIGUSR1，检查代码中kill()调用：是否误向进程发送了该信号且未注册处理函数，导致进程直接终止。
• 若用信号做同步，必须提前注册处理函数：

  void sig_handler(int sig) {
      // 仅用于唤醒阻塞的进程，无需额外逻辑
  }
  
  // 初始化时注册
  struct sigaction sa = {0};
  sa.sa_handler = sig_handler;
  sigaction(SIGUSR1, &sa, NULL);
  

• 尽量避免信号与信号量混用，两种同步机制容易造成时序冲突。

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

• 给所有进程注册SIGINT信号处理函数，退出前清理资源：

  void cleanup(int sig) {
      semctl(semid1, 0, IPC_RMID);  // 删除进程1→2的信号量集
      semctl(semid2, 0, IPC_RMID);  // 删除进程2→3的信号量集
      shmctl(shmid, IPC_RMID, NULL); // 删除共享内存
      exit(0);
  }
  

• 检查fork()返回值，避免子进程执行父进程的后续代码，比如fork()后子进程要立即进入自己的处理逻辑，用return或exit跳出父进程分支。

5. 数据传递的边界问题 #

• 进程1读取数据时，必须添加结束标记：比如当读取到EOF时，向共享内存写入valid = -1，通知后续进程终止，否则进程2/3会一直阻塞等待数据。
• 进程2计算字符数时，注意区分有效字符：比如是否包含换行符、是否要排除末尾空格，确保结果准确写入共享内存的count字段。

快速验证方法 #

• 先简化流程：去掉进程3，先验证进程1和进程2的通信是否正常，再逐步加入进程3。
• 在关键节点加打印：进程1写完数据后打印"已写入：%s"，进程2读取后打印"字符数：%d"，进程3输出时打印"结果：%d"，定位哪一步卡住或出错。
• 用ipcs命令排查资源状态：ipcs -m查看共享内存是否存在，ipcs -s查看信号量的当前值是否符合预期（比如空信号量初始为缓冲区大小，满信号量初始为0）。

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