Dynamic Region Ownership for Concurrency Safety
summary
Claims a runtime ownership model, Langfish, that enforces exclusive mutable access by grouping objects into regions and raising deterministic errors instead of permitting data races. Implements dynamic enforcement in a Python-like interpreter called Franken script, uses a right barrier that maintains a local reference count to track borrows and external uniqueness, supports object cycles, and reports a prototype design that integrates with PAP 703 / PEP 734 paths toward freethreaded Python.
AI-written summary · about
chapters (11)
- 0:00Langfish introduction
- 1:52Python concurrency today
- 3:39Sub-interpreter limits and GIL
- 4:43Langfish ownership model
- 6:29Langfish with locks
- 8:16Langfish design goals
- 10:48Langfish isolation
- 11:51Langfish write barrier
- 13:37FrankenScript future
- 15:04Langfish benefits summary
- 15:56Q&A
related talks
14mDala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
25mResponsive Parallelism with Synchronization
32mExploring The Design Space For Runtime Enforcement of Dynamic Capabilities
25mConcurrency-aware object-oriented programming with roles
19mConcurrent Mutation must go
01h 35mThinking Outside the Synchronisation Quadrant
01h 16mConcurrency Approaches: Past, Present, and Future
55m“A lock-free concurrency toolkit for deferred reclamation and optimistic speculation"