Threadsicherheit
aus Wikipedia, der freien Enzyklopädie
Threadsicherheit (engl. thread safety) ist eine Eigenschaft von Softwarekomponenten und hat eine wichtige Bedeutung in der Softwareentwicklung. Sie besagt, dass eine Komponente gleichzeitig von mehreren Programmbereichen mehrfach ausgeführt werden kann, ohne dass diese sich gegenseitig behindern.
Teile eines Computerprogramms können zum gleichen Zeitpunkt mehrmals ausgeführt werden. Dabei handelt es sich oft um eine Komponente oder auch nur um eine Funktion des Programms. Zum Zweck der Mehrfachausführung bieten Betriebssysteme sogenannte Threads an. Jeder Thread arbeitet dabei unabhängig von den anderen diesen Programmteil ab. Häufig muss das Programm dabei gleichzeitig auf einen gemeinsamen Speicherbereich (Shared Memory) des Computers zugreifen. Änderungen der einzelnen Threads müssen koordiniert werden, um einen chaotischen Zustand des Speichers zu verhindern. Man spricht hier auch von Synchronisation. Zum Zweck der Threadsynchronisation existieren mehrere Konzepte, wie z. B. Locks (engl. Sperre: ein Thread sperrt einen Speicherbereich zur exklusiven Bearbeitung, andere Threads haben währenddessen keinen Zugriff auf diesen Speicherbereich, bis dieser wieder freigegeben wird), Mutexe und Semaphore.
Ist der gleichzeitige Zugriff mehrerer Threads möglich, so bezeichnet man die Komponente auch als eintrittsinvariant oder reentrant.
Inhaltsverzeichnis |
[Bearbeiten] Inkonsistenzen
Die gleichzeitige Manipulation von Daten durch mehrere Threads kann zu sogenannten inkonsistenten Daten führen. Das geschieht, wenn ein Thread Daten ändert, weitere Threads dies aber nicht erfahren und weiterhin den alten Zustand der Daten annehmen. Fortlaufende Berechnungen basieren nun auf nicht mehr aktuellen Daten und sind somit falsch.
[Bearbeiten] Beispiele
[Bearbeiten] Gehaltsdaten
Eine Komponente dient zum Verwalten von Gehaltsdaten. Das Programm kann gleichzeitig von zwei Personalmitarbeiten verwendet werden. Angenommen Mitarbeiter A erhöht das Gehalt von 1000,00 Euro eines Angestellten um einen Inflationsausgleich von 100,00 Euro. Nahezu gleichzeitig erhöht Mitarbeiter B das Gehalt ebenfalls um 200,00 Euro wegen besonderer Leistung.
Insgesamt erhöht sich das Gehalt auf 1300,00 Euro. Die Software ist jedoch nicht threadsicher, so dass bei der zweiten Änderung die erste nicht bekannt war. Es werden also lediglich 200,00 Euro zu 1200,00 Euro auf das Gehalt addiert. Die erste Änderung wird überschrieben und ist verloren.
[Bearbeiten] Änderungen einer Wikipedia Seite
Ein Beispiel für eine threadsichere Applikation ist die Wikipedia selbst. Es ist möglich, dass zwei Autoren die selbe Seite zum selben Zeitpunkt ändern. Der Autor, der die Seite als zweites speichert, erhält von der Wikipedia eine Warnung und den Hinweis, dass es bereits eine Änderung gab. Es liegt nun in seiner Verantwortung, diesen Konflikt zu lösen, ohne den vorherigen Beitrag zu überschreiben.
[Bearbeiten] Synchronisation in Programmiersprachen
Manche Elementarfunktionen von Programmiersprachen, die nur lokale Variablen bearbeiten, sind immer threadsicher, so zum Beispiel die meisten mathematischen Funktionen, die Zwischenergebnisse immer auf dem Stack ablegen und immer auf Kopien der Originalvariablen arbeiten.
[Bearbeiten] Siehe auch
[Bearbeiten] Weblinks
- http://msdn.microsoft.com/... C++ Multithreading
- http://msdn.microsoft.com/... Threadsicherheit gewährleisten
- http://msdn.microsoft.com/... .NET Entwurfsrichtlinien für das Threading
