Synchronization as a Special Case of Access Control | Zendy

Franz Puntigam | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Synchronization as a Special Case of Access Control

Author(s) -

Franz Puntigam

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.06.007

Subject(s) - computer science , synchronization (alternating current) , compiler , concurrency , programming language , distributed computing , access control , concurrency control , code (set theory) , variable (mathematics) , operating system , computer network , mathematics , mathematical analysis , channel (broadcasting) , database transaction , set (abstract data type)

ynchronization ensures exclusive shared-variable access at runtime, and static access control mechanisms give similar guarantees at compilation time. Usually we treat these language concepts as separate. In this work we propose to integrate synchronization into access control in a Java-like language: Shared-variable access depends on the availability of tokens (as a form of access control), and the compiler generates code for locking to gain the needed tokens (synchronization). We get more freedom in expressing synchronization at appropriate points in a program and weaker influence of concurrency on the program structure

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research