Logo des Repositoriums

Auflistung nach Autor:in "Raza, Aoun"

1 - 2 von 2
  • Zeitschriftenartikel
    RaceVis: Ein Werkzeug zur Visualisierung von Data Races
    (Softwaretechnik-Trends Band 30, Heft 2, 2010) Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun
    Statische Programmanalyse zur Erkennung von Data Races ist ein wichtiges Werkzeug zur Sicherstellung der Korrektheit von nebenläufigen Programmen in Entwicklung und Wartung. Der Einsatz statischer Analyse lässt jedoch eine Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt.
  • Zeitschriftenartikel
    Thinking Beyond Race Conditions
    (Softwaretechnik-Trends Band 30, Heft 2, 2010) Raza, Aoun
    Multi-threaded parallel programs perform accesses to shared variables, which require application of a synchronization strategy. Absence of synchronization among threads may lead to error situations, such as data races. Data races, which involve concurrent accesses to a single shared variable, are categorized as low-level. Synchronization strategies to alleviate lowlevel data races do not guarantee freedom from data races on a higher-level of abstraction. In this paper, we discuss some scenarios where accesses to a group of variables may result in data races. Further, we discuss a method to statically detect such situations and describe its integration into Bauhaus tool suite.