In EDS ansehen

Formalization of the Java Memory Model

Gespeichert in:

Bibliographische Detailangaben
Titel:	Formalization of the Java Memory Model
Autoren:	Glavan, Paola
Verlagsinformationen:	2009.
Publikationsjahr:	2009
Schlagwörter:	DASM, formalization, partial orders, complexity results for verification problem, ASM, Java memory model
Beschreibung:	The goal of this thesis is to give a mathematically precise specification of the Java memory model and discuss its interpretation in the ASM context. We have refactored the original specification in order to clearly stipulate how it conditions the behavior of the environment. We show how each thread in a multithreaded Java program can be seen as an ordinary interactive small-step algorithm, and, consequently, how the Java program gives rise to a distributed ordinary interactive small-step ASM.
Publikationsart:	Doctoral thesis
Sprache:	English
Zugangs-URL:	https://www.bib.irb.hr/402749
Dokumentencode:	edsair.dedup.wf.002..3d1ae22c91d71c0afdf5bd6bfed13cde
Datenbank:	OpenAIRE

Beschreibung
Abstract:	The goal of this thesis is to give a mathematically precise specification of the Java memory model and discuss its interpretation in the ASM context. We have refactored the original specification in order to clearly stipulate how it conditions the behavior of the environment. We show how each thread in a multithreaded Java program can be seen as an ordinary interactive small-step algorithm, and, consequently, how the Java program gives rise to a distributed ordinary interactive small-step ASM.