Oxide and Friends
Crates We Love
Eliza Weisman
And what Loom is, is a model checker for concurrent Rust programs. And the way that it works is it gives you sort of a set of all of the primitives in standard thread, standard sync atomics, and standard sync mutex, and so on, and a sort of simulated unsafe cell. And the way these things work is that they have basically the same API as the standard library functions,
0
💬
0
Comments
Log in to comment.
There are no comments yet.