Deny capabilities for safe, fast actors

@article{Clebsch2015DenyCF,
  title={Deny capabilities for safe, fast actors},
  author={S. Clebsch and S. Drossopoulou and Sebastian Blessing and Andy McNeil},
  journal={Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
  year={2015}
}
  • S. Clebsch, S. Drossopoulou, +1 author Andy McNeil
  • Published 2015
  • Computer Science
  • Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Abstract 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. 
92 Citations
Implementing Safe Sharing Features for Encore
  • 2
  • PDF
Towards Gradual Checking of Reference Capabilities
  • PDF
Towards Gradual Checking of Reference Capabilities Work in Progress
Correctness of a Concurrent Object Collector for Actor Languages
  • 4
  • PDF
Flexible recovery of uniqueness and immutability
  • 4
  • PDF
Reference Capabilities for Concurrency Control
  • 35
  • PDF
Tracing and Preventing Sharing and Mutation
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-8 OF 8 REFERENCES
Minimal Ownership for Active Objects
  • 73
  • Highly Influential
  • PDF
Uniqueness and reference immutability for safe parallelism
  • 106
  • Highly Influential
  • PDF
Kilim: Isolation-Typed Actors for Java
  • 234
  • Highly Influential
Capabilities for Uniqueness and Borrowing
  • 107
  • Highly Influential
  • PDF
The rust language
  • 171
  • Highly Influential
A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard
  • 2,243
  • Highly Influential
  • PDF
Concurrent programming in ERLANG
  • 883
  • Highly Influential
  • PDF
Protection. ACM SIGOPS Operating Systems Review
  • Protection. ACM SIGOPS Operating Systems Review
  • 1974