Re:Fuzzing is magic – Or how I found a panic in Rust's regex...
by geofft on Saturday April 01, 2017 @03:50PM
(#14013814)
Note that it's possible to use Rust's typesystem to build things that are deadlock-free and race-condition-free; see, for instance, https://aturon.github.io/blog/2015/08/27/epoch/ for an API for building lock-free data structures. The assistance you get from the Rust language is much better than the assistance you'd get from C or C++. (Rust has a lot of features other than memory safety!)
It's just that Rust doesn't consider it unsafe to build a design that permits deadlocks and race conditions.
It's just that Rust doesn't consider it unsafe to build a design that permits deadlocks and race conditions.