Record #292206 - GSI Repository

DFG project G:(GEPRIS)281466659

Trace-basierte dynamische Analyse von nebenläufigen Programmen

Coordinator	Professor Martin Sulzmann, Ph.D. ; Professor Dr. Peter Thiemann
Grant period	2015 -
Funding body	Deutsche Forschungsgemeinschaft
	DFG
Identifier	G:(GEPRIS)281466659

Note: Wir betrachten Algorithmen zur dynamischen Vorhersage von Data-Races und Deadlocks auf der Grundlage von Programmtraces. Solche Algorithmen können nicht gleichzeitig effizient, korrekt und vollständig sein. Unser Ziel ist die Entwicklung verifizierter Algorithmen, die schnell genug sind um auf große Programme angewendet werden zu können und gleichzeitig einen guten Kompromiss bezüglich Korrektheit und Vollständigkeit liefern. Unsere Algorithmen sollen möglichst lineare Laufzeit haben und dabei sowohl wenige falsch positive als auch wenige falsch negative Befunde aufweisen. Besonderes Augenmerk legen wir auf Algorithmen, welche eine der folgenden Eigenschaften haben: Garantiert keine falsch positiven Befunde; garantiert keine falsch negativen Befunde; keine falsch positiven Befunde unter Einschränkungen wie z.B. die Anzahl der Programm-Threads oder die Einhaltung von Locking Protokollen. Die formale Spezifikation unserer Algorithmen basiert auf Charakterisierungen von falsch positiven/negativen Befunden und Bedingungen, unter denen sie vermieden werden können. Ein weiterer Schwerpunkt liegt auf Analyseaspekten, die bisher vernachlässigt wurden: Neue Kombinationen von Analysemethoden basierend auf Happens-before Beziehungen und Lockset Ansätzen; Kommunikationsmuster, die über einfache Lock-Protokolle hinausgehen (z. B. gepufferte Kommunikation); Programmierunterstützung durch detaillierte Diagnose sowie Heuristiken zur Programmreparatur; sowie der Umgang mit möglicherweise ungenau aufgezeichneten Programmtraces.

Recent Publications

There are no publications

Record created 2023-01-31, last modified 2024-11-27

Similar records

Add to personal basket
Export as Author List with IDs BibTeX (UTF-8), EndNote XML, EndNote Text, RIS, MARC, Print MARC, MARCXML, DC,
Request correction
Submit fulltext

GSI Homepage \| GSI Library \| English Deutsch \| guest :: login GSI Repository
Search	Submit	Personalize Your alerts Your baskets Your searches	Help