[Zurück]

F. Puntigam:
"Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition";
Vortrag: 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05), Glasgow, UK; 26.07.2005; in: "2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05)", (2005), 5 S.

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.

http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936371

http://www.complang.tuwien.ac.at/franz/papers/Punt05b.pdf