进程间是否会发生竞态条件？若会，该如何预防？

当然会，进程间竞态条件的本质和线程间完全一致——当多个进程同时访问共享资源，且至少有一个操作是写入（或修改）时，就可能出现数据不一致、逻辑错误或结果不可预测的问题。

进程虽然拥有独立的虚拟地址空间，但系统级的公共资源是所有进程共享的，比如：

• 本地文件系统（如配置文件、日志文件）
• 共享内存段
• 数据库记录
• 网络端口
• 系统全局变量

举个典型场景：两个进程同时往同一个日志文件追加内容，若没有同步机制，最终日志会出现内容交错、部分内容被覆盖的情况，这就是典型的进程间竞态条件。

预防进程间竞态条件的常见方法 #

1. 使用进程间同步原语

操作系统提供了跨进程的同步工具，核心是通过内核级的锁机制保证资源访问的互斥性：

• 命名信号量：可以被多个进程通过名称打开使用，适合控制共享资源的访问次数。

  // 创建或打开命名信号量（初始值为1，代表互斥访问）
  sem_t *sem = sem_open("/log_sem", O_CREAT | O_EXCL, 0644, 1);
  if (sem == SEM_FAILED) {
      // 若已存在则直接打开
      sem = sem_open("/log_sem", 0);
  }
  
  // 等待信号量（获取锁）
  sem_wait(sem);
  // 执行共享资源操作（如写入日志）
  FILE *fp = fopen("/var/log/app.log", "a");
  fprintf(fp, "Process %d: Log message\n", getpid());
  fclose(fp);
  // 释放信号量（释放锁）
  sem_post(sem);
  
  // 关闭并销毁信号量（仅在最后一个进程退出时执行）
  sem_close(sem);
  sem_unlink("/log_sem");
  

• 跨进程互斥锁：通过设置PTHREAD_PROCESS_SHARED属性，让互斥锁可以被同一主机上的多个进程共享。

2. 文件锁机制

针对文件类共享资源，可以用系统调用给文件加锁，确保同一时间只有一个进程能执行写操作：

• 使用fcntl实现细粒度文件锁：

  int fd = open("/etc/config.ini", O_RDWR);
  struct flock lock;
  lock.l_type = F_WRLCK;       // 排他写锁
  lock.l_whence = SEEK_SET;    // 从文件开头开始
  lock.l_start = 0;            // 锁起始位置
  lock.l_len = 0;              // 锁整个文件
  lock.l_pid = getpid();
  
  // 阻塞等待获取锁
  fcntl(fd, F_SETLKW, &lock);
  
  // 修改配置文件内容
  // ...
  
  // 释放锁
  lock.l_type = F_UNLCK;
  fcntl(fd, F_SETLK, &lock);
  
  close(fd);
  

• flock是更简单的文件锁工具，适合整文件级别的互斥访问。

3. 共享内存配合同步工具

如果使用共享内存（如shmget、mmap）实现进程间通信，必须搭配信号量或互斥锁使用，否则直接读写共享内存必然会触发竞态：

// 假设已创建共享内存并映射到addr
sem_t *sem = sem_open("/shm_sem", O_CREAT, 0644, 1);

sem_wait(sem);
// 读写共享内存区域
*(int*)addr = 100;
sem_post(sem);

4. 使用串行化的IPC机制

避免直接共享资源，改用消息队列、管道（匿名/命名）或Socket等IPC机制传递数据，让进程间的交互串行化：

• 比如用命名管道，让多个进程通过管道向一个“守护进程”发送数据，由守护进程统一写入文件，彻底避免竞态。

5. 数据库层面的同步

如果共享资源是数据库记录，可以利用数据库自身的事务和锁机制：

• 使用行级锁或表级锁保证数据操作的原子性；
• 乐观锁（如版本号字段）：更新时检查版本号，只有版本号匹配才执行更新，避免冲突。

内容的提问来源于stack exchange，提问作者Super Kai - Kazuya Ito