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...

Celý popis

Podrobná bibliografie

Vydáno v:	2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) s. 535 - 540
Hlavní autoři:	Mercer, Eric G., Anderson, Peter, Vrvilo, Nick, Sarkar, Vivek
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.11.2015
Témata:	Data models Data race deadlock Habanero Java Java Pathfinder Model checking Schedules Synchronization System recovery task parallel languages Writing
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!