Seminar za teorijsko racunarstvo 01.06.2009

2 views

Skip to first unread message

Matko Botincan

unread,

May 25, 2009, 12:28:00 PM5/25/09

to seminar-za-teori...@googlegroups.com, lista...@math.hr, dinko.c...@ledo.hr, shumi...@gmail.com

Dragi kolege,

U ponedjeljak 01. lipnja 2009. s pocetkom u 15:00 h (u sobi 109) Paola
Glavan s Fakulteta strojarstva i brodogradnje odrzat ce predavanje na
poslijediplomskom Seminaru za teorijsko racunarstvo pod naslovom:

"Formalizacija Java Memorijskog Modela".

Sazetak:
Namjera seminara je da se matematicki precizno opiše memorijski model
Jave (JMM) i diskutira interpretacija JMMa u kontekstu strojeva s
apstraktnim stanjima (ASM). Refaktorizirana je originalna definicija JMM
(opisana u [1], [2], [3], [4] i [5]) s namjerom da se jasno istakne
uloga okoline u memorijskom modelu Jave. Pokazano je kako se svaka nit u
višenitnom Java programu moze promatrati kao obicni interaktivni
sekvencijalni algoritam, a Java program, poslijedicno, kao distribuirani
obicni interaktivni algoritam (DASM). Kako je memorijski model Jave
relaksiran, izvodenje DASMa moze potencijalno dovesti do ponašanja koja
nisu sekvencijalno konzistentna. Nadamo se da ce uvedeni pojmovi hoda
(run) i okoline(environment) biti korisni u daljem razvoju ASM teorije
algoritama.

Diskutirati cemo razlicite memorijske modele Jave (sekvencijalno
konzistentni, happens-before, Java memorijski model i memorijska
koherencija) i pokazati njihov medusobni odnos. Takodjer, ispitati cemo
kojim klasama složenosti pripadaju problemi verifikacije za navedene
memorijske modele. Dokazati cemo i neka svojstva JMM: korektno
sinkronizirani programi se u JMM izvode samo sekvencijalno konzistentno,
JMM osigurava data-race-freedom za korektno sinkronizirane programe, te
JMM dozvoljava zamjenu susjednih programskih naredbi (reordering).

[1] Sarita V. Adve, Kourosh Gharachorloo. Shared Memory Consistency
Models: A Tutorial. IEEE Computer 29 (12), 1996, 66--76.
[2] Sarita V. Adve, Vijay S. Pai, Parthasarathy Ranganathan. Recent
Advances in Memory Consistency Models for Hardware Shared-Memory
Systems. Proceedings ofthe IEEE (special issue on distributed
shared-memory), 87 (3), 1999, 445--455.
[3] Jeremy Manson. The Java memory model. PhD thesis, University of
Maryland, College Park, 2004.
[4] Jeremy Manson, William Pugh, Sarita V. Adve. The Java memory model.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of
ProgrammingLanguages (POPL'05), p. 378--391. ACM Press, 2005.
[5] Jeremy Manson, William Pugh, Sarita V. Adve. The Java memory model
(expanded version). Submitted to ACM Transactions on Programming
Languages and Systems, 2007.

Pozivaju se svi clanovi seminara kao i ostali zainteresirani da
prisustvuju ovom predavanju.