Verication of Causality Requirements in Java Memory Model is Undecidable (CROSBI ID 560756)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Botinčan, Matko ; Glavan, Paola ; Runje, Davor
engleski
Verication of Causality Requirements in Java Memory Model is Undecidable
The purpose of the Java memory model is to formalize the behavior of the shared memory in multithreaded Java programs. The subtlest points of its formalization are causality requirements that serve to provide safety and security guarantees for incorrectly synchronized Java programs. In this paper, we consider the problem of verifying whether an execution of a multithreaded Java program satisfes these causality requirements and show that this problem is undecidable.
Java memory model; multithreading; verifcation
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
2010.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009)
Berlin: Springer
Podaci o skupu
Nepoznat skup
predavanje
29.02.1904-29.02.2096