An ASM-based Approach to Modeling Memory Models
Uloženo v:
| Název: | An ASM-based Approach to Modeling Memory Models |
|---|---|
| Autoři: | Matko Botinčan, Paola Glavan, Davor Runje |
| Přispěvatelé: | The Pennsylvania State University CiteSeerX Archives |
| Zdroj: | http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf. |
| Sbírka: | CiteSeerX |
| Témata: | Key Words, Java memory model, distributed algorithms, abstract state machines Category, F.1.2, D.1.3 |
| Popis: | 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. |
| Druh dokumentu: | text |
| Popis souboru: | application/pdf |
| Jazyk: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067 |
| Dostupnost: | 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. |
| Přístupové číslo: | edsbas.810B1AD7 |
| Databáze: | BASE |
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!