Nebenläufige Programmierung in Java: Threads

Transkript

1 Nebenläufige Programmierung in Java: Threads Wahlpflicht: Fortgeschrittene Programmierung in Java Jan Henke HAW Hamburg 10. Juni 2011 J. Henke (HAW) Threads 10. Juni / 18

2 Gliederung 1 Grundlagen Wiederholung: Threadgrundlagen Einfache Threads in Java 2 Fortgeschrittene Konzepte Executor Synchronisation J. Henke (HAW) Threads 10. Juni / 18

3 Gliederung 1 Grundlagen Wiederholung: Threadgrundlagen Einfache Threads in Java 2 Fortgeschrittene Konzepte Executor Synchronisation J. Henke (HAW) Threads 10. Juni / 18

4 Definition einen Threads Definition Ein Thread ist ein Programmteil, welcher parallel zum dem übrigen Programm ausgeführt wird, über einen eigenen Stack verfügt und außer diesem alle Ressourcen mit dem restlichen Prozess teilt. J. Henke (HAW) Threads 10. Juni / 18

5 Definition einen Threads Definition Ein Thread ist ein Programmteil, welcher parallel zum dem übrigen Programm ausgeführt wird, über einen eigenen Stack verfügt und außer diesem alle Ressourcen mit dem restlichen Prozess teilt. Zu beachten ist: Dieselbe Codezeile kann simultan von mehreren Threads ausgeführt werden. J. Henke (HAW) Threads 10. Juni / 18

6 Definition einen Threads Definition Ein Thread ist ein Programmteil, welcher parallel zum dem übrigen Programm ausgeführt wird, über einen eigenen Stack verfügt und außer diesem alle Ressourcen mit dem restlichen Prozess teilt. Zu beachten ist: Dieselbe Codezeile kann simultan von mehreren Threads ausgeführt werden. Variablen auf dem Heap sind im Allgemeinen nicht threadspezfisch. J. Henke (HAW) Threads 10. Juni / 18

7 Vorteil von Multithreaded Anwendungen Bessere Ausnutzung von Wartepausen, kein busy waiting J. Henke (HAW) Threads 10. Juni / 18

8 Vorteil von Multithreaded Anwendungen Bessere Ausnutzung von Wartepausen, kein busy waiting insbesondere bei I/O-Operationen wichtig J. Henke (HAW) Threads 10. Juni / 18

9 Vorteil von Multithreaded Anwendungen Bessere Ausnutzung von Wartepausen, kein busy waiting insbesondere bei I/O-Operationen wichtig Bessere Ausnutzung heutiger symmetrischer Multiprozessorsysteme (SMP) J. Henke (HAW) Threads 10. Juni / 18

10 Vorteil von Multithreaded Anwendungen Bessere Ausnutzung von Wartepausen, kein busy waiting insbesondere bei I/O-Operationen wichtig Bessere Ausnutzung heutiger symmetrischer Multiprozessorsysteme (SMP) Entkoppelung verschiedener Programmteile möglich, z.b.: J. Henke (HAW) Threads 10. Juni / 18

11 Vorteil von Multithreaded Anwendungen Bessere Ausnutzung von Wartepausen, kein busy waiting insbesondere bei I/O-Operationen wichtig Bessere Ausnutzung heutiger symmetrischer Multiprozessorsysteme (SMP) Entkoppelung verschiedener Programmteile möglich, z.b.: asynchrone Reaktion auf Events J. Henke (HAW) Threads 10. Juni / 18

12 Vorteil von Multithreaded Anwendungen Bessere Ausnutzung von Wartepausen, kein busy waiting insbesondere bei I/O-Operationen wichtig Bessere Ausnutzung heutiger symmetrischer Multiprozessorsysteme (SMP) Entkoppelung verschiedener Programmteile möglich, z.b.: asynchrone Reaktion auf Events Erzeuger-Verbraucher Muster J. Henke (HAW) Threads 10. Juni / 18

13 Gliederung 1 Grundlagen Wiederholung: Threadgrundlagen Einfache Threads in Java 2 Fortgeschrittene Konzepte Executor Synchronisation J. Henke (HAW) Threads 10. Juni / 18

14 Erzeugung eines neuen Threads Welche Ausgabe ergibt das folgende Codesegment? 1 Runnable torun = new Runnable ( ) { 2 O v e r r i d e 4 p u b l i c v o i d r u n ( ) 5 { 6 f o r ( i n t i = 0 ; i < 1 0 ; i ++) 7 { 8 System. out. p r i n t l n ( i ) ; 9 } 10 } 11 } ; Thread thread1 = new Thread ( torun ) ; 14 t h r e a d 1. s t a r t ( ) ; 15 Thread thread2 = new Thread ( torun ) ; 16 t h r e a d 2. s t a r t ( ) ; J. Henke (HAW) Threads 10. Juni / 18

15 Erzeugung eines neuen Threads Welche Ausgabe ergibt das folgende Codesegment? 1 Runnable torun = new Runnable ( ) { 2 O v e r r i d e 4 p u b l i c v o i d r u n ( ) 5 { 6 f o r ( i n t i = 0 ; i < 1 0 ; i ++) 7 { 8 System. out. p r i n t l n ( i ) ; 9 } 10 } 11 } ; Thread thread1 = new Thread ( torun ) ; 14 t h r e a d 1. s t a r t ( ) ; 15 Thread thread2 = new Thread ( torun ) ; 16 t h r e a d 2. s t a r t ( ) ; J. Henke (HAW) Threads 10. Juni / 18

16 Thread implementiert Runnable Die Klasse Thread implementiert selbst das Interface Runnable J. Henke (HAW) Threads 10. Juni / 18

17 Thread implementiert Runnable Die Klasse Thread implementiert selbst das Interface Runnable Alle Konstruktoren sind doppelt vorhanden, jeweils mit und ohne Runnable als Argument J. Henke (HAW) Threads 10. Juni / 18

18 Thread implementiert Runnable Die Klasse Thread implementiert selbst das Interface Runnable Alle Konstruktoren sind doppelt vorhanden, jeweils mit und ohne Runnable als Argument Thread erweitern und run() überschreiben J. Henke (HAW) Threads 10. Juni / 18

19 Grundlegende Steuerung Die Klasse java.lang.thread bietet eine Reihe von Methoden an, um das Verhalten des (aktuellen) Threads zu beinflussen: J. Henke (HAW) Threads 10. Juni / 18

20 Grundlegende Steuerung Die Klasse java.lang.thread bietet eine Reihe von Methoden an, um das Verhalten des (aktuellen) Threads zu beinflussen: Die statischen Methoden beinflussen den aktuellen Thread, welcher den Code aktuell ausführt, dazu zählen unter anderem: J. Henke (HAW) Threads 10. Juni / 18

21 Grundlegende Steuerung Die Klasse java.lang.thread bietet eine Reihe von Methoden an, um das Verhalten des (aktuellen) Threads zu beinflussen: Die statischen Methoden beinflussen den aktuellen Thread, welcher den Code aktuell ausführt, dazu zählen unter anderem: Thread.currentThread() liefert die Referenz auf der aktuellen Thread. J. Henke (HAW) Threads 10. Juni / 18

22 Grundlegende Steuerung Die Klasse java.lang.thread bietet eine Reihe von Methoden an, um das Verhalten des (aktuellen) Threads zu beinflussen: Die statischen Methoden beinflussen den aktuellen Thread, welcher den Code aktuell ausführt, dazu zählen unter anderem: Thread.currentThread() liefert die Referenz auf der aktuellen Thread. Thread.yield() gibt den Rest der aktuell zugeteilten Rechenzeit ab. (Verhalten ist nach Spezifikation nicht garantiert) J. Henke (HAW) Threads 10. Juni / 18

23 Grundlegende Steuerung Die Klasse java.lang.thread bietet eine Reihe von Methoden an, um das Verhalten des (aktuellen) Threads zu beinflussen: Die statischen Methoden beinflussen den aktuellen Thread, welcher den Code aktuell ausführt, dazu zählen unter anderem: Thread.currentThread() liefert die Referenz auf der aktuellen Thread. Thread.yield() gibt den Rest der aktuell zugeteilten Rechenzeit ab. (Verhalten ist nach Spezifikation nicht garantiert) Thread.sleep(long)/Thread.sleep(long, int) legt den aktuellen Thread für die angegebene Dauer schlafen. J. Henke (HAW) Threads 10. Juni / 18

24 Grundlegende Steuerung Die Klasse java.lang.thread bietet eine Reihe von Methoden an, um das Verhalten des (aktuellen) Threads zu beinflussen: Die statischen Methoden beinflussen den aktuellen Thread, welcher den Code aktuell ausführt, dazu zählen unter anderem: Thread.currentThread() liefert die Referenz auf der aktuellen Thread. Thread.yield() gibt den Rest der aktuell zugeteilten Rechenzeit ab. (Verhalten ist nach Spezifikation nicht garantiert) Thread.sleep(long)/Thread.sleep(long, int) legt den aktuellen Thread für die angegebene Dauer schlafen. Wenn der Thread vor dem Ablauf dieser Zeit per interrupt() geweckt wurde, wird eine (checked) InterruptedException ausgelöst. J. Henke (HAW) Threads 10. Juni / 18

25 Grundlegende Steuerung - Teil 2 Die nicht-statischen Methoden beeinflussen den Thread, auf dessen Referenz sie aufgerufen werden, dazu zählen unter anderem: J. Henke (HAW) Threads 10. Juni / 18

26 Grundlegende Steuerung - Teil 2 Die nicht-statischen Methoden beeinflussen den Thread, auf dessen Referenz sie aufgerufen werden, dazu zählen unter anderem: interrupt() weckt aktuell schlafende Threads. J. Henke (HAW) Threads 10. Juni / 18

27 Grundlegende Steuerung - Teil 2 Die nicht-statischen Methoden beeinflussen den Thread, auf dessen Referenz sie aufgerufen werden, dazu zählen unter anderem: interrupt() weckt aktuell schlafende Threads. join() der aktuell laufende Thread wartet, bis der referenzierte Thread abgearbeitet ist. J. Henke (HAW) Threads 10. Juni / 18

28 Grundlegende Steuerung - Teil 2 Die nicht-statischen Methoden beeinflussen den Thread, auf dessen Referenz sie aufgerufen werden, dazu zählen unter anderem: interrupt() weckt aktuell schlafende Threads. join() der aktuell laufende Thread wartet, bis der referenzierte Thread abgearbeitet ist. Getter und Setter für verschiedene Eigenschaften. J. Henke (HAW) Threads 10. Juni / 18

29 Grundlegende Steuerung - Teil 2 Die nicht-statischen Methoden beeinflussen den Thread, auf dessen Referenz sie aufgerufen werden, dazu zählen unter anderem: interrupt() weckt aktuell schlafende Threads. join() der aktuell laufende Thread wartet, bis der referenzierte Thread abgearbeitet ist. Getter und Setter für verschiedene Eigenschaften. stop() (deprecated!) bricht diesen Thread abrupt ab, kann daher zu inkonsitenen Verhalten führen und ist daher zu vermeiden. J. Henke (HAW) Threads 10. Juni / 18

30 Beenden der JVM bei Benutzung von Threads Die JVM (und damit das Programm) beendet sich nur wenn alle 1 Threads beendet sind! 1 (nicht-dämon) J. Henke (HAW) Threads 10. Juni / 18

31 Beenden der JVM bei Benutzung von Threads Die JVM (und damit das Programm) beendet sich nur wenn alle 1 Threads beendet sind! Hat man einen oder mehrere Threads, welche in einer Endlosschleife auf neue Arbeit warten, so muss man zu Beenden des Programms eine der folgenden Möglichkeiten implementieren: 1 (nicht-dämon) J. Henke (HAW) Threads 10. Juni / 18

32 Beenden der JVM bei Benutzung von Threads Die JVM (und damit das Programm) beendet sich nur wenn alle 1 Threads beendet sind! Hat man einen oder mehrere Threads, welche in einer Endlosschleife auf neue Arbeit warten, so muss man zu Beenden des Programms eine der folgenden Möglichkeiten implementieren: Jeden Thread einzeln beenden (z.b. über interrupt()) 1 (nicht-dämon) J. Henke (HAW) Threads 10. Juni / 18

33 Beenden der JVM bei Benutzung von Threads Die JVM (und damit das Programm) beendet sich nur wenn alle 1 Threads beendet sind! Hat man einen oder mehrere Threads, welche in einer Endlosschleife auf neue Arbeit warten, so muss man zu Beenden des Programms eine der folgenden Möglichkeiten implementieren: Jeden Thread einzeln beenden (z.b. über interrupt()) Über System.exit(int) die JVM hart beenden. 1 (nicht-dämon) J. Henke (HAW) Threads 10. Juni / 18

34 Beenden der JVM bei Benutzung von Threads Die JVM (und damit das Programm) beendet sich nur wenn alle 1 Threads beendet sind! Hat man einen oder mehrere Threads, welche in einer Endlosschleife auf neue Arbeit warten, so muss man zu Beenden des Programms eine der folgenden Möglichkeiten implementieren: Jeden Thread einzeln beenden (z.b. über interrupt()) Über System.exit(int) die JVM hart beenden. Diese Threads vor dem starten als Dämonen kennzeichnen (setdemon(true)), ein Dämonthread hindert die JVM nicht daran sich selbst zu beenden. 1 (nicht-dämon) J. Henke (HAW) Threads 10. Juni / 18

35 Gliederung 1 Grundlagen Wiederholung: Threadgrundlagen Einfache Threads in Java 2 Fortgeschrittene Konzepte Executor Synchronisation J. Henke (HAW) Threads 10. Juni / 18

36 Der Executor Threads lassen sich nur einmal und nur mit einem einzigen Runnable starten. Auch lässt sich der Startzeitpunkt nicht wählen. J. Henke (HAW) Threads 10. Juni / 18

37 Der Executor Threads lassen sich nur einmal und nur mit einem einzigen Runnable starten. Auch lässt sich der Startzeitpunkt nicht wählen. Seit Java 1.5 gibt es eine Lösung, welche dies Einschränkungen beseitigt: Das Interface java.util.concurrent.executer bzw. java.util.concurrent.executerservice. J. Henke (HAW) Threads 10. Juni / 18

38 Der Executor Threads lassen sich nur einmal und nur mit einem einzigen Runnable starten. Auch lässt sich der Startzeitpunkt nicht wählen. Seit Java 1.5 gibt es eine Lösung, welche dies Einschränkungen beseitigt: Das Interface java.util.concurrent.executer bzw. java.util.concurrent.executerservice. Mit execute(runnable) kann in implementierenden Klassen ein Runnable zur Bearbeitung eingereiht werden. J. Henke (HAW) Threads 10. Juni / 18

39 Der Executor Threads lassen sich nur einmal und nur mit einem einzigen Runnable starten. Auch lässt sich der Startzeitpunkt nicht wählen. Seit Java 1.5 gibt es eine Lösung, welche dies Einschränkungen beseitigt: Das Interface java.util.concurrent.executer bzw. java.util.concurrent.executerservice. Mit execute(runnable) kann in implementierenden Klassen ein Runnable zur Bearbeitung eingereiht werden. Details hängen von der konkreten Implementierung ab. J. Henke (HAW) Threads 10. Juni / 18

40 Der Executor Threads lassen sich nur einmal und nur mit einem einzigen Runnable starten. Auch lässt sich der Startzeitpunkt nicht wählen. Seit Java 1.5 gibt es eine Lösung, welche dies Einschränkungen beseitigt: Das Interface java.util.concurrent.executer bzw. java.util.concurrent.executerservice. Mit execute(runnable) kann in implementierenden Klassen ein Runnable zur Bearbeitung eingereiht werden. Details hängen von der konkreten Implementierung ab. java.util.concurrent.executors bietet Fabrikmethoden für verschiedene Implementierungen J. Henke (HAW) Threads 10. Juni / 18

41 Gliederung 1 Grundlagen Wiederholung: Threadgrundlagen Einfache Threads in Java 2 Fortgeschrittene Konzepte Executor Synchronisation J. Henke (HAW) Threads 10. Juni / 18

42 Warum synchronisieren Vielfach müssen Threads Daten mit dem übrigen Programm austauschen. Das Laufzeitverhalten von Threads ist aber nicht berechenbar, d.h. nach jeder verarbeiteten Maschienoperation kann ein Thread unterbrochen werden. J. Henke (HAW) Threads 10. Juni / 18

43 Warum synchronisieren Vielfach müssen Threads Daten mit dem übrigen Programm austauschen. Das Laufzeitverhalten von Threads ist aber nicht berechenbar, d.h. nach jeder verarbeiteten Maschienoperation kann ein Thread unterbrochen werden. Da Schreibeoperationen in der Regel aus mehrern Maschienoperationen bestehen, müssen diese besonders geschützt werden, um inkonsistente (d.h. nur teilweise geschriebene) Daten zu vermeiden. J. Henke (HAW) Threads 10. Juni / 18

44 Das Schlüsselwort synchronized Eine einfache Methode Synchronisation in Java zu realisieren, ist das Schlüsselwort synchronized in der Definition einer Methode. J. Henke (HAW) Threads 10. Juni / 18

45 Das Schlüsselwort synchronized Eine einfache Methode Synchronisation in Java zu realisieren, ist das Schlüsselwort synchronized in der Definition einer Methode. Jedoch ist Vorsicht geboten, dies kann bei langen Methoden den Vorteil der Nebenläufigkeit zunichte machen. In dem Fall Nutzung anderer Möglichkeiten -> Literatur J. Henke (HAW) Threads 10. Juni / 18

46 Das Schlüsselwort synchronized Eine einfache Methode Synchronisation in Java zu realisieren, ist das Schlüsselwort synchronized in der Definition einer Methode. Jedoch ist Vorsicht geboten, dies kann bei langen Methoden den Vorteil der Nebenläufigkeit zunichte machen. In dem Fall Nutzung anderer Möglichkeiten -> Literatur synchronized sorgt dafür, dass zu jeder Zeit maximal ein Thread mit der Abarbeit eines Codesegments beschäftigt ist. J. Henke (HAW) Threads 10. Juni / 18

47 Das Schlüsselwort synchronized Eine einfache Methode Synchronisation in Java zu realisieren, ist das Schlüsselwort synchronized in der Definition einer Methode. Jedoch ist Vorsicht geboten, dies kann bei langen Methoden den Vorteil der Nebenläufigkeit zunichte machen. Beispiel In dem Fall Nutzung anderer Möglichkeiten -> Literatur synchronized sorgt dafür, dass zu jeder Zeit maximal ein Thread mit der Abarbeit eines Codesegments beschäftigt ist. p u b l i c s y n c h r o n i z e d v o i d somemethod ( ) { // h i e r h ä l t s i c h maximal e i n Thread g l e i c h z e i t i g a u f } J. Henke (HAW) Threads 10. Juni / 18

48 Collections API und Threads Bis auf Vector sind alle Collections nicht threadsicher! J. Henke (HAW) Threads 10. Juni / 18

49 Collections API und Threads Bis auf Vector sind alle Collections nicht threadsicher! Die Utilityklasse Collections biete jedoch Methoden, um auf eine bestehende Collection eine Synchronisierte Sicht zu erhalten. Anschließend müssen alle Zugriffe über diese Sicht auf die Collection abgewickelt werden. J. Henke (HAW) Threads 10. Juni / 18

50 Collections API und Threads Beispiel Bis auf Vector sind alle Collections nicht threadsicher! Die Utilityklasse Collections biete jedoch Methoden, um auf eine bestehende Collection eine Synchronisierte Sicht zu erhalten. Anschließend müssen alle Zugriffe über diese Sicht auf die Collection abgewickelt werden. L i s t <S t r i n g > m y L i s t = C o l l e c t i o n s. s y n c h r o n i z e d L i s t ( new L i n k e d L i s t <S t r i n g >() ) ; J. Henke (HAW) Threads 10. Juni / 18

51 Ende Vielen Dank für die Aufmerksamkeit. Sind noch Fragen offen? J. Henke (HAW) Threads 10. Juni / 18