aoli-al

5 ms·

31.
by aoli-al 2y ago
AFAIK, Antithesis uses a hypervisor to achieve deterministic execution. This can be less effective because the hypervisor does not have language semantics and faces a larger search space. You may check Figures 5 and 6 in our technical repor
32.
by aoli-al 2y ago
Using Fray does not require knowledge about "deterministic testing" or "controlled concurrency." This is one of its goals: developers write normal concurrency tests, and Fray controls the execution behind the scenes. In
33.
by aoli-al 2y ago
Fray does not know if a program is free of data races. Even if there are data races in a program, Fray can still find bugs, but this violates the soundness guarantee, so Fray may miss data race bugs.
34.
by aoli-al 2y ago
This looks super cool! It seems that all controlled threads are wrapped with `InterceptibleThread` in the Cassandra simulator. Does this work for ThreadPools (e.g., ForkJoinPool) as well? We had a hard time intercepting thread objects becau
35.
by aoli-al 2y ago
I’m the author of Fray, a concurrency testing framework for the JVM, and I’m excited to finally share what I’ve been building over the past few years! Fray[1] is a concurrency testing tool for Java that can help you find and debug tricky ra
36.
Concurrency bugs in Lucene: How to fix optimistic concurrency failures(elastic.co)
60 points by aoli-al 2y ago|15 comments
37.
Show HN: Fray: A controlled concurrency testing framework for the JVM(github.com)
4 points by aoli-al 2y ago|1 comments