Pony Actor/OO with Deny Capabilities

Deny Capabilities for Safe, Fast Actors.
Combining the actor-model with shared memory for per- formance is efficient but can introduce data-races. Existing approaches to static data-race freedom are based on unique- ness and immutability , but lack flexibility and high perform- ance implementations. Our approach, based on deny prop- erties , allows reading, writing and traversing unique refer- ences, introduces a new form of write uniqueness , and guar- antees atomic behaviours .

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.


The lack of author names in the paper makes me think that this version has been prepared for double-blind reviewing and may have been submitted to a conference. Thus I am not sure it is wise to advertise it on LtU, unfortunately.

It's referenced from the

It's referenced from the main ponylang.org page