In heutiger Software lauert wegen des breiten Einsatzes von Parallelität, Asynchronität, Multi-Tasking stets die Gefahr von Nebenläufigkeitsfehler. Weil diese Fehler nicht deterministisch auftreten, sind sie inhärent schwierig zu finden, bleiben oft in Tests unerkannt und sind kaum reproduzierbar.
Dieser Vortrag erörtert die verschiedenen Nebenläufigkeitsfehler, deren Problematik und diskutiert allgemeine Lösungsansätze für korrekte parallele oder nebenläufige Software. Dabei wird auch ein eigens entwickeltes statisches Analyse-Tool für C# präsentiert, das Data Races und Deadlocks in C#-Programmcode während der Entwicklung in Visual Studio erkennt.
Vorkenntnisse
* Grundverständnis der nebenläufigen/parallelen Programmierung ist empfohlen.
* Erfahrung in C# ist nützlich, aber nicht zwingend.
Lernziele
* Die verschiedenen Nebenläufigkeitsfehler wie Race Conditions, Data Races, Deadlocks, Starvation u.a. verstehen und auf deren Problematik sensibilisiert sein.
* Ansätze zur Vermeidung von Nebenläufigkeitsfehler kennen, insb. die Vorzüge, aber auch Limitationen der einzelnen Ansätze einschätzen können.
* Ein neues Tool für C# als eine mögliche Hilfe gegen Nebenläufigkeitsfehler kennen lernen.
//
Prof. Dr. Luc Bläser
ist Informatik-Professor an der Hochschule für Technik Rapperswil und leitet das Microsoft Innovation Center in Rapperswil, das Unternehmen mit Softwareberatung und Entwicklung sowie Kursen unterstützt. Luc Bläser befasst sich als Forschungsthema mit Nebenläufigkeit und Parallelität.