Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 322235

Distributed Algorithms: A Case Study of the Java Memory Model


Botinčan, Matko; Glavan, Paola; Runje, Davor
Distributed Algorithms: A Case Study of the Java Memory Model // Proceedings of the ASM'07 - The 14th International ASM Workshop / Andreas Prinz (ur.).
Grimstad, Norway: Agder University College, Faculty of Engineering and Science, ICT Department, 2007. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 322235 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Distributed Algorithms: A Case Study of the Java Memory Model

Autori
Botinčan, Matko ; Glavan, Paola ; Runje, Davor

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the ASM'07 - The 14th International ASM Workshop / Andreas Prinz - Grimstad, Norway : Agder University College, Faculty of Engineering and Science, ICT Department, 2007

ISBN
978-82-7117-627-3

Skup
The 14th International ASM Workshop

Mjesto i datum
Grimstad, Norway, 07-09.06.2007,

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Java memory model; Distributed algorithms; Abstract state machines

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA


Projekti:
037-0362980-2774 - Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima (Manger, Robert, MZOS ) ( CroRIS)
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Fakultet strojarstva i brodogradnje, Zagreb

Profili:

Avatar Url Matko Botinčan (autor)

Avatar Url Paola Glavan (autor)

Citiraj ovu publikaciju:

Botinčan, Matko; Glavan, Paola; Runje, Davor
Distributed Algorithms: A Case Study of the Java Memory Model // Proceedings of the ASM'07 - The 14th International ASM Workshop / Andreas Prinz (ur.).
Grimstad, Norway: Agder University College, Faculty of Engineering and Science, ICT Department, 2007. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Botinčan, M., Glavan, P. & Runje, D. (2007) Distributed Algorithms: A Case Study of the Java Memory Model. U: Andreas Prinz (ur.)Proceedings of the ASM'07 - The 14th International ASM Workshop.
@article{article, author = {Botin\v{c}an, Matko and Glavan, Paola and Runje, Davor}, year = {2007}, keywords = {Java memory model, Distributed algorithms, Abstract state machines}, isbn = {978-82-7117-627-3}, title = {Distributed Algorithms: A Case Study of the Java Memory Model}, keyword = {Java memory model, Distributed algorithms, Abstract state machines}, publisher = {Agder University College, Faculty of Engineering and Science, ICT Department}, publisherplace = {Grimstad, Norway} }
@article{article, author = {Botin\v{c}an, Matko and Glavan, Paola and Runje, Davor}, year = {2007}, keywords = {Java memory model, Distributed algorithms, Abstract state machines}, isbn = {978-82-7117-627-3}, title = {Distributed Algorithms: A Case Study of the Java Memory Model}, keyword = {Java memory model, Distributed algorithms, Abstract state machines}, publisher = {Agder University College, Faculty of Engineering and Science, ICT Department}, publisherplace = {Grimstad, Norway} }




Contrast
Increase Font
Decrease Font
Dyslexic Font