Seminar za teorijsko racunarstvo 16.06.2008
Matko Botincan
U ponedjeljak 16. lipnja 2008. s pocetkom u 15:30h (u sobi 109)
Paola Glavan s Fakulteta strojarstva i brodogradnje odrzat ce
predavanje na Seminaru za teorijsko racunarstvo pod naslovom:
"ASM model memorijskog modela Jave"
Sazetak:
U ovom seminaru bit će opisana matematički precizna specifikacija
memorijskog
modela Jave (JMM-a) i diskutirana interpretacija JMM-a u kontekstu
strojeva s apstraktnim stanjima (ASM-a).
Osnovna ideja specifikacije je da svaka nit višenitnog Java programa
predstavlja obični interaktivni small-step ASM algoritam, a sam Java program
distribuirani obični interaktivni small-step ASM. Budući da JMM
predstavlja relaksirani memorijski model, ovakvi ASM-ovi manifestiraju
ponašanje koje je nemoguće opaziti u sekvencijalno konzistentnom slučaju.
Poslijedica specifikacije je i jednostavna klasifikacija i definicija
memorijskih modela:
sekvencijalno konzistentni, happens-before memorijski modeli i
memorijski model Jave.
Literatura:
M. Botinčan, P. Glavan, D. Runje: Towards Distributed Algorithms: A Case
Study of the Java Memory Model, The 14th International Workshop of ASM,
Grimstad, Norway 2007.
M. Botinčan, P. Glavan, D. Runje: An ASM-based Approach to Modeling
Memory Models, submitted to JUCS, 2007.
Pozivaju se svi clanovi seminara kao i ostali zainteresirani da
prisustvuju ovom predavanju.
Lijepi pozdrav,
Matko Botincan