なぜ私はvalgrindとfork（）を使って異なる出力を持っていますか

Question

私はそれを説明できない問題があります。

メモリリークについてvalgrindで確認プログラムの実行順序が、プログラムの実行可能ファイルを実行したときの順序と異なることに気付きました。

私は自分のプログラムを縮小し、問題がどこにあるのかをコンパイルするようにしました。

私はコンパイルして、次のコードを実行します。

michi@michael ~ $ ./program 
I am 18320 
Fork returned 18321 
I am the parent waiting for child to end 
Fork returned 0 
I am the child with pid 18321 
Child exiting... 
Parent ending. 

しかし、私はvalgrindでそれを確認したときに、私は別の順序で出力を得る：私は次の出力を得る

#include <stdio.h> 
#include <stdlib.h> 
#include <sys/types.h> 
#include <sys/wait.h> 
#include <unistd.h> 

int main(void) 
{ 
    printf("I am %d\n", (int)getpid()); 

    pid_t pid = fork(); 
    printf("Fork returned %d\n", (int)pid); 

    if (pid < 0){ 
     perror("Fork Faild\n"); 
     exit(1); 
    } 
    if (pid == 0){ 
     printf("I am the child with pid %d\n", (int)getpid()); 
     sleep(5); 
     printf("Child exiting...\n"); 
     exit(0); 
    } 

    printf("I am the parent waiting for child to end\n"); 
    wait(NULL); 
    printf("Parent ending.\n"); 

    return 0; 
} 

を

michi@michael ~ $ valgrind --leak-check=full --track-origins=yes ./program 
==18361== Memcheck, a memory error detector 
==18361== Copyright (C) 2002-2015, and GNU GPL'd, by Julian Seward et al. 
==18361== Using Valgrind-3.11.0 and LibVEX; rerun with -h for copyright info 
==18361== Command: ./program 
==18361== 
I am 18361 
Fork returned 18362 
Fork returned 0 
I am the child with pid 18362 
I am the parent waiting for child to end 
Child exiting... 
==18362== 
==18362== HEAP SUMMARY: 
==18362==  in use at exit: 0 bytes in 0 blocks 
==18362== total heap usage: 1 allocs, 1 frees, 1,024 bytes allocated 
==18362== 
==18362== All heap blocks were freed -- no leaks are possible 
==18362== 
==18362== For counts of detected and suppressed errors, rerun with: -v 
==18362== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0) 
Parent ending. 
==18361== 
==18361== HEAP SUMMARY: 
==18361==  in use at exit: 0 bytes in 0 blocks 
==18361== total heap usage: 1 allocs, 1 frees, 1,024 bytes allocated 
==18361== 
==18361== All heap blocks were freed -- no leaks are possible 
==18361== 
==18361== For counts of detected and suppressed errors, rerun with: -v 
==18361== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0) 

私はフォークで新しく、これが問題であるかどうかわかりません私には、そうではありません。なぜこれが起こるのですか？

これは、漏れをチェックするために、GCC 7

Answer 1

Valgrind「楽器」あなたのコードとLinuxのミント18.2上でコンパイルされました。これは、コード、変数などを追加することを意味します。This答えはこれについての非常に簡単な概要です。

状況によっては、プログラムが特定の順序で「通常実行」されることがあります。ただし、これらの状況を変更した場合（たとえば、valgrindで計測）、実行順序が変更される可能性があります。

これは非常に単純な答えですが、コード/環境を実質的に変更すると、独自のスケジューラ、セマフォなどでコードフローを制御しない限り、本質的には解決します。知覚される実行順序が変わる可能性があります。

Answer 2

Valgrindはコードにいくつかのコードを追加してメモリリークをチェックします。しかし、これは異なる出力のためのあなたのプログラムの原因ではありません。 Valgrindの場合も同様です。 valgrindがなくても、出力が異なる可能性があります。フォークは別のプロセスを作成し、そこからプログラムが任意の順序で実行されます。あなたのプログラムは実行の順序に依存すべきではなく、共有リソースへのアクセスを制御する保護メカニズム（mutex/semaphore）が必要です。