Ist eine Synchronisierung beim Lesen erforderlich, wenn keine Konflikte auftreten können?

Question

Beachten Sie den nachstehenden Code Sniper:

package sync;

public class LockQuestion {
    private String mutable;

    public synchronized void setMutable(String mutable) {
        this.mutable = mutable;
    }

    public String getMutable() {
        return mutable;
    }   
}

Zum Zeitpunkt Time1 wird Thread1 die Variable "mutable" aktualisieren. Die Synchronisierung ist im Setter erforderlich, um den Speicher vom lokalen Cache in den Hauptspeicher zu leeren. Zum Zeitpunkt Time2 (Time2 > Time1, keine Thread-Konkurrenz) liest Thread Thread2 den Wert der Variable mutable.

Frage ist - muss ich synchronized vor getter setzen? Sieht aus wie dies wird keine Probleme verursachen - Speicher sollte aktuell sein und Thread2's lokalen Cache-Speicher sollte ungültig & aktualisiert von Thread1, aber ich bin nicht sicher.

Answer 1

Dies wird wahrscheinlich nie zu einem falschen Verhalten führen, aber wenn Sie nicht auch die Reihenfolge garantieren, in der die Threads starten, können Sie nicht unbedingt garantieren, dass der Compiler das Lesen in Thread2 nicht vor dem Schreiben in Thread1 umgestellt hat. Genauer gesagt, die gesamte Java-Laufzeitumgebung muss lediglich gewährleisten, dass die Threads so ausgeführt werden, als ob sie seriell laufen würden . Solange also der Thread bei serieller Ausführung unter Optimierungen die gleiche Ausgabe hat, kann der gesamte Sprachstapel (Compiler, Hardware, Sprachlaufzeit) so ziemlich alles tun, was er will. Einschließlich der Möglichkeit für Thread2, das Ergebnis von LockQuestion.getMutable() .

In der Praxis würde es mich sehr überraschen, wenn dies jemals geschehen würde. Wenn Sie sicherstellen wollen, dass dies nicht passiert, sollten Sie LockQuestion.mutable erklärt werden als final und werden im Konstruktor initialisiert. Oder verwenden Sie die folgende Redewendung :

private static class LazySomethingHolder {
  public static Something something = new Something();
}

public static Something getInstance() {
  return LazySomethingHolder.something;
}