Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual
Wed 20 Oct 2021 22:05 - 22:20 at Zurich C - Onward! Paper Session 2 Chair(s): Hidehiko Masuhara
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-race freedom by design. To enforce data-race freedom, these languages either deep copy objects during actor (thread) communication or proxy back to their owning thread. We present Dala, a simple programming model that ensures data-race freedom while supporting efficient inter-thread communication. Dala is a dynamic, concurrent, capability-based language that relies on three core capabilities: immutable values can be shared freely; isolated mutable objects can be transferred between threads but not aliased; local objects can be aliased within their owning thread but not dereferenced by other threads. Objects with capabilities can co-exist with unsafe objects, that are unchecked and may suffer data races, without compromising the safety of safe objects. We present a formal model of Dala, prove data race-freedom and state and prove a dynamic gradual guarantee. These theorems guarantee data race-freedom when using safe capabilities and show that the addition of capabilities is semantics preserving modulo permission and cast errors.
Wed 20 OctDisplayed time zone: Central Time (US & Canada) change
13:50 - 15:10 | Onward! Paper Session 2Onward! Papers at Zurich C +8h Chair(s): Christophe Scholliers Universiteit Gent, Belgium | ||
13:50 15mTalk | Kotlin Coroutines: Design and ImplementationVirtual Onward! Papers Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains DOI | ||
14:05 15mTalk | Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual Onward! Papers Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden DOI | ||
14:20 15mTalk | Motivating Complexity Understanding by Profiling Energy UsageVirtual Onward! Papers Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay DOI | ||
14:35 15mTalk | SkyQuery: An Aerial Drone Video Sensing PlatformVirtual Onward! Papers Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology DOI | ||
14:50 20mLive Q&A | Discussion, Questions and Answers Onward! Papers |
21:50 - 23:10 | Onward! Paper Session 2Onward! Papers at Zurich C Chair(s): Hidehiko Masuhara Tokyo Institute of Technology | ||
21:50 15mTalk | Kotlin Coroutines: Design and ImplementationVirtual Onward! Papers Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains DOI | ||
22:05 15mTalk | Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual Onward! Papers Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden DOI | ||
22:20 15mTalk | Motivating Complexity Understanding by Profiling Energy UsageVirtual Onward! Papers Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay DOI | ||
22:35 15mTalk | SkyQuery: An Aerial Drone Video Sensing PlatformVirtual Onward! Papers Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology DOI | ||
22:50 20mLive Q&A | Discussion, Questions and Answers Onward! Papers |