cmu-pasta/fray
View on GitHub ↗ ★ 498 Kotlin
A controlled concurrency testing framework for the JVM
7 mentions on Hacker News by 3 people: 2 stories, 5 comments · first 2025-02-18 · latest 2025-06-08
20082026
-
https://github.com/cmu-pasta/fray Is a concurrency testing framework for Java. It also does deterministic simulation.
comment by aoli-al · 2025-05-30 · in Systems Correctness Practices at Amazon Web Services -
…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 -
https://github.com/cmu-pasta/fray Fray is a controlled concurrency testing tool for the JVM that supports record and replay. It could be a perfect backend for codetracer. (I'm the author of Fray)
comment by aoli-al · 2025-03-06 · in Show HN: CodeTracer – A time-traveling debugger implemented in Nim and Rust -
…and running them under different thread inter-leavings can already reveal so many bugs. [1] [1]: https://github.com/cmu-pasta/fray/blob/main/docs/bugs.md
comment by aoli-al · 2025-02-22 · in Concurrency bugs in Lucene: How to fix optimistic concurrency failures -
…to hear your thoughts—feel free to ask me anything! And if you’re curious, give Fray a try. [1]: https://github.com/cmu-pasta/fray
comment by aoli-al · 2025-02-22 · in Concurrency bugs in Lucene: How to fix optimistic concurrency failures