Race Conditions in C

Question

Ich habe Probleme bei der Analyse eines Problems bei einer früheren OS-Prüfung. Es ist wie folgt:

Beschreiben Sie die Ausgabe des folgenden Programms. Gibt es eine Race Condition?

int count=0; 
int main(void) 
{ 
    pid_t pid;  
    if((pid = fork()) < 0)  
    {  
     perror("Fork error");  
     exit(1);  
    } 
    else if(pid == 0) 
    {  
     charatatime("Output 1\n"); 
    }  
    else  
    {  
     charatatime("Output 2\n"); 
    } 

    printf(“Count = %d”,count); 
    exit(0); 
} 

static void charatatime(char * str) 
{ 
    char * ptr;  
    int c; 
    for(ptr = str; c = *ptr++;) 
    { 
     count++;   
     putc(c, stdout); 
    } 
} 

Ich bin noch nicht so gut mit C und Race-Bedingungen, so ist meine Antwort meist eine Vermutung. Aber wenn ich das auf einer Prüfung sah, würde ich sagen: "Das Programm teilt einen Prozess in einen Eltern- und Kindprozess auf, der Kindprozess druckt 'Output1' und der Elternteil druckt 'Output2', jeweils ein Zeichen. Dann die Gesamtanzahl Die Anzahl der Buchstaben wird am Ende des Programms gedruckt, jedoch kann diese Variable "count" ungenau sein, da zwischen dem Kind und dem Elternteil eine Race-Bedingung besteht. Jeder kann jederzeit auf die Zählung zugreifen und diese aktualisieren, was zu Ungenauigkeiten führen kann.

Aus meinem Verständnis ergeben sich Race Conditions, wenn zwei oder mehr Threads oder Prozesse versuchen, auf dieselbe gemeinsame Variable zuzugreifen oder sie zu setzen, und der einzige Vorfall, den ich in diesem Programm sehen kann, ist 'count'. Bin ich irgendwo in der Nähe richtig, und wenn nicht, was könnte zu diesem Programm hinzugefügt werden, um eine Race Condition zu erstellen (hypothetisch, natürlich; ich weiß, das ist nicht das, was wir tun wollen)?

Answer 1

Was count betrifft, gibt es keinen Wettlauf: Jeder der beiden Prozesse hat seinen eigenen separaten count.

In der Reihenfolge, in der die Zeichen "Output 1" und "Output 2" auf stdout erscheinen, gibt es tatsächlich ein Rennen: die beiden Ausgänge können beliebig verschachtelt enden.

Answer 2

https://github.com/madan-ram/race-Condition/blob/master/race_condition.c dies würde Ihnen helfen ..

wie Sie sehen, dass die stdout Druck, um der Inhaltsänderungen, weil wir dont't wissen, was die Eltern bestellen und Kind führt die printf-Anweisung.