Hacker GitHub

← All repos

awslabs/shuttle

View on GitHub ↗ ★ 1,113 Rust

Shuttle is a library for testing concurrent Rust code

8 mentions on Hacker News by 4 people: 0 stories, 8 comments · first 2021-04-06 · latest 2025-05-15

Mentions per year 8 mentions · busiest year 2024 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …really want to test your actual implementation, not a model of it. For this you want something like https://github.com/awslabs/shuttle (for Rust), or https://github.com/cmu-pasta/fray (for Java). Or use something custom.
    comment by geertj · 2025-05-15 · in The current state of TLA⁺ development
  2. …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
  3. …in Rust, for really robust concurrency testing, I cannot recommend enough the AWS Shuttle library ( https://github.com/awslabs/shuttle ) which can find insanely complicated race conditions. What the Shuttle library is doing is basically…
    comment by gamegoblin · 2024-07-11 · in Solving Concurrency Bugs Using Schedules and Imagination
  4. …[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
  5. …said, for really robust concurrency testing, I cannot recommend enough the AWS Shuttle library ( https://github.com/awslabs/shuttle ) which can find insanely complicated race conditions. I wrote a little tutorial on it here:…
    comment by gamegoblin · 2024-07-04 · in The sad state of property-based testing libraries
  6. …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.
    comment by gamegoblin · 2023-07-04 · in FoundationDB: A Distributed Key-Value Store
  7. …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…
    comment by gamegoblin · 2023-01-07 · in P Language: a state machine-based programming language (2021)
  8. …exploration, which enables massively distributed testing of really complicated stuff. [1] https://github.com/awslabs/shuttle
    comment by gamegoblin · 2021-04-06 · in Eliminating Data Races in Firefox