Thread Problem.

[Neptune]

Hallo ich habe da ein Problem mit einer ehemaligen Klausuraufgabe.

Es heisst dort

a) Ist die Synchronisation ausreichend, um Schreib/Schreib- und Schreib/Lese-
Konflikte auszuschließen? Falls nein, warum nicht?

Ich würde jetzt nach meiner Erfahrung sagen, das die Synchronisation ausreicht, aber das wäre doch etwas zu einfach denke ich.

Vielleicht kann mir ja jemand bei dem Problem helfen.

public class Test{
 private String[] s1 = {"foo"};
 private String[] s2 = {"bar"};
 
public void copy_s1_to_s2() {
 synchronized(s1) {
    synchronized(s2) {
       s2[0]=s1[0];
    } 
  } 

}

public void copy_s2_to_s1() {
  synchronized(s2) {
    synchronized(s1) {
      s1[0]=s2[0];
    } 
  } 
}

public static void main(String args[]) {
  final Test t = new Test();
  
new Thread() {
  public void run(){
  t.copy_s1_to_s2();
  }
}.start();

new Thread() {
  public void run(){
  t.copy_s2_to_s1();
  }
}.start();

} 
}

 

[SlaterB]

hier scheint ja recht offensichtlich das klassische Deadlock-Problem
'Thread1 synchronisiert auf s1, Thread2 synchronisiert auch s2, beide warten endlos auf den anderen'
gemeint zu sein,

wie kann man das nun vermeiden?

 

[Guest]

also Deadlock is nicht gemeint denke ich, das wäre die nächste Frage

Warum kann es bei der Ausführung des Programms dazu kommen, dass es
nicht mehr weiterläuft, weil sich die Threads verklemmt haben? Was müsste
man im Programm in den beiden copy-Methoden wie abändern, um dieses
Deadlock-Problem zu vermeiden?

Aber die Antwort hab ich schon.

Es müssen die Sychronized Blöcke nur immer in der gleichen Reihenfolge vorkommen, damit wäre das problem gelöst
(also zB zeile15 und 16 vertauschen)

 

[SlaterB]

tja, ansonsten musst du mal genauer definieren was ein solcher Konflikt sein könnte,

die Operationen dauern doch nur 10 ms,
wenn da zwei gleichzeitig ankommen, dann muss einer warten, so ist das nun mal,
aber was soll man da als Konflikt bezeichnen?

man könnte weiterhin noch getter einfügen, die auch dann lesen, wenn das Objekt per synchronized gesperrt ist,

aber da es bisher überhaupt keine getter gibt.., das schließt ja jeden Lese-Konflikt von Natur aus aus..,
schwierig ins Leere zu interpretieren, naja deswegen fragst du ja hier
vielleicht weiß wer sonst mehr

 

[SamHotte]

Ich tät sagen, ihr denkt zu viel. Die Antwort auf Frage a ist: nein, die Synchronisation ist nicht ausreichend (Begründung wie bei SlaterB).
In Frage b darfst du das Problem dann lösen.

Stehen da Punktzahlen dran an der Klausur?

 

[Guest]

Ja da steht 15 Punkte (von 100) für die beiden Fragen zusammen.
Aber die Synchronisation ist doch in Bezug auf die Schreib/Schreib- und Schreib/Lese-Zugriffe gemeint.
Deadlocks sind ja das andere Problem,

aber vlt. habt ihr ja recht... naja die aufgabe ist zumindest nicht ganz eindeutig

 

[SamHotte]

Schade, normal kann man ganz gut an der Punktzahl ablesen, wie kompliziert die Frage ist (zumindest ging das bei uns damals so) ...

Das mit den Zugriffen scheint mir die übliche Verwirr-Taktik zu sein. Das einzige Problem, das ich dort sehe, ist in der Tat der mögliche Deadlock.