shuttle

Shuttle is a library for testing concurrent Rust code (by awslabs)

Shuttle Alternatives

Similar projects and alternatives to shuttle

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

shuttle reviews and mentions

Posts with mentions or reviews of shuttle. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-07-03.
  • FoundationDB: A Distributed Key-Value Store
    13 projects | news.ycombinator.com | 3 Jul 2023
    This is what we did for our KV store at S3: https://www.amazon.science/publications/using-lightweight-fo...

    Using https://github.com/awslabs/shuttle which works on our real Rust code.

  • P Language
    3 projects | news.ycombinator.com | 6 Jan 2023
    They've also developed a library that plugs into their actual Rust code to verify it (rather than writing a secondary model in TLA+ or P, it's easier to verify the actual system source code).

    See https://github.com/awslabs/shuttle and a whitepaper at https://www.amazon.science/publications/using-lightweight-fo...

    Disclaimer: used to work at AWS and had some involvement in this stuff

  • 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.
  • Eliminating Data Races in Firefox
    3 projects | news.ycombinator.com | 6 Apr 2021
    Loom is really awesome, though it is focused on exhaustive testing, so not suitable for code that has a lot of possible interleavings (e.g. due to a ton of threads, or a large body of code).

    There is a new project out of AWS called Shuttle [1] which is like Loom, but it does random exploration instead of exhaustive exploration, which enables massively distributed testing of really complicated stuff.

    [1] https://github.com/awslabs/shuttle

  • A note from our sponsor - SaaSHub
    www.saashub.com | 2 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Stats

Basic shuttle repo stats
4
573
6.9
about 1 month ago

awslabs/shuttle is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of shuttle is Rust.


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