Model Checking Task Parallel Programs Using Gradual Permissions (N)

Habanero is a task parallel programming model that provides correctness guarantees to the programmer. Even so, programs may contain data races that lead to non-determinism, which complicates debugging and verification. This paper presents a sound algorithm based on permission regions to prove data r...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) S. 535 - 540
Hauptverfasser:	Mercer, Eric G., Anderson, Peter, Vrvilo, Nick, Sarkar, Vivek
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.11.2015
Schlagworte:	Data models Data race deadlock Habanero Java Java Pathfinder Model checking Schedules Synchronization System recovery task parallel languages Writing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!