Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 456978

Verication of Causality Requirements in Java Memory Model is Undecidable


Botinčan, Matko; Glavan, Paola; Runje, Davor
Verication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009)
Berlin: Springer, 2010. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 456978 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Verication of Causality Requirements in Java Memory Model is Undecidable

Autori
Botinčan, Matko ; Glavan, Paola ; Runje, Davor

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009) / - Berlin : Springer, 2010

Skup
International Conference on Parallel Processing and Applied Mathematics (8 ; 2009)

Mjesto i datum
Wroclaw, Poljska, 13.-16.09.2009

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Java memory model; multithreading; verifcation

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA


Projekti:
037-0362980-2774 - Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima (Manger, Robert, MZOS ) ( POIROT)
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( POIROT)

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Profili:

Avatar Url Matko Botinčan (autor)

Avatar Url Paola Glavan (autor)


Citiraj ovu publikaciju:

Botinčan, Matko; Glavan, Paola; Runje, Davor
Verication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009)
Berlin: Springer, 2010. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Botinčan, M., Glavan, P. & Runje, D. (2010) Verication of Causality Requirements in Java Memory Model is Undecidable. U: Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009).
@article{article, author = {Botin\v{c}an, Matko and Glavan, Paola and Runje, Davor}, year = {2010}, keywords = {Java memory model, multithreading, verifcation}, title = {Verication of Causality Requirements in Java Memory Model is Undecidable}, keyword = {Java memory model, multithreading, verifcation}, publisher = {Springer}, publisherplace = {Wroclaw, Poljska} }
@article{article, author = {Botin\v{c}an, Matko and Glavan, Paola and Runje, Davor}, year = {2010}, keywords = {Java memory model, multithreading, verifcation}, title = {Verication of Causality Requirements in Java Memory Model is Undecidable}, keyword = {Java memory model, multithreading, verifcation}, publisher = {Springer}, publisherplace = {Wroclaw, Poljska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font