Kann ein C#-Thread einen booleschen Wert zwischenspeichern und Aktualisierungen von anderen Threads ignorieren?

Kann ein C#-Thread einen Wert zwischenspeichern und Änderungen an anderen Threads ignorieren?

Die gestellte Frage betrifft das Verhalten eines C#-Threads beim Lesen eines in einem anderen Thread geänderten Bool-Werts Faden. Einige Artikel deuten darauf hin, dass der lesende Thread möglicherweise den alten Wert zwischenspeichert, was möglicherweise zu einer Endlosschleife führt.

Verstehen des Problems

Während es eine gute Praxis ist, Variablen aus Gründen der Thread-Sicherheit zu sperren, ist die .NET Die Laufzeit ist darauf ausgelegt, Probleme im Zusammenhang mit flüchtigem Speicher zu abstrahieren. Laut Experten auf diesem Gebiet wird das im bereitgestellten Beispiel beobachtete Verhalten jedoch nicht durch die Spezifikation garantiert.

Potenziell fehlerhaftes Verhalten

Der Beispielcode stellt einen booleschen Wert (Stopp) dar, der zwischen beiden geteilt wird zwei Threads. Ein Thread setzt den Wert nach einer Verzögerung von 5 Sekunden auf „true“, während ein anderer Thread den Wert kontinuierlich in einer Schleife liest. Theoretisch könnte der lesende Thread ohne ordnungsgemäße Synchronisierung (z. B. eine Sperre) möglicherweise den anfänglichen falschen Wert zwischenspeichern und niemals den aktualisierten wahren Wert lesen.

Gegenbeispiel

Trotz der Behauptungen im Artikel wurde ein wiederholbares Gegenbeispiel demonstriert:

// using System.Threading;

private static bool stopping = false; // Make volatile to fix the issue

static void DoWork()
{
    int i = 0;
    while (!stopping)
    {
        i++;
    }

    Console.WriteLine("DoWork exit " + i);
}

In diesem Szenario wird der DoWork-Thread weiter ausgeführt, nachdem „Stoppen“ auf „True“ gesetzt wurde auf unbestimmte Zeit, was darauf hinweist, dass der alte Wert zwischengespeichert wird.

Auflösung

Um ein korrektes Verhalten sicherzustellen, ist es wichtig, die gemeinsam genutzte Variable als flüchtig zu markieren, was eine Speicherbarriere hinzufügt und Optimierungen verhindert, die dazu führen könnten zum Caching. Alternativ könnte das Problem auch durch die Verwendung einer Sperre zum Synchronisieren des Zugriffs auf die Variable behoben werden.

Das obige ist der detaillierte Inhalt vonKann ein C#-Thread einen booleschen Wert zwischenspeichern und Aktualisierungen von anderen Threads ignorieren?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!