c - UNIX 进程行为

Question

我试图理解以下代码:

int main(int argc, char **argv)
{
   int pid1,pid2;
   if((pid1=fork())<0)
   { 
       printf("Error bla bla");exit(1);
   }
   else printf("A");
   if((pid2=fork())<0)
   {   
      printf("Error bla bla");exit(2);
   }

  if(pid1==0)printf("B\n");
  if(pid2==0)printf("C\n");
  exit(0);
  return 0;
}

我得到的输出如下所示:

A  
AC  
AB  
AB  
C 

如果我将第一个打印更改为 printf("A\n"); 输出为

A  
C  
A  
B  
B  
C 

在这种情况下进程如何表现？我知道第二个 fork() 在父进程和第一个子进程中执行，但为什么输出看起来像这样？
另外，为什么它按特定顺序打印最后 3 个字母？

Answer 1

首先，我相信这个序列的结果没有很好地定义 - 它取决于 printf() 的实现者和进程调度的变幻莫测。

一般来说，printf() 在缓冲区中累积字符，并在需要时打印它们 - 除非换行符 '\n' 的存在通常会触发立即打印。

如果进程 fork 时的字符仍在 printf() 缓冲区中，则父进程和子进程最终都会打印这些字符。您 fork 两次，产生 4 个进程。我将把原始进程称为 G(randparent)。 G 在第一个 fork 处创建 P(arent)。 P 的 pid1 == 0。接下来每个进程再次 fork 。假设 G 创建 A(unt)，P 创建 C(hild)。 A 和 C 的 pid2 == 0。C 也有 pid1 == 0。

它们都要么打印了原始的 A\n，要么在它们的 printf 缓冲区中有 A。

那些 pid1 == 0 然后 printf B\n。如果缓冲区中仍有 A，则结果为 AB\n那些 pid2 == 0 则打印 C\n

所以顺序是

G: A(\n)
P: A(\n)B\n
A: A(\n)C\n
C: A(\n)B\nC\n

G、P、A 和 C 的运行顺序是不确定的。但是任何给定进程的输出都按照 printf()d 的顺序出现。它可能与其他进程的输出交错。

如果 A 打印有\n，则从除祖 parent 之外的所有序列中删除 A(\n)。