Odd Thread Verhalten

Question

Der nächste Code druckt normalerweise BA aber manchmal kann es BBAA, BAAB, ... drucken Wie ist es möglich, zwei A oder B damit zu bekommen ?! Dieser Code druckt jedoch nie drei A oder B. Beide Funktionen (produzieren und konsumieren) führen viele Threads aus. Vielen Dank im Voraus.

int permission; 
void set_permission(int v) { 
    permission = v; 
    printf("%c", v + 'A');fflush(stdin); 
} 
void* produce(void*) { 
    for (;;) { 
     pthread_mutex_lock(&mr1); 
     set_permission(1); 
     while (permission == 1); 
     pthread_mutex_unlock(&mr1); 
    } 
} 
void* consume(void*) { 
    for (;;) { 
     pthread_mutex_lock(&mr2); 
     while (permission == 0); 
     set_permission(0); 
     pthread_mutex_unlock(&mr2); 
    } 
} 

Answer 1

Ihre Threads sind nicht synchronisiert, da sie nicht denselben Mutex verwenden.

Der andere Thread kann zufällig nur permission auf 1 oder 0 setzen, aber nicht schaffen, Ausgabe noch zu produzieren. In diesem Fall scheint es so, als hätte der erste Thread zwei volle Runden durchlaufen.

Der Schreibvorgang durch den entsprechenden Thread kann auch vollständig verloren, wenn der Speicherinhalt zwischen Kernen synchronisiert und beide Threads schrieb. Der Mutex verhindert dies auch, da er eine strikte Speicherzugriffsreihenfolge festlegt, die, vereinfacht ausgedrückt, garantiert, dass alles, was unter dem Schutz eines Mutex passiert ist, für den nächsten Benutzer des gleichen Mutex vollständig sichtbar ist.

Es wäre sehr unwahrscheinlich, das gleiche Zeichen 3 Mal oder öfter zu drucken, da höchstens ein Schreibvorgang dazwischen stattfindet, also höchstens ein Schreibverlust oder eine Ausgabe in der falschen Reihenfolge. Das ist jedoch nicht garantiert.

Wenn Sie an einem System mit keiner impliziten Speichersynchronisierung arbeiten, könnte Ihr Code auch einen Deadlock auslösen, da die unter einem Mutex ausgeführten Schreibvorgänge niemals an die Benutzer des anderen migrieren. (Dies passiert nicht wirklich, da immer noch eine Synchronisation durch die IO-Operationen eingeführt wird.)