进程间竞态条件为何可能？线程差异及fork示例疑问

我理解线程间会出现竞态条件（race condition），因为它们操作同一份数据。课上学过，进程和线程的核心区别是线程是轻量级进程，不会复制数据，只是抢占CPU时间，和其他线程共享同一数据空间——这也是线程竞态的根源。但课程又说进程间也可能因为共享数据出现竞态条件，我有点懵：进程不是有独立的运行环境吗？共享资源难道不是线程的专属特性？

示例代码（fork创建子进程） #

void forkexample() {
     pid_t pid = fork();
     if (pid == 0) {
         printf("Hello from Child! \n");
     } else {
        printf("Hello from Parent! child has pid = %d \n", pid);
     }
}

我对fork进程隔离的理解 #

Parent Process:
------------------
CPU States        |
Memory block      |
other ressources  |
------------------

Child Process completely new block containing same code and initial states, 
but is completely new Block in which it operates i.e Data is copied etc.
so how can race condition happen here?
------------------
CPU States        |
Memory block      |
other ressources  |
------------------

你说的fork创建子进程是深拷贝没错，但这只是进程默认的内存隔离状态——进程间完全可以主动共享资源，这时候竞态条件就会出现。

常见的进程共享资源场景包括：

• 共享文件：多个进程读写同一个磁盘文件，比如两个进程同时往日志文件写入内容，未做同步的话会导致内容错乱。
• 共享内存：通过shmget、mmap这类系统调用，进程可以将同一块物理内存映射到各自的地址空间，操作这块内存时就和线程共享数据一样，会产生竞态。
• 共享外设：比如多个进程同时操作打印机，未做调度同步的话可能导致打印任务顺序混乱。

你贴的fork示例里，父子进程确实没有共享内存，所以不会出现内存相关的竞态，但如果它们操作同一个外部共享资源（比如stdout输出，这个例子里的打印内容可能因为进程调度顺序出现乱序，这其实也是竞态的一种表现），还是会出现问题。

本质上，竞态条件的核心是多个执行流同时操作同一份无保护的共享资源，不管这个执行流是线程还是进程——线程是默认共享数据空间，而进程是主动建立共享通道后才会产生竞态。

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