Distributed Algorithms: A Case Study of the Java Memory Model
Saved in:
| Title: | Distributed Algorithms: A Case Study of the Java Memory Model |
|---|---|
| Authors: | Glavan, Paola, Botinčan, Matko |
| Publisher Information: | 2007. |
| Publication Year: | 2007 |
| Subject Terms: | Abstract state machines, Distributed algorithms, Java memory model |
| Description: | The goal of this paper 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. Due to rather relaxed conditions on the environment imposed by the Java memory model, runs of such ASM may, however, exhibit behavior that is impossible to be observed in sequentially consistent settings. We hope that notions of run and environment capturing this kind of behavior will serve as a helpful insight for the theory of distributed algorithms developed so far. |
| Document Type: | Conference object |
| Access URL: | http://ikt.hia.no/asm07/ |
| Accession Number: | edsair.dris...01492..d9d5fe0f6254f6686a43842cb2e683ef |
| Database: | OpenAIRE |
Nájsť tento článok vo Web of Science Be the first to leave a comment!