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