reitzensteinm/temper
View on GitHub ↗ ★ 43 Rust
Deterministic simulation of concurrency and failure in distributed systems
5 mentions on Hacker News by 1 person: 0 stories, 5 comments · first 2024-05-09 · latest 2026-04-20
20082026
-
…liberty of adding you to LinkedIn - would love to grab a drink next time you're in the SF Bay area. https://github.com/reitzensteinm/temper
comment by reitzensteinm · 2026-04-20 · in What are skiplists good for? -
…similar to Loom, except it's more focused on extensively modeling the C++11/Rust memory model ( https://github.com/reitzensteinm/temper ). My experience is that fairly shallow random concurrent fuzzing yields the vast majority of all…
comment by reitzensteinm · 2026-02-17 · in Testing Postgres race conditions with synchronization barriers -
…suite on the internet (but I'm happy to be corrected). This is the file for Rust Atomics and Locks: https://github.com/reitzensteinm/temper/blob/main/memlog/tes... I didn't find any bugs in the examples, but with how good the book was, I…
comment by reitzensteinm · 2025-05-30 · in Atomics and Concurrency -
…isn't a half decade long project from an elite team that's already shipped a database. [1] https://github.com/reitzensteinm/temper/tree/main [2] https://github.com/reitzensteinm/temper/blob/main/memlog/tes... [3]…
comment by reitzensteinm · 2024-07-06 · in Properly testing concurrent data structures -
…Overflow and the C++ standard. I'd love to be pointed at something larger, if it exists. [2] [1] https://github.com/reitzensteinm/temper [2] https://github.com/reitzensteinm/temper/tree/main/memlog/tes...
comment by reitzensteinm · 2024-05-09 · in Temporal Fuzzing I: Memory Models (2021)