An ASM-based Approach to Modeling Memory Models

Uložené v:
Podrobná bibliografia
Názov: An ASM-based Approach to Modeling Memory Models
Autori: Matko Botinčan, Paola Glavan, Davor Runje
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Zdroj: http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf.
Zbierka: CiteSeerX
Predmety: 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 súboru: application/pdf
Jazyk: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067
Dostupnosť: 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.
Prístupové číslo: edsbas.810B1AD7
Databáza: BASE
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.