Add C++ memory ordering spec tests

tokio-rs / loom

Concurrency permutation testing tool for Rust.

MIT License

2.14k stars 111 forks source link

Add C++ memory ordering spec tests #200

Closed jonhoo closed 3 years ago

jonhoo commented 3 years ago

https://en.cppreference.com/w/cpp/atomic/memory_order

jonhoo commented 3 years ago

The Relaxed test fails due to known limitations, but I figured it should be included for completeness.

The SeqCst test fails due to a bug that should be fixed, but I haven't had a chance to investigate yet. It's probably the same as https://github.com/tokio-rs/loom/issues/180.