Galileo Computing < openbook > Galileo Computing - Professionelle Bücher. Auch für Einsteiger.
Professionelle Bücher. Auch für Einsteiger.

Inhaltsverzeichnis
Vorwort
1 Java ist auch eine Sprache
2 Sprachbeschreibung
3 Klassen und Objekte
4 Der Umgang mit Zeichenketten
5 Mathematisches
6 Eigene Klassen schreiben
7 Angewandte Objektorientierung
8 Exceptions
9 Generics, innere Klassen
10 Die Klassenbibliothek
11 Threads und nebenläufige Programmierung
12 Datenstrukturen und Algorithmen
13 Raum und Zeit
14 Dateien und Datenströme
15 Die eXtensible Markup Language (XML)
16 Grafische Oberflächen mit Swing
17 Grafikprogrammierung
18 Netzwerkprogrammierung
19 Verteilte Programmierung mit RMI und Web–Services
20 JavaServer Pages und Servlets
21 Applets
22 Midlets und die Java ME
23 Datenbankmanagement mit JDBC
24 Reflection und Annotationen
25 Logging und Monitoring
26 Sicherheitskonzepte
27 Java Native Interface (JNI)
28 Dienstprogramme für die Java-Umgebung
Stichwort

Download:
- ZIP, ca. 14,1 MB
Buch bestellen
Ihre Meinung?

Spacer
<< zurück
Java ist auch eine Insel (8. Auflage) von Christian Ullenboom
Programmieren mit der Java Standard Edition Version 6
Buch: Java ist auch eine Insel (8. Auflage)

Java ist auch eine Insel (8. Aufl.)
8., aktual. Auflage, geb., mit DVD
1.475 S., 49,90 Euro
Galileo Computing
ISBN 978-3-8362-1371-4
Pfeil 11 Threads und nebenläufige Programmierung
Pfeil 11.1 Nebenläufigkeit
Pfeil 11.1.1 Threads und Prozesse
Pfeil 11.1.2 Wie parallele Programme die Geschwindigkeit steigern können
Pfeil 11.1.3 Was Java für Nebenläufigkeit alles bietet
Pfeil 11.2 Threads erzeugen
Pfeil 11.2.1 Threads über die Schnittstelle Runnable implementieren
Pfeil 11.2.2 Thread mit Runnable starten
Pfeil 11.2.3 Der Name eines Threads
Pfeil 11.2.4 Die Klasse Thread erweitern
Pfeil 11.2.5 Wer bin ich?
Pfeil 11.3 Die Zustände eines Threads
Pfeil 11.3.1 Threads schlafen
Pfeil 11.3.2 Mit yield() auf Rechenzeit verzichten
Pfeil 11.3.3 Das Ende eines Threads
Pfeil 11.3.4 UncaughtExceptionHandler für unbehandelte Ausnahmen
Pfeil 11.3.5 Einen Thread höflich mit Interrupt beenden
Pfeil 11.3.6 Der stop() von außen und die Rettung mit ThreadDeath
Pfeil 11.3.7 Ein Rendezvous mit join()
Pfeil 11.3.8 Barrier und Austausch mit Exchanger
Pfeil 11.3.9 Arbeit niederlegen und wieder aufnehmen
Pfeil 11.3.10 Priorität
Pfeil 11.3.11 Der Thread als Dämon
Pfeil 11.4 Der Ausführer (Executor) kommt
Pfeil 11.4.1 Die Schnittstelle Executor
Pfeil 11.4.2 Die Thread-Pools
Pfeil 11.4.3 Threads mit Rückgabe über Callable
Pfeil 11.4.4 Mehrere Callable abarbeiten
Pfeil 11.4.5 Mit ScheduledExecutorService wiederholende Ausgaben und Zeitsteuerungen
Pfeil 11.5 Synchronisation über kritische Abschnitte
Pfeil 11.5.1 Gemeinsam genutzte Daten
Pfeil 11.5.2 Probleme beim gemeinsamen Zugriff und kritische Abschnitte
Pfeil 11.5.3 Punkte parallel initialisieren
Pfeil 11.5.4 i++ sieht atomar aus, ist es aber nicht
Pfeil 11.5.5 Kritische Abschnitte schützen
Pfeil 11.5.6 Schützen mit ReentrantLock
Pfeil 11.5.7 Synchronisieren mit synchronized
Pfeil 11.5.8 Synchronized-Methoden der Klasse StringBuffer
Pfeil 11.5.9 Mit synchronized synchronisierte Blöcke
Pfeil 11.5.10 Dann machen wir doch gleich alles synchronisiert!
Pfeil 11.5.11 Lock-Freigabe im Fall von Exceptions
Pfeil 11.5.12 Mit synchronized nachträglich synchronisieren
Pfeil 11.5.13 Monitore sind reentrant – gut für die Geschwindigkeit
Pfeil 11.5.14 Synchronisierte Methodenaufrufe zusammenfassen
Pfeil 11.5.15 Deadlocks
Pfeil 11.6 Synchronisation über Warten und Benachrichtigen
Pfeil 11.6.1 Die Schnittstelle Condition
Pfeil 11.6.2 It’s Disco-Time
Pfeil 11.6.3 Warten mit wait() und Aufwecken mit notify()
Pfeil 11.6.4 Falls der Lock fehlt: IllegalMonitorStateException
Pfeil 11.6.5 Semaphor
Pfeil 11.7 Atomare Operationen und frische Werte mit volatile
Pfeil 11.7.1 Der Modifizierer volatile bei Objekt-/Klassenvariablen
Pfeil 11.7.2 Das Paket java.util.concurrent.atomic
Pfeil 11.8 Mit dem Thread verbundene Variablen
Pfeil 11.8.1 ThreadLocal
Pfeil 11.8.2 InheritableThreadLocal
Pfeil 11.9 Gruppen von Threads in einer Thread-Gruppe
Pfeil 11.9.1 Aktive Threads in der Umgebung
Pfeil 11.9.2 Etwas über die aktuelle Thread-Gruppe herausfinden
Pfeil 11.9.3 Threads in einer Thread-Gruppe anlegen
Pfeil 11.9.4 Methoden von Thread und ThreadGroup im Vergleich
Pfeil 11.10 Zeitgesteuerte Abläufe
Pfeil 11.10.1 Die Klassen Timer und TimerTask
Pfeil 11.10.2 Job-Scheduler Quartz
Pfeil 11.11 Einen Abbruch der virtuellen Maschine erkennen
Pfeil 11.12 Zum Weiterlesen


Galileo Computing - Zum Seitenanfang

11.6 Synchronisation über Warten und Benachrichtigen Zur nächsten ÜberschriftZur vorigen Überschrift

Die Synchronisation von Methoden oder Blöcken ist eine einfache Möglichkeit, konkurrierende Zugriffe von der virtuellen Maschine auflösen zu lassen. Obwohl die Umsetzung mit den Locks die Programmierung einfach macht, reicht dies für viele Aufgabenstellungen nicht aus. Wir können zwar Daten in einer synchronisierten Abfolge austauschen, doch gerne möchte ein Thread das Ankommen von Informationen signalisieren, und andere Threads wollen informiert werden, wenn Daten bereitstehen und abgeholt werden können.

Bei der Realisierung der Benachrichtigungen gibt es eine Reihe von Möglichkeiten. Im Folgenden nennen wir die einfachsten:

  • Jedes Objekt besitzt über die Klasse java.lang.Object die Methoden wait() und notify(). Ein Thread, der über den Monitor verfügt, kann die Methoden aufrufen und sich so in einen Wartezustand versetzen oder einen anderen Thread aufwecken. Diese Möglichkeit gibt es seit Java 1.0. (Es ist schon ein wenig seltsam, dass Java für die Synchronisation ein eingebautes Schlüsselwort hat, aber die Benachrichtigung über Methoden realisiert.)
  • Von einem ReentrantLock – der den Monitor repräsentiert – liefert newCondition() ein Condition-Objekt, das über await() und signal() warten und benachrichtigen lässt. Diese Typen gibt es seit Java 5.

Szenarien mit Warten und Benachrichtigen sind oft Produzenten-Konsumenten-Beispiele. Ein Thread liefert Daten, die ein anderer Thread verwenden möchte. Da dieser in keiner kostspieligen Schleife auf die Information warten soll, synchronisieren sich die Partner über ein beiden bekanntes Objekt. Erst wenn der Produzent sein Okay gegeben hat, ergibt es für den Datennutzer Sinn, weiterzuarbeiten; jetzt hat er seine benötigten Daten. So wird keine unnötige Zeit in Warteschleifen vergeudet, und der Prozessor kann die übrige Zeit anderen Threads zuteilen.


Galileo Computing - Zum Seitenanfang

11.6.1 Die Schnittstelle Condition Zur nächsten ÜberschriftZur vorigen Überschrift

Mit einem Lock-Objekt wie ReentrantLock können zwecks Benachrichtigung Condition-Objekte abgeleitet werden. Dazu dient die Methode newCondition():


interface java.util.concurrent.locks.Lock

  • Condition newCondition()
    Liefert ein Condition-Objekt, das mit dem Lock verbunden ist. Mit einem Lock-Objekt können beliebig viele Condition-Objekte gebildet werden.

Warten mit await() und Aufwecken mit signal()

Damit das Warten und Benachrichtigen funktioniert, kommunizieren die Parteien über ein gemeinsames Condition-Objekt, das vom Lock erfragt wird:

Condition condition = lock.newCondition();

In einem fiktiven Szenario soll ein Thread T1 auf ein Signal warten und ein Thread T2 dieses Signal geben. Da nun beide Threads Zugriff auf das gemeinsame Condition-Objekt haben, kann T1 sich mit folgender Anweisung in den Schlaf begeben:

try { 
  condition.await(); 
} catch ( InterruptedException e ) { 
  ... 
}

Mit dem await() geht der Thread in den Zustand nicht ausführend über. Der Grund für den try-catch-Block ist, dass ein await() durch eine InterruptedException vorzeitig abgebrochen werden kann. Das passiert zum Beispiel, wenn der wartende Thread per interrupt()-Methode einen Hinweis zum Abbruch bekommt.

Die Methode await() bestimmt den ersten Teil des Paares. Der zweite Thread T2 kann nun nach Eintreffen einer Bedingung das Signal geben:

condition.signal();

Um das signal() muss es keinen Block geben, der Exceptions auffängt.


Hinweis Wenn ein Thread ein signal() auslöst und es keinen wartenden Thread gibt, dann verhallt das signal() ungehört. Der Hinweis wird nicht gespeichert, und ein nachfolgendes await() muss mit einem neuen signal() aufgeweckt werden.



interface java.util.concurrent.lock.Condition

  • void await() throws InterruptedException
    Wartet auf ein Signal, oder die Methode wird unterbrochen.
  • void signal()
    Weckt einen wartenden Thread auf.

Vor der Condition kommt ein Lock

Auf den ersten Blick scheint es, als ob das Lock-Objekt nur die Aufgabe hat, ein Condition-Objekt herzugeben. Das ist aber noch nicht alles, denn die Methoden await() und auch signal() können nur dann aufgerufen werden, wenn vorher ein lock() den Signal-Block exklusiv sperrt.

lock.lock(); 
try { 
  condition.await(); 
} catch ( InterruptedException e ) { 
  ... 
} 
finally { 
  lock.unlock(); 
}

Doch was passiert ohne Aufruf von lock()? Zwei Zeilen zeigen die Auswirkung:

Listing 11.22 com/tutego/insel/thread/concurrent/AwaitButNoLock.java, main()

Condition condition = new ReentrantLock().newCondition(); 
condition.await();     // java.lang.IllegalMonitorStateException

Das Ergebnis ist eine java.lang.IllegalMonitorStateException.

Temporäre Lock-Freigabe bei await()

Um auf den Condition-Objekten also await() und signal() aufrufen zu können, ist ein vorangehender Lock nötig. Augenblick mal: Wenn ein await() kommt, hält der Thread doch den Monitor, und kein anderer Thread könnte in einem kritischen Abschnitt, der über das gleiche Lock-Objekt gesperrt ist, signal() aufrufen. Wie ist das möglich? Die Lösung besteht darin, dass await() den Monitor freigibt und den Thread so lange sperrt, bis zum Beispiel von einem anderen Thread das signal() kommt. (Wenn wir ein Programm mit nur einem Thread haben, dann ergibt natürlich so ein Pärchen keinen Sinn.) Kommt das Signal, weckt das den wartenden Thread wieder auf, und er kann am Scheduling wieder teilnehmen. Da also ein anderer Thread prinzipiell in den gleichen Block wie der Wartende hineinlaufen kann, ist das nicht logisch atomar – was es wäre, wenn der Thread komplett einen synchronisieren Block durchläuft, bevor ein anderer Thread den Block betritt.

Mehrere Wartende und signalAll()

Es kann durchaus vorkommen, dass mehrere Threads in einer Warteposition an demselben Objekt sind und aufgeweckt werden wollen. signal() wählt dann aus der Liste der Wartenden einen Thread aus und gibt ihm das Signal. Sollten alle Wartenden einen Hinweis bekommen, lässt sich signalAll() verwenden.


interface java.util.concurrent.lock.Condition

  • void signalAll()
    Weckt alle wartenden Threads auf.

await() mit einer Zeitspanne

Ein await() wartet im schlechtesten Fall bis zum Sankt-Nimmerleins-Tag, wenn es kein signal() gibt. Es gibt jedoch Situationen, in denen wir eine bestimmte Zeit lang warten, aber bei Fehlen der Benachrichtigung weitermachen wollen. Dazu kann dem await() in unterschiedlichen Formen eine Zeit mitgegeben werden.


interface java.util.concurrent.lock.Condition

  • long awaitNanos( long nanosTimeout ) throws InterruptedException
    Wartet eine bestimmte Anzahl Nanosekunden auf ein Signal, oder die Methode wird unterbrochen. Die Rückgabe gibt die Wartezeit an.
  • boolean await( long time, TimeUnit unit ) throws InterruptedException
  • boolean awaitUntil( Date deadline ) throws InterruptedException
    Wartet eine bestimmte Zeit auf ein Signal. Kommt das Signal in der Zeit nicht, geht die Methode weiter und liefert true. Kam das Signal oder ein interrupt(), liefert die Methode false.
  • void awaitUninterruptibly()
    Wartet ausschließlich auf ein Signal und lässt sich nicht durch ein interrupt() beenden.

An den Methoden ist schon zu erkennen, dass die Wartezeit einmal relativ (await()) und einmal absolut (awaitUntil()) sein kann. (Mit den eingebauten Methoden wait() und notify() ist immer nur eine relative Angabe möglich.)

Eine IllegalMonitorStateException wird das Ergebnis sein, wenn beim Aufruf einer Condition-Methode das lock() des zugrundeliegenden Lock-Objekts fehlte.


Beispiel Warte maximal zwei Sekunden auf das Signal über condition1. Wenn es nicht ankommt, versuche signal()/signalAll() von condition2 zu bekommen.

condition1.await( 2, TimeUnit.SECONDS ); 
condition2.await();

Die Ausnahmebehandlung muss bei einem lauffähigen Beispiel noch hinzugefügt werden.



Galileo Computing - Zum Seitenanfang

11.6.2 It’s Disco-Time Zur nächsten ÜberschriftZur vorigen Überschrift

Ein kleines Programm soll die Anwendung von Threads kurz demonstrieren. Gegeben sind eine Tanzfläche und Tänzer, die auf die Tanzfläche möchten. Gleichzeitig holen Hütchenspieler immer wieder Tänzer von der Tanzfläche herunter. In die Java-Sprache übersetzt heißt das, dass zwei Threads auf eine gemeinsame Datenbasis, eine Queue, zurückgreifen. Ein Thread produziert unentwegt Tänzer und setzt sie in die Queue. Der Hütchenspieler-Thread nimmt die Tänzer aus der Queue heraus.

Beginnen wir mit einer Klasse Dancefloor, die mit den Methoden in() und out() Tänzer auf die Tanzfläche setzt und sie dort wieder entnimmt. Die Größe der Tanzfläche ist auf 5 beschränkt, und so blockiert die Methode in(), wenn mehr als das definierte Maximum von Tänzern gespeichert werden soll. (Gut, wir hätten die Elemente auch verwerfen können, aber das ist hier keine gute Idee, denn Daten sollen nicht einfach verschwinden. In einigen Szenarien ist aber das Verwerfen von Anfragen die beste Strategie.) Eine zweite Wartesituation haben wir auch noch: Ist die Tanzfläche leer, kann out() keinen Tänzer geben.

Listing 11.23 com/tutego/insel/thread/concurrent/DanceFloorDemo.java, Teil 1

class Dancefloor 
{ 
  private final Queue<String> dancers = new LinkedList<String>(); 
  private final Lock lock             = new ReentrantLock(); 
  private final Condition notFull     = lock.newCondition(); 
  private final Condition notEmpty    = lock.newCondition(); 
 
  public void in( String name ) throws InterruptedException 
  { 
    lock.lock(); 
    try 
    { 
      while ( dancers.size() == 5 ) 
      { 
        System.out.printf( "Tanzfläche ist voll, kann %s nicht aufnehmen!%n", name ); 
        notFull.await(); 
      } 
 
      dancers.add( name ); 
      System.out.printf( "%s ist neu auf der Tanzfläche.%n", name ); 
 
      notEmpty.signalAll(); 
    } 
    finally { 
      lock.unlock(); 
    } 
  } 
 
  public String out() throws InterruptedException 
  { 
    lock.lock(); 
    try 
    { 
      while ( dancers.size() == 0 ) 
      { 
        System.out.println( "Keiner auf der Tanzfläche!" ); 
        notEmpty.await(); 
      } 
 
      String elem = dancers.poll(); 
 
      notFull.signalAll(); 
 
      return elem; 
    } 
    finally { 
      lock.unlock(); 
    } 
  } 
}

Als Objektvariable wird eine Warteschlange als Objekt vom Typ Queue definiert, das die Daten aufnimmt, auf die die Threads dann zurückgreifen. Die erste definierte Methode ist in(). Wenn noch Platz in der Warteschlange ist, dann hängt die Methode die Zeichenketten mit dem Tänzernamen an. Ist die Tanzfläche voll, muss gewartet werden, bis jemand einen Tänzer von der Tanzfläche nimmt.

while ( dancers.size() == 5 ) 
  notFull.await();

Es ist typisch für Wartesituationen, dass await() – die synchronisierte Aktion, die ein zusätzliches Kriterium sicherstellt – in einem Schleifenrumpf aufgerufen wird. Denn falls signalAll() einen Thread aus dem await() holt, muss außerdem getestet werden, ob die Bedingung immer noch gilt. Ein einfaches if würde dazu führen, dass bei zwei aufgeweckten Threads beide glauben, die Queue könne jeweils ein Element, also in der Summe zwei, aufnehmen. Doch bei nur einem entnommenen Element – und dem damit verbundenen signalAll() – darf auch nur ein Element wieder hinein. Die Schleife verhindert, dass jeder Geweckte ein Element hineinlegt. Die Bedingung, ob schon maximal viele Produkte in der Datenstruktur stecken, wird im Englischen guard (zu Deutsch etwa »Wache») genannt, und die überwachte Aktion (engl. guarded action) »Warte« wird damit zum so genannten überwachten Warten (engl. guarded wait).

Bei der Methode out() finden wir das gleiche Muster. Sind in der Warteschlange keine Daten vorhanden, so muss der interessierte Thread warten. Kommt ein Element hinein, kann genau eines herausgenommen werden. Eine einfache Fallunterscheidung könnte bei zwei Wartenden und einem signalAll() vom neuen Element dazu führen, dass beide Threads ein Element entnehmen. Das geht aber nicht, da nur ein Element in der Queue ist.

Die Schleifenbedingung – etwa dancers.size() == 0 – ist das Gegenteil der Bedingung, auf die gewartet werden soll; Anzahl Tänzer ungleich null, dann geht’s weiter.

Unsere Dancefloor-Klasse ist ein Beispiel für eine so genannte beschränkte blockierende Queue. Java 5 definiert mit BlockingQueue eine Schnittstelle für blockierende Operationen. Die Klasse ArrayBlockingQueue ist eine solche Warteschlange, die blockiert, wenn keine Daten enthalten sind und ein Maximum erreicht ist. Jetzt haben wir uns eine einfache Variante einer solchen Datenstruktur selbst gebaut!

In der Quellcodedatei folgt zunächst ein Thread, der unermüdlich Tänzer generiert und auf die Tanzfläche schickt.

Listing 11.24 com/tutego/insel/thread/concurrent/DanceFloorDemo.java, Teil 2

public class DancefloorDemo 
{ 
  public static void main( String[] args ) 
  { 
    final Dancefloor dancefloor = new Dancefloor(); 
 
    new Thread() 
    { 
      @Override public void run() 
      { 
        try 
        { 
          while ( true ) 
          { 
            dancefloor.in( "Tony Manero " + System.nanoTime() % 100 ); 
 
            TimeUnit.MILLISECONDS.sleep( new Random().nextInt( 200 ) + 1 ); 
          } 
        } 
        catch ( InterruptedException e ) { e.printStackTrace(); } 
      } 
    }.start();

Der letzte Teil soll eine Thread-Klasse für Hütchenspieler deklarieren. Ein Hütchenspieler wird dann an der Tanzfläche lauern und Tänzer entnehmen.

Listing 11.25 com/tutego/insel/thread/concurrent/DanceFloorDemo.java, Teil 3

    class Thimblerigger extends Thread 
    { 
      final private String name; 
 
      Thimblerigger( String name ) 
      { 
        this.name = name; 
      } 
 
      @Override public void run() 
      { 
        try 
        { 
          while ( true ) 
          { 
            System.out.println( name + " nahm " + dancefloor.out() + Zeilen-Umbruch 
              " von der Tanzfläche." ); 
 
            TimeUnit.MILLISECONDS.sleep( new Random().nextInt( 2000 ) + 1 ); 
          } 
        } 
        catch ( InterruptedException e ) { e.printStackTrace(); } 
      } 
    } 
 
    new Thimblerigger( "Hütchenspieler Heinz" ).start(); 
    new Thimblerigger( "Pronto Salvatore" ).start(); 
    new Thimblerigger( "Flinker Finger Jo" ).start(); 
  } 
}

Das Programm startet drei Hütchenspieler, was eine Ausgabe ähnlich dieser ergibt:

Tony Manero 84 ist neu auf der Tanzfläche. 
Hütchenspieler Heinz nahm Tony Manero 84 von der Tanzfläche. 
Keiner auf der Tanzfläche! 
Keiner auf der Tanzfläche! 
Tony Manero 4 ist neu auf der Tanzfläche. 
Pronto Salvatore nahm Tony Manero 4 von der Tanzfläche. 
Keiner auf der Tanzfläche! 
Tony Manero 98 ist neu auf der Tanzfläche. 
Flinker Finger Jo nahm Tony Manero 98 von der Tanzfläche. 
Tony Manero 55 ist neu auf der Tanzfläche. 
Tony Manero 62 ist neu auf der Tanzfläche. 
Flinker Finger Jo nahm Tony Manero 55 von der Tanzfläche. 
Tony Manero 35 ist neu auf der Tanzfläche. 
Tony Manero 33 ist neu auf der Tanzfläche. 
Tony Manero 38 ist neu auf der Tanzfläche. 
Tony Manero 79 ist neu auf der Tanzfläche. 
Hütchenspieler Heinz nahm Tony Manero 62 von der Tanzfläche. 
Tony Manero 70 ist neu auf der Tanzfläche. 
Hütchenspieler Heinz nahm Tony Manero 35 von der Tanzfläche. 
Tony Manero 35 ist neu auf der Tanzfläche. 
Tanzfläche ist voll, kann Tony Manero 60 nicht aufnehmen! 
Flinker Finger Jo nahm Tony Manero 33 von der Tanzfläche. 
Tony Manero 60 ist neu auf der Tanzfläche. 
Tanzfläche ist voll, kann Tony Manero 33 nicht aufnehmen! 
Flinker Finger Jo nahm Tony Manero 38 von der Tanzfläche. 
Tony Manero 33 ist neu auf der Tanzfläche. 
Pronto Salvatore nahm Tony Manero 79 von der Tanzfläche. 
Tony Manero 98 ist neu auf der Tanzfläche. 
Tanzfläche ist voll, kann Tony Manero 65 nicht aufnehmen! 
Flinker Finger Jo nahm Tony Manero 70 von der Tanzfläche. 
Tony Manero 65 ist neu auf der Tanzfläche. 
Tanzfläche ist voll, kann Tony Manero 36 nicht aufnehmen! 
Hütchenspieler Heinz nahm Tony Manero 35 von der Tanzfläche. 
Tony Manero 36 ist neu auf der Tanzfläche. 
Tanzfläche ist voll, kann Tony Manero 82 nicht aufnehmen! 
Pronto Salvatore nahm Tony Manero 60 von der Tanzfläche. 
Tony Manero 82 ist neu auf der Tanzfläche. 
Tanzfläche ist voll, kann Tony Manero 32 nicht aufnehmen! 
Hütchenspieler Heinz nahm Tony Manero 33 von der Tanzfläche. 
Tony Manero 32 ist neu auf der Tanzfläche. 
Pronto Salvatore nahm Tony Manero 98 von der Tanzfläche. 
Tony Manero 44 ist neu auf der Tanzfläche. 
Tanzfläche ist voll, kann Tony Manero 76 nicht aufnehmen! 
... bis in die Unendlichkeit

Galileo Computing - Zum Seitenanfang

11.6.3 Warten mit wait() und Aufwecken mit notify() Zur nächsten ÜberschriftZur vorigen Überschrift

Nachdem im vorigen Abschnitt der Weg mit den Java-5-Klassen und -Schnittstellen beschritten wurde, wollen wir uns abschließend mit den Möglichkeiten beschäftigen, die Java seit der Version 1.0 mitbringt.

Nehmen wir wieder zwei Threads an. Sie sollen sich am Objekt o synchronisieren – die Methoden wait() und notify() sind nur mit dem entsprechenden Monitor gültig, und den besitzt das Programmstück, wenn es sich in einem synchronisierten Block aufhält. Thread T1 soll auf Daten warten, die Thread T2 liefert. T1 führt dann etwa den folgenden Programmcode aus:

synchronized( o ) 
{ 
  try { 
    o.wait(); 
    // Habe gewartet, kann jetzt loslegen. 
  } catch ( InterruptedException e ) { 
    ... 
  } 
}

Wenn der zweite Thread den Monitor des Objekts o bekommt, kann er den wartenden Thread aufwecken. Er bekommt den Monitor durch das Synchronisieren der Methode, was ja bei Objektmethoden synchronized(this) entspricht. T2 gibt das Signal mit notify():

synchronized( o ) 
{ 
  // Habe etwas gemacht und informiere jetzt meinen Wartenden. 
  o.notify(); 
}

Um notify() muss es keinen Block geben, der Exceptions auffängt. Wenn ein Thread ein notify() auslöst und es keinen wartenden Thread gibt, dann verpufft es.


class java.lang.Object

  • void wait() throws InterruptedException
    Der aktuelle Thread wartet an dem aufrufenden Objekt darauf, dass er nach einem notify()/notifyAll() weiterarbeiten kann. Der aktive Thread muss natürlich den Monitor des Objekts belegt haben. Andernfalls kommt es zu einer IllegalMonitorStateException.
  • void wait( long timeout ) throws InterruptedException
    Wartet auf ein notify()/notifyAll() eine gegebene Anzahl von Millisekunden. Nach Ablauf dieser Zeit geht es ohne Fehler weiter.
  • void wait( long timeout, int nanos ) throws InterruptedException
    Wartet auf ein notify()/notifyAll() – angenähert 1.000.000 * timeout + nanos Nano-sekunden.
  • void notify()
    Weckt einen beliebigen Thread auf, der an diesem Objekt wartet.
  • void notifyAll()
    Benachrichtigt alle Threads, die auf dieses Objekt warten.

Ein wait() kann mit einer InterruptedException vorzeitig abbrechen, wenn der wartende Thread per interrupt()-Methode unterbrochen wird. Die Tatsache, dass wait() temporär den Lock freigibt, was für uns mit synchronized aber nicht möglich ist, spricht dafür, dass etwas wie wait() nativ implementiert werden muss.


Galileo Computing - Zum Seitenanfang

11.6.4 Falls der Lock fehlt: IllegalMonitorStateException Zur nächsten ÜberschriftZur vorigen Überschrift

Wenn wait() oder notify() aufgerufen werden, uns aber der entsprechende Lock für das Objekt fehlt, kommt es zum Laufzeitfehler IllegalMonitorStateException, wie wir es schon bei Condition und dem fehlenden lock() vom Lock gesehen haben.

Was wird bei folgendem Programm passieren?

Listing 11.26 com/tutego/insel/thread/NotOwner.java, main()

package com.tutego.insel.thread; 
 
class NotOwner 
{ 
  public static void main( String[] args ) throws InterruptedException 
  { 
    new NotOwner().wait(); 
  } 
}

Der Compiler kann das Programm übersetzen, doch zur Laufzeit wird es zu einem Fehler kommen:

java.lang.IllegalMonitorStateException: current thread not owner 
  at java.lang.Object.wait(Native Method) 
  at java.lang.Object.wait(Object.java:426) 
  at NotOwner.main(NotOwner.java:5) 
Exception in thread "main"

Der Fehler zeigt an, dass der aktuelle ausführende Thread (current thread) nicht den nötigen Lock besitzt, um wait() auszuführen. Das Problem ist hier mit einem synchronized-Block (oder einer synchronized-Methode) zu lösen. Um den Fehler zu beheben, setzen wir:

NotOwner o = new NotOwner(); 
synchronized( o ) 
{ 
  o.wait(); 
}

Dies zeigt, dass das Objekt o, das den Lock besitzt, für ein wait() »bereit« sein muss. In die richtige Stimmung wird es nur mit synchronized gebracht:

synchronized( NotOwner.class ) 
{ 
  new NotOwner().wait(); 
}

Doch natürlich könnten wir auch am Klassenobjekt synchronisieren:

synchronized( NotOwner.class ) 
{ 
  NotOwner.class.wait(); 
}

Hinweis Die Ähnlichkeit zwischen Lock auf der einen Seite und einem synchronisierten Block bzw. einer synchronisierten Methode auf der anderen und den Methoden wait() und notify() bei Object und den analogen Methoden await() und signal() bei den Condition-Objekten ist nicht zu übersehen. Auch der Fehler beim Fehlen des Monitors ist der gleiche: Ein Aufruf der Methoden await()/wait() und notify()/signal() führt zu einer IllegalMonitorStateException. Es muss also erst ein synchronisierter Block für den Monitor her oder ein Aufruf lock() auf dem Condition zugrundeliegenden Lock-Objekt.



Galileo Computing - Zum Seitenanfang

11.6.5 Semaphor topZur vorigen Überschrift

Ein Semaphor [Semaphoren wurden 1968 vom niederländischen Informatiker Edsger Wybe Dijkstra eingeführt, also 10 Jahre vor Hoares Monitoren.] stellt sicher, dass nur eine bestimmte Anzahl von Threads auf ein Programmstück zugreift, und zählt damit zur Technik der Sperrmechanismen. Es lassen sich zwei Typen von Semaphoren unterscheiden:

  • Binäre Semaphoren lassen höchstens einen Thread auf ein Programmstück zu. Das bekannte Paar await()/signal() bei Condition beziehungsweise wait()/notify() von Object bietet sich für binäre Semaphoren an.
  • Allgemeine Semaphoren erlauben eine begrenzte Anzahl an Threads in einem kritischen Abschnitt. Das Semaphor verwaltet intern eine Menge so genannter Erlaubnisse (engl. permits).

Die Klasse Semaphore

Für allgemeine Semaphoren mit einer maximalen Anzahl Threads im Programmstück deklariert die Java-Bibliothek die Klasse java.util.concurrent.Semaphore.

Die wichtigen Eigenschaften der Semaphore-Klasse sind der Konstruktor und die Methoden zum Betreten und Verlassen des kritischen Abschnitts. Intern vermerkt das Semaphor jedes Betreten und lässt Threads warten, wenn das gesetzte Maximum erreicht ist, bis ein anderer Thread das Programmsegment verlässt.


class java.util.concurrent.Semaphore 
implements Serializable

  • Semaphore( int permits )
    Das neue Semaphor, das bestimmt, wie viele Threads in einem Block sein dürfen.
  • void acquire()
    Versucht, in den kritischen Block einzutreten. Wenn der gerade belegt ist, wird gewartet. Vermindert die Menge der Erlaubnisse um eins.
  • void release()
    Verlässt den kritischen Abschnitt und legt eine Erlaubnis zurück.

Allgemeine Semaphoren vereinfachen das Konsumenten-Produzenten-Problem, da eine be-stimmte Anzahl von Threads in einem Block erlaubt ist. Die verbleibende Größe des Puffers ist somit automatisch die maximale Anzahl von Produzenten, die sich parallel im Einfügeblock befinden können.

Unser Beispiel soll mit einem Semaphor arbeiten, das nur zwei Threads gleichzeitig in den kritischen Abschnitt lässt.

Listing 11.27 com/tutego/insel/thread/concurrent/SemaphoreDemo.java

package com.tutego.insel.thread.concurrent; 
 
import java.util.concurrent.Semaphore; 
 
public class SemaphoreDemo 
{ 
  static Semaphore semaphore = new Semaphore( 2 );

Der kritische Abschnitt besteht aus zwei Operationen: einer Ausgabe auf dem Bildschirm und einer Wartezeit von zwei Sekunden. Er ist in einem Runnable eingebettet:

  static Runnable r = new Runnable() { 
    @Override public void run() { 
      while ( true ) { 
        try 
        { 
          semaphore.acquire(); 
          System.out.println( "Thread=" + Thread.currentThread().getName() + Zeilen-Umbruch 
            ", Available Permits=" + semaphore.availablePermits() ); 
          Thread.sleep( 2000 ); 
        } 
        catch ( InterruptedException e ) { 
          e.printStackTrace(); 
        } 
        finally { 
          semaphore.release(); 
        } 
      } 
    } 
  };

Der kritische Abschnitt beginnt mit dem acquire() und endet mit release() im finally. In der Ereignisbehandlung fangen wir eine mögliche InterruptedException von acquire() und Thread.sleep() auf. Das release() ist im finally sehr gut aufgehoben, denn wir wollen in jedem Fall den Lock wieder freigeben, auch wenn irgendwie eine andere RuntimeException auftauchen sollte.

Drei Threads sollen sich koordinieren:

  public static void main( String[] args ) 
  { 
    new Thread( r ).start(); 
    new Thread( r ).start(); 
    new Thread( r ).start(); 
  } 
}

Nach dem Starten ist gut zu beobachten, wie jeweils zwei Threads im Abschnitt sind (eine Leerzeile symbolisiert die Wartezeit):

Thread=Thread-0, Available Permits=1 
Thread=Thread-1, Available Permits=0 
 
Thread=Thread-2, Available Permits=0 
Thread=Thread-0, Available Permits=0 
 
Thread=Thread-2, Available Permits=0 
Thread=Thread-0, Available Permits=0

Fair und unfair

In der Ausgabe ist zu sehen, dass Thread 0, 1 und 2 zwar ihre Aufgaben ausführen können, aber plötzlich eine Sequenz 0, 2, 0 entsteht. Unser Gerechtigkeitssinn sagt uns jedoch, dass Thread 1 wieder an die Reihe kommen müsste. Wie ist das möglich? Die Antwort lautet, dass das acquire() nicht berücksichtigt, wer am längsten wartet, sondern dass es sich aus der Liste der Wartenden einen beliebigen Thread auswählt. (Wir kennen das von notify() her und dem Betreten eines synchronized-Blocks.) Um ein faires Verhalten zu realisieren, wird die Fairness einfach über den Konstruktor von Semaphore angegeben. Ändern wir im Programm folgende Zeile:

static Semaphore semaphore = new Semaphore( 2, true );

Nun bekommen wir eine Ausgabe wie die folgende:

Thread=Thread-0, Available Permits=1 
Thread=Thread-1, Available Permits=0 
Thread=Thread-2, Available Permits=0 
Thread=Thread-0, Available Permits=0 
Thread=Thread-1, Available Permits=0 
Thread=Thread-2, Available Permits=0 
Thread=Thread-0, Available Permits=0 
Thread=Thread-1, Available Permits=0


Ihr Kommentar

Wie hat Ihnen das <openbook> gefallen? Wir freuen uns immer über Ihre freundlichen und kritischen Rückmeldungen.






<< zurück
  Zum Katalog
Zum Katalog: Java ist auch eine Insel





Java ist auch eine Insel
Jetzt bestellen


 Ihre Meinung?
Wie hat Ihnen das <openbook> gefallen?
Ihre Meinung

 Tipp
Zum Katalog: Coding for Fun





 Coding for Fun


 Buchempfehlungen
Zum Katalog: Objektorientierte Programmierung





 Objektorientierte
 Programmierung


Zum Katalog: Einstieg in Eclipse 3.4






 Einstieg in
 Eclipse 3.4


Zum Katalog: Java 6 lernen mit Eclipse






 Java 6 lernen
 mit Eclipse


Zum Katalog: NetBeans Platform 6






 NetBeans
 Platform 6


Zum Katalog: Java und XML






 Java und XML


Zum Katalog: Visual C# 2008






 Visual C# 2008


Zum Katalog: IT-Handbuch für Fachinformatiker






 IT-Handbuch für
 Fachinformatiker


Zum Katalog: C++ von A bis Z






 C++ von A bis Z


 Shopping
Versandkostenfrei bestellen in Deutschland und Österreich
InfoInfo




Copyright © Galileo Press 2009
Für Ihren privaten Gebrauch dürfen Sie die Online-Version natürlich ausdrucken. Ansonsten unterliegt das <openbook> denselben Bestimmungen, wie die gebundene Ausgabe: Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Alle Rechte vorbehalten einschließlich der Vervielfältigung, Übersetzung, Mikroverfilmung sowie Einspeicherung und Verarbeitung in elektronischen Systemen.


[Galileo Computing]

Galileo Press, Rheinwerkallee 4, 53227 Bonn, Tel.: 0228.42150.0, Fax 0228.42150.77, info@galileo-press.de