An ASM-based Approach to Modeling Memory Models
Saved in:
| Title: | An ASM-based Approach to Modeling Memory Models |
|---|---|
| Authors: | Matko Botinčan, Paola Glavan, Davor Runje |
| Contributors: | The Pennsylvania State University CiteSeerX Archives |
| Source: | http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf. |
| Collection: | CiteSeerX |
| Subject Terms: | Key Words, Java memory model, distributed algorithms, abstract state machines Category, F.1.2, D.1.3 |
| Description: | The main goal of this paper is to provide a general framework for modeling memory models of multithreaded Java-like programming languages and discuss its interpretation in the ASM context. The framework is organized in such way that we can clearly stipulate how the memory model conditions the behavior of the environment. It is shown how each thread in a multithreaded Java-like program can be seen as an ordinary interactive small-step algorithm, and, consequently, how such Java-like program gives rise to a distributed ordinary interactive small-step ASM. We also propose a general definition of a particular kind of distributed ordinary interactive small-step ASMs and the a notion of a distributed run. Depending on the conditions on the environment imposed by the memory model, runs of such distributed ASMs may exhibit behavior that is impossible to be observed under commonly assumed sequentially consistent settings. |
| Document Type: | text |
| File Description: | application/pdf |
| Language: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067 |
| Availability: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067 http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: | edsbas.810B1AD7 |
| Database: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | The main goal of this paper is to provide a general framework for modeling memory models of multithreaded Java-like programming languages and discuss its interpretation in the ASM context. The framework is organized in such way that we can clearly stipulate how the memory model conditions the behavior of the environment. It is shown how each thread in a multithreaded Java-like program can be seen as an ordinary interactive small-step algorithm, and, consequently, how such Java-like program gives rise to a distributed ordinary interactive small-step ASM. We also propose a general definition of a particular kind of distributed ordinary interactive small-step ASMs and the a notion of a distributed run. Depending on the conditions on the environment imposed by the memory model, runs of such distributed ASMs may exhibit behavior that is impossible to be observed under commonly assumed sequentially consistent settings. |
|---|