KIT | KIT-Bibliothek | Impressum

Predicting Errors in Concurrent Systems

Carril Rodríguez, Luis Manuel

Abstract:
Die Verbreitung von Multikernprozessoren hat die parallele Programmierung allgegenwärtig gemacht. Parallele Programmierung ist schwierig, da sie die Entwicklung auf Grund vielfacher Kontrollflüsse und Nicht-Determinismus fehleranfällig macht. Zusätzlich gibt es neue Arten von Fehlern, wie z.B. Wettläufe, Verklemmungen oder Reihenfolgeverletzung. Diese Fehler sind wegen der großen Anzahl von möglichen Verschränkungen schwer zu finden.
Dynamische Analyseansätze führen das Programm aus und untersuchen die beobachtete Ausführung. Dynamische Analyse ist präzise, da sie ein ... mehr

Abstract (englisch):
The unstoppable popularity of multicore chips has made concurrent programming ubiquitous. Parallel programming is difficult; multiple control flows and non-determinism make the development error-prone. Additionally, it introduces a new set of errors such as data races, deadlocks, or order violations. These errors are difficult to find due to the large number of possible interleavings in a parallel program.
Dynamic analysis techniques execute a program and perform some checks on the observed execution. Dynamic analysis is precise, as it relates to an actual execution w ... mehr


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Jahr 2017
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000070459
URN: urn:nbn:de:swb:90-704597
KITopen ID: 1000070459
Verlag Karlsruhe
Umfang XV, 178 S.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdatum 04.05.2017
Referent/Betreuer Prof. W. F. Tichy
Lizenz CC BY-NC-ND 4.0: Creative Commons Namensnennung – Nicht kommerziell – Keine Bearbeitungen 4.0 International
Schlagworte multithreading, concurrency, data race, deadlock, testing
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page