The process_lock crate 0.1.0 for Rust allows data races in unlock.
In the anode crate 0.1.0 for Rust, data races can occur in unlock in SpinLock.