Talks and Poster Presentations (with Proceedings-Entry):
F. Puntigam:
"Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition";
Talk: 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05),
Glasgow, UK;
2005-07-26; in: "2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05)",
(2005),
5 pages.
English abstract:
Much work was done on distributed shared memory and consistent shared memory models. However, communication through shared memory (read after write) is a low-level language-concept - too low for many programming tasks if not protected by a type system. We propose static types to enforce proper synchronization of shared memory communication in concurrent and even some sequential cases. For component composition this approach (and other type-based techniques) can probably profit from support of certification by the operating system.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936371
Electronic version of the publication:
http://www.complang.tuwien.ac.at/franz/papers/Punt05b.pdf
Created from the Publication Database of the Vienna University of Technology.