父子进程FULL/EMPTY/MUTEX信号量通信问题：father_final未收消息

问题背景 #

用C语言实现父子进程消息交互：父进程读取文件行发送给子进程，子进程将行回发给父进程，依赖FULL、EMPTY、MUTEX等6个信号量，通过WAIT/SIGNAL做同步控制，但father_final函数始终无法接收子进程回发的消息。

核心排查方向 #

• 信号量同步逻辑校验
  • 确认father_final中等待的信号量是否匹配子进程回发的信号：比如子进程回写完消息后，是否触发了父进程接收对应的FULL信号量，而父进程是否在读取缓冲区前正确调用了该信号量的WAIT操作
  • 核对信号量操作顺序：子进程是否在写入回发消息后才执行SIGNAL，父进程是否在WAIT通过后才读取缓冲区，避免出现读空或信号量触发时机错误
• 共享通信区域验证
  • 检查父子进程是否绑定同一块共享内存：shmget的键值、权限参数是否一致，shmat是否成功返回有效地址，未出现父子进程各自创建独立内存区域的情况
  • 确认缓冲区读写指针的维护逻辑：子进程回写时是否更新了正确的指针位置，父进程读取时是否指向子进程写入的区域，无指针越界或位置错误
• 信号量初始化正确性
  • 检查6个信号量的初始值是否符合业务逻辑：比如用于子进程回发的EMPTY信号量初始值应为1（缓冲区可写入），对应的FULL信号量初始值应为0（无待读消息）
  • 验证信号量集创建是否成功：semget返回的标识符在父子进程中是否一致，是否处理了创建失败的情况（比如返回-1未捕获）
• father_final函数内部逻辑排查
  • 检查函数内是否存在WAIT调用顺序错误：比如先读取缓冲区再调用WAIT，导致读取空数据，或WAIT的信号量对象错误
  • 排查死锁场景：是否父进程等待的信号量被其他信号量操作阻塞，或子进程因异常未执行到回发消息的SIGNAL操作
• 进程状态异常排查
  • 检查子进程是否在回发消息前异常退出：比如子进程处理消息时崩溃，未触发SIGNAL，导致父进程永久阻塞在WAIT
  • 验证资源释放逻辑：是否存在信号量未正确释放导致状态异常，影响后续的WAIT/SIGNAL操作

若能提供father_final函数代码、信号量初始化代码及子进程回发消息的代码片段，可更精准定位问题。

内容的提问来源于stack exchange，提问作者Valentino Fabris Valenti