Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Puntigam:
"Synchronization as a Special Case of Access Control";
Vortrag: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08),
Oslo, Norway;
07.06.2008; in: "Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software",
(2008),
S. 52
- 57.
Kurzfassung englisch:
Synchronization ensures exclusive access to shared variables at runtime, and unique-access control gives similar guarantees at compilation time. We propose to integrate synchronization into access control in a Java-like language: Synchronization is based on lockable shared variables accessible only in the presence of corresponding (partially unique) tokens. We get more freedom in expressing synchronization at appropriate points, and the influence of concurrency on the program structure becomes weaker.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.