Grundsatzfrage zur Synchronisation bei einem Gette

Computer: Software & Programmierung Java
#1

Ich habe die Klasse Thread um ein Attribut und passende setter/getter erweitert. So soll es möglich sein, dass der Thread etwas in seiner Run() Methode abspeichert und ein Ergebnis darin ablegt. Vereinfacht sieht die Klasse so aus:

class MyThread
{
private Object result;

void run()
{
…
result = …
}

public synchronized void setResult(Object o)
{
result = o;
}

public Object getResult()
{
return result;
}

}

Wie man sehen kann habe ich den getter bewusst nicht synchronisiert. Mein Gedanke dahinter ist: Bei reinen lesen kann der Zustand von result nicht verändert werden, beim Schreiben durch den setter verhindert das Synchronized Statement parallele Zugriffe.

Aber plötzlich kommen mir Zweifel, ob es wirklich sicher läuft:

  1. Wenn ein Objekt auf den getter zugreift und die Variable versucht zu verändern, währenddessen aber der Thread selbst result verändern möchte, dann knallt es (?!)
  2. Wenn ich den getter synchronisiere, ändert es doch auch nichts, weil der Monitor nur über die Laufzeit der getter-Methode läuft (?!)

Wie macht man es also richtig?

#2

Moien

Wie man sehen kann habe ich den getter bewusst nicht
synchronisiert. Mein Gedanke dahinter ist: Bei reinen lesen
kann der Zustand von result nicht verändert werden, beim
Schreiben durch den setter verhindert das Synchronized
Statement parallele Zugriffe.

Du hast da einen leichten Fehler drin: der Thread selbst muss ebenfalls über setResult fahren. Also nicht „result = …“ sondern „this.setResult(…)“.

  1. Wenn ein Objekt auf den getter zugreift und die Variable
    versucht zu verändern

Im Getter verändert sich die Variable nicht. Das Objekt bekommt entweder result zurück oder halt eben null.

, währenddessen aber der Thread selbst
result verändern möchte, dann knallt es (?!)

Nee.

Falls du eine Situtation im Sinne

result = thread.getResult();
result.change(42);

hast musst du entweder immer nur unveränderliche Kopien von result herrausgeben (return result.clone()) oder ein Mutex aufbauen:

thread.blockResult();
result = thread.getResult();
result.change(42);
thread.unBlockResult();

Alternativ:
thread.blockResult();
result = thread.getResult();
result.change(42);
thread.setResult(result);
thread.unBlockResult();

Wie macht man es also richtig?

Was hast du vor ? Ist result veränderlich ?

cu

#3

Danke für Deine Antwort.

Du hast da einen leichten Fehler drin: der Thread selbst muss
ebenfalls über setResult fahren. Also nicht „result = …“
sondern „this.setResult(…)“.

Das macht Sinn. =)

Was hast du vor ? Ist result veränderlich ?

Ja ist es. Der Thread, welcher die modifizierte Threadklasse startet,
wird sich nach dessen Beendung result zurückgeben lassen und damit arbeiten.
Theoretisch wäre es ja möglich, sich result zu besorgen, bevor der Thread
seine Arbeit beendet hat.