loom

Concurrency permutation testing tool for Rust. (by tokio-rs)

Loom Alternatives

Similar projects and alternatives to loom

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better loom alternative or higher similarity.

loom reviews and mentions

Posts with mentions or reviews of loom. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-08-17.
  • Turmoil, a framework for developing and testing distributed systems
    4 projects | news.ycombinator.com | 17 Aug 2023
  • An Introduction to Lockless Algorithms
    3 projects | news.ycombinator.com | 24 Apr 2023
    > Mutexes are very cheap in the uncontended case

    It was a while ago I was deep into this mess so forgive any ignorance–but–iirc the thread-mutex dogma[1] has many pitfalls despite being so widely used. Primarily they’re easy to misuse (deadlocks, holding a lock across a suspend point), and have unpredictable performance because they span so far into compiler, OS and CPU territory (instruction reordering, cache line invalidation, mode switches etc). Also on Arm it’s unclear if mutices are as cheap because of the relaxed memory order(?). Finally code with mutices are hard to test exhaustively, and are prone to heisenbugs.

    Now, many if not most of the above apply to anything with atomics, so lock-free/wait-free won’t help either. There’s a reason why a lot of concurrency is ~phd level on the theoretical side, as well as deeply coupled with the gritty realities of hardware/compilers/os on the engineering side.

    That said, I still think there’s room for a slightly expanded concurrency toolbox for mortals. For instance, a well implemented concurrent queue can be a significant improvement for many workflows, perhaps even with native OS support (io_uring style)?. Another exciting example is concurrency permutation test frameworks[2] for atomics that reorder operations in order to synthetically trigger rare logical race conditions. I’ve also personally had great experience with the Golang race detector. I hope we see some convergence on some of this stuff within a few years. Concurrency is still incredibly hard to get right.

    [1]: I say this only because CS degrees has preached mutices to as the silver bullet for decades.

    [2]: https://github.com/tokio-rs/loom

  • Should atomics be unsafe?
    4 projects | /r/rust | 18 Feb 2023
    Of course atomics are absolutely essential for some of the libraries we take for granted, such as Arc and Tokio. But if you start reading the code and comments and issues and PRs around code like that, you'll see how much work it took to mature them to the point we can now rely on them. That's why tools like Loom exist.
  • Best tool to find deadlocks (in async code)
    2 projects | /r/rust | 22 Sep 2022
    loom and shuttle can help you narrow down the problem.
  • Does Rust not need extra linting and sanitizing tools like C++?
    11 projects | /r/rust | 28 Aug 2022
    Unless you are writing unsafe code, you generally don't need to use sanitizers. If you do write unsafe code, checking it with a sanitizer would be a great idea. Two most useful tools here I think are miri and loom.
  • The Deadlock Empire
    2 projects | news.ycombinator.com | 3 Dec 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/introducing-rr-chaos-mo....

  • What could Go wrong with a mutex? (A Go profiling story)
    2 projects | news.ycombinator.com | 3 Nov 2021
    There is Loom[1] (part of the Tokio project) for exhaustively testing multithreaded code. Though as far as I can tell it is designed for debugging threads, not async tasks.

    [1] https://github.com/tokio-rs/loom

  • Cooptex - Deadlock-free Mutexes
    2 projects | /r/rust | 29 Oct 2021
    That tool seems similar to https://github.com/tokio-rs/loom, insofar as detecting potential locking errors. These are useful during development, but could still miss production cases (as dev never perfectly matches production). This crate is meant to not have to worry about possibly deadlocking.
  • A bug that doesn’t exist on x86: Exploiting an ARM-only race condition
    6 projects | news.ycombinator.com | 25 Oct 2021
    Rust doesn't catch memory ordering errors, which can result in behavioral bugs in safe Rust and data races and memory unsafety in unsafe Rust. But Loom is an excellent tool for catching ordering errors, though its UnsafeCell API differs 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).
  • Multicore OCaml: April 2021
    6 projects | news.ycombinator.com | 13 May 2021
  • A note from our sponsor - WorkOS
    workos.com | 25 Apr 2024
    The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →

Stats

Basic loom repo stats
14
1,891
6.8
1 day ago

tokio-rs/loom is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of loom is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com