Artikel in Tagungsband INPROC-2010-59

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)
KeywordsSoftware 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
Eingabedatum30. Juni 2010
   Publ. Institut   Publ. Informatik