Deny capabilities for safe, fast actors

Combining the actor-model with shared memory for performance is efficient but can introduce data-races. Existing approaches to static data-race freedom are based on uniqueness and immutability, but lack flexibility and high performance implementations. Our approach, based on deny properties, allows reading, writing and traversing unique references, introduces a new form of write uniqueness, and guarantees atomic behaviours. Categories and Subject Descriptors D.3.2 [Programming Languages]: Language Classifications—Concurrent, distributed, and parallel languages Keywords actors; message passing; concurrency; type systems; capabilities

• Type: Journal
• Year: 2015
• Where: AGERE
• Authors: Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil
• Keywords: AGERE 2015