mehrere Threads, die auf denselben Boolean schreiben

Question

Ich arbeite an einem Graphen (Knoten und Vertices) Partitionierungsalgorithmus.

Ich verwende mehrere Threads, um bestimmte Bereiche innerhalb des Graphen zu identifizieren. Wenn ein Knoten als Teil einer Region identifiziert wurde, setze ich boolean marked für das Knotenobjekt auf true.

Mehrere Threads können versuchen, denselben Knoten zur gleichen Zeit zu markieren.

Derzeit verwende ich die Synchronisierung, um sicherzustellen, dass nichts Schlimmes passiert.

Aber seit ich nie lesen Sie den Wert von markiert, bis alle Threads die Verarbeitung abgeschlossen haben. Würde es mir möglich sein, den Synchronisationscode loszuwerden? Mit anderen Worten, kann etwas schief gehen, wenn gleichzeitig in eine boolesche Variable geschrieben wird?

Answer 1

Kann irgendetwas schief gehen, wenn gleichzeitig in eine boolesche Variable geschrieben wird?

Ja und nein. Natürlich wird der resultierende Wert nicht irgendwie korrumpiert, aber es wird nicht-deterministisch sein, welches der Updates auf dem Feld gesetzt wird und wann diese Aktualisierungen von anderen Threads gesehen werden - wenn überhaupt.

Wenn Sie mehrere Threads haben, die Entscheidungen über den Wert dieses booleschen Werts treffen, müssen Sie zu einem bestimmten Zeitpunkt eine Speichersynchronisierung durchführen. Das Feld volatile kostet sehr wenig und es sei denn, Sie haben Beweise dafür, dass es sich um ein Performance-Problem handelt. Das Feld volatile ist wahrscheinlich keine vorzeitige Optimierung. Wenn Sie vergleichen und einstellen, wird ein AtomicBoolean empfohlen, der eine volatile boolean umschließt und höhere Methoden wie compareAndSet(...) bereitstellt.

Answer 2

Nein. Wenn die Reihenfolge der Schreibvorgänge für diese Variable keine Rolle spielt.

Answer 3

In der Theorie, nein, aber ich hätte nichts dagegen, die Variable volatile zu deklarieren. Das flüchtige Schlüsselwort gewährleistet den atomaren Zugriff.

(Vorausgesetzt, dass die Reihenfolge der Schreibvorgänge ist nicht wichtig und alle lesen, nachdem alle Schreibvorgänge auftreten.)

Answer 4

Nein, konnte nichts mehr schief gehen, wenn mehrere Threads auf den gleichen Booleschen Wert schreiben, aber es kann ein Problem sein den Wert (auch eine lange Zeit) später in einem anderen Thread zu lesen. Sie sollten die Variablen mindestens als volatile markieren, um das Problem zu vermeiden.

Answer 5

Wie andere bereits gesagt haben, besteht keine Gefahr von Korruption oder falschen Werten für den Booleschen Wert, wenn Sie einfach versuchen, denselben Wert aus mehreren Threads festzulegen.

jedoch können Sie nicht einmal brauchen, dass

ich nie den Wert der markiert, bis schließlich die Fäden Verarbeitung fertig gelesen.

Sie offensichtlich eine Art Barriere müssen die koordinierende Gewinde mit den Worker-Threads (wie Thread.join() oder CountdownLatch oder Ihre primitive du jour) und fast alle jene bereits bieten ein geschieht zuvor Beziehung zu synchronisieren, wird Machen Sie alle Ihre Markierungen für den Coordinator-Thread sichtbar.

Nachdem die einzelne Synchronisationspunkt auch nur zufällig billiger sein als eine große Anzahl von flüchtigen Lesen (und ich würde diese vorzeitige Optimierung nicht nennen, einfach die Notwendigkeit für flüchtige Stoffe eliding)