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'觸發立即打印。

如果該進程派生的字符仍保留在printf（）緩沖區中，則父進程和子進程最終都將打印這些字符。 您分叉兩次，導致4個過程。 我將原始進程稱為G（祖父母）。 G在第一個分叉處創建P（arent）。 P的pid1 ==0。接下來，每個進程再次派生。 假設G創建A（unt），P創建C（hild）。 A和C的pid2 ==0。C的pid1 == 0。

它們全部都打印了原始A \\ n，或者在其printf緩沖區中有A。

那些pid1 == 0的人則打印f 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，則從除祖父母之外的所有序列中刪除A（\\ n）。

Answer 2

造成混淆的可能原因是printf("A");的輸出printf("A"); 在第二個fork時實際上沒有寫在終端上。 它在內存緩沖區中，因此將與其余過程一起復制。