tokio-rs/loom on Hacker News

For Rust we have Loom [0], but do not expect for it to work on your whole application. [0]: https://github.com/tokio-rs/loom

comment by newpavlov · 2026-04-03 · in Big-Endian Testing with QEMU

…to simulate the queue in Loom, which would be a very, very good idea. Loom is apparently this: https://github.com/tokio-rs/loom I've used tokio a bit in the past, but wasn't aware of that tool at all, looks really useful and probably I'm…

comment by embedding-shape · 2025-11-02 · in Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust

See Tokio's Loom as an example: https://github.com/tokio-rs/loom In development, you import Loom's mutex. In production, you import a regular mutex. This of course has zero overhead, but the simulation testing itself is usually quite slow.…

comment by reitzensteinm · 2025-08-05 · in Deterministic Simulation Testing in Rust: A Theater of State Machines

…lower than i.e. TLA+ and is not a proof but super useful as you check the actual implementation. https://github.com/tokio-rs/loom

comment by jeffreygoesto · 2025-05-30 · in Systems Correctness Practices at Amazon Web Services

…[1] or awslabs/shuttle [2]? IMO that would go a long way towards building trust in this impl. [1] https://github.com/tokio-rs/loom [2] https://github.com/awslabs/shuttle

comment by phlip9 · 2024-11-05 · in Show HN: Whirlwind – Async concurrent hashmap for Rust

…Kani https://model-checking.github.io/kani/ - I wonder if Servo could use it in this case? Or maybe https://github.com/tokio-rs/loom

comment by nextaccountic · 2024-08-14 · in Re-fixing Servo's event-loop

…were previously caught and fixed [3]. [0] https://github.com/kaymanb/todc/tree/main/todc-mem [1] https://github.com/tokio-rs/loom [2] https://github.com/awslabs/shuttle [3] https://github.com/kaymanb/todc/blob/0e2874a70ec8beed8fae773...

comment by kaymanb · 2024-07-06 · in Properly testing concurrent data structures

…[2] https://github.com/reitzensteinm/temper/blob/main/memlog/tes... [3] https://github.com/tokio-rs/loom [4] https://www.youtube.com/watch?v=4fFDFbi3toc [5] https://antithesis.com/

comment by reitzensteinm · 2024-07-06 · in Properly testing concurrent data structures

…tests both on x86 and ARM. It might be worth testing/forking the library to test on Loom ( https://github.com/tokio-rs/loom ), which can model atomic orderings and check for concurrency errors to some degree (though I last used it years…

comment by nyanpasu64 · 2024-02-29 · in A lock-free ring-buffer with contiguous reservations (2019)

Rust's tokio has a project called loom as well which can do permutation testing of async code: https://github.com/tokio-rs/loom

comment by bbatha · 2023-09-19 · in JDK 21 Release Notes

See Also: Loom ( https://github.com/tokio-rs/loom ), a concurrency permutation testing tool.

comment by Fiahil · 2023-08-17 · in Turmoil, a framework for developing and testing distributed systems

…I say this only because CS degrees has preached mutices to as the silver bullet for decades. [2]: https://github.com/tokio-rs/loom

comment by klabb3 · 2023-04-24 · in An introduction to lockless algorithms (2021)

https://github.com/tokio-rs/loom perhaps? It also models weak memory reordering, but takes some work to integrate into existing apps. For triggering race conditions in compiled binaries, you could try https://robert.ocallahan.org/2016/02/in…

comment by nyanpasu64 · 2021-12-03 · in The Deadlock Empire

…code. Though as far as I can tell it is designed for debugging threads, not async tasks. [1] https://github.com/tokio-rs/loom

comment by paavohtl · 2021-11-03 · in What could Go wrong with a mutex

…from std's (and worse yet, some people report Loom returns false positives/negatives in some cases: https://github.com/tokio-rs/loom/issues/180 , possibly https://github.com/tokio-rs/loom/issues/166 ).

comment by nyanpasu64 · 2021-10-26 · in A bug that doesn’t exist on x86: Exploiting an ARM-only race condition

Have i told you about our lord and savior Rust? Anyways, https://github.com/tokio-rs/loom is used by any serious library doing atomic ops/synchronization and it blew me away with how fast it can catch most bugs like this.

comment by Azsy · 2021-10-26 · in A bug that doesn’t exist on x86: Exploiting an ARM-only race condition

…"maximum thread switch count"), as well as modeling atomic/weak memory effects to some degree. [1]: https://github.com/tokio-rs/loom

comment by nyanpasu64 · 2021-07-11 · in No sane compiler would optimize atomics (2015)

▲ 2

Concurrency permutation testing tool for Rust

story by styluss · 2021-06-01 · 0 comments

…where you specify the ordering. [0] https://preshing.com/20120930/weak-vs-strong-memory-models/ [1] https://github.com/tokio-rs/loom

comment by troutwine · 2021-05-13 · in Multicore OCaml: April 2021

…a tool called Loom that helps with that, as a powerful complement to what ThreadSanitizer provides: https://github.com/tokio-rs/loom . You can think of Loom sort of like QuickCheck, except the permutations are all the possible thread…

comment by kibwen · 2021-04-06 · in Eliminating Data Races in Firefox

…semantics. The Tokio team needs an additional model checker to ensure no data race in Tokio: - https://github.com/tokio-rs/loom If you want to ensure no data races you need formal verification not a borrow checker, I've compiled my…

comment by mratsim · 2020-10-20 · in Nim 1.4

…with concurrency bugs (beyond memory safety) to write a model checker for Rust code called Loom https://github.com/tokio-rs/loom . Nethertheless this proves that Rust should grow beyond the fearless concurrency/borrow checker narrative…

comment by mratsim · 2020-06-22 · in Rust concurrency: the archetype of a message-passing bug

…story of concurrent code forward. On the Rust side, i feel like Loom has a lot of potential https://github.com/tokio-rs/loom and I'm keeping tabs on them.

comment by mratsim · 2020-06-22 · in Rust concurrency: the archetype of a message-passing bug

…[2]: https://en.wikipedia.org/wiki/Lamport%27s_bakery_algorithm [3]: https://github.com/tokio-rs/loom

comment by mratsim · 2020-06-22 · in Rust concurrency: the archetype of a message-passing bug