Bibliograph. Daten | Keul, Steffen: Static Versioning of Global State for Race Condition Detection. In: Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik. Lecture Notes in Computer Science; 6106, S. 111-124, englisch. Springer Berlin Heidelberg, Juni 2010. ISBN: 978-3-642-13549-1; DOI: 10.1007/978-3-642-13550-7. Artikel in Tagungsband (Konferenz-Beitrag).
|
CR-Klassif. | D.1.3 (Concurrent Programming) F.3.2 (Semantics of Programming Languages)
|
Keywords | Software Reengineering; Concurrent Reliable Software; Statische Analyse |
Kurzfassung | The implementation of concurrent reliable software systems is very difficult. Race conditions on shared data can cause a program's memory state to become inconsistent and result in unpredictable behavior of the software. Much work has been published on analyses to identify access sites to shared data which do not conform to an accepted synchronization pattern. However, those algorithms usually cannot determine if a computation will use a consistent version of more than one shared data object. In this paper, we present a new static analysis algorithm to identify computations which can potentially load values that were stored independently of each other. These uses of global state are affected by race conditions and may yield undesired values during the execution of the program. We show applicability of an implementation of the analysis on several open-source systems.
|
Abteilung(en) | Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
|
Projekt(e) | Bauhaus
|
Eingabedatum | 30. Juni 2010 |
---|