Oxide and Friends
Crates We Love
Eliza Weisman
But rather than actually being like you're spawning a real thread or you're just creating a real single word that you're doing atomic compare and swap operations on, instead what they do is they deterministically simulate all of the potential interleavings of concurrent operations that are permitted by Rust's memory model or the C++ memory model which Rust inherits.
0
💬
0
Comments
Log in to comment.
There are no comments yet.