View in EDS

Formalization of the Java Memory Model

Saved in:

Bibliographic Details
Title:	Formalization of the Java Memory Model
Authors:	Glavan, Paola
Publisher Information:	2009.
Publication Year:	2009
Subject Terms:	DASM, formalization, partial orders, complexity results for verification problem, ASM, Java memory model
Description:	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.
Document Type:	Doctoral thesis
Language:	English
Access URL:	https://www.bib.irb.hr/402749
Accession Number:	edsair.dedup.wf.002..3d1ae22c91d71c0afdf5bd6bfed13cde
Database:	OpenAIRE

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