SPLASH 2015 (series) / Tutorials /
Concurrency in Rust: Data race safety with zero cost abstractions
Fri 30 Oct 2015 15:30 - 17:00 at Edenburg - Tutorial 10
Rust is a systems programming language. It promises memory safety without garbage collection, and race-free concurrency with neither a runtime nor having a blessed concurrency system built in to the language. In this tutorial, we will show how the fundamentals of the language and type system allow libraries to safely provide a range of concurrency models. Whether you choose message passing, shared state with locks, or lock-free concurrency, Rust ensures you’ll never have a data race.