SaaSHub helps you find the best software and product alternatives Learn more →
Shuttle Alternatives
Similar projects and alternatives to shuttle
-
oil
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
shuttle reviews and mentions
-
FoundationDB: A Distributed Key-Value Store
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
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)
loom and shuttle can help you narrow down the problem.
-
Eliminating Data Races in Firefox
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 | 31 May 2024
Stats
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