Dala: a simple capability-based dynamic language design for data race-freedom

Fernandez-Reyes, Kiko; Gariano, Isaac Oscar; Noble, James; Greenwood-Thessman, Erin; Homer, Michael; Wrigstad, Tobias

doi:10.1145/3486607.3486747

Cited by 3 publications

(1 citation statement)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, we hope this approach could inform (and be informed by) formal techniques for other "Rust-like" languages such as Pony [14], Encore [10], Deterministic Parallel Java [5], Obsidian [16], Dala [18], and Verona [11].…”

Section: Local Chainsmentioning

confidence: 99%

Rusty Links in Local Chains

Noble¹,

Mackay²,

Wrigstad³

2022

Preprint

Self Cite

View full text Add to dashboard Cite

Rust successfully applies ownership types to control memory allocation. This restricts the programs' topologies to the point where doubly-linked lists cannot be programmed in Safe Rust. We sketch how more flexible "local" ownership could be added to Rust, permitting multiple mutable references to objects, provided each reference is bounded by the object's lifetime. To maintain thread-safety, locally owned objects must remain thread-local; to maintain memory safety, local objects can be deallocated when their owner's lifetime expires.

show abstract

Section: Local Chainsmentioning

confidence: 99%

Rusty Links in Local Chains

Noble¹,

Mackay²,

Wrigstad³

2022

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

Encore: Coda

Castegren,

Wrigstad

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Reference Capabilities for Flexible Memory Management

Arvidsson,

Castegren,

Clebsch

et al. 2023

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

Verona is a concurrent object-oriented programming language that organises all the objects in a program into a forest of isolated regions. Memory is managed locally for each region, so programmers can control a program's memory use by adjusting objects' partition into regions, and by setting each region's memory management strategy. A thread can only mutate (allocate, deallocate) objects within one active region---its "window of mutability". Memory management costs are localised to the active region, ensuring overheads can be predicted and controlled. Moving the mutability window between regions is explicit, so code can be executed wherever it is required, yet programs remain in control of memory use. An ownership type system based on reference capabilities enforces region isolation, controlling aliasing within and between regions, yet supporting objects moving between regions and threads. Data accesses never need expensive atomic operations, and are always thread-safe.

show abstract

Dala: a simple capability-based dynamic language design for data race-freedom

Cited by 3 publications

References 54 publications

Rusty Links in Local Chains

Rusty Links in Local Chains

Encore: Coda

Reference Capabilities for Flexible Memory Management

Contact Info

Product

Resources

About