ocaml-multicore / ocaml-tsan

Race detection in OCaml using the ThreadSanitizer runtime analysis.

ocaml-multicore/ocaml-tsan Issues

SIGINT masking and custom handling crashes with --enable-tsan on x86 macOS
Closed a year ago8
Dune fails to build with lock-order inversion reports and SEGV
Closed a year ago3
cannot find /usr/lib64/libtsan.so.2.0.0
Closed a year ago4
Test `lib-systhreads/boundscheck` spins forever with tsan
Closed a year ago9
C/C++ TSan has a fixed-size shadow stack, causing crashes
Closed a year ago1
Failing libunwind test
Closed a year ago1
String initialization is instrumented, leading to false positives
Updated a year ago
Building with clang causes the testsuite to hang forever
Closed a year ago2
uucp and uri take an awful lot of RAM to build on 5.0.0+tsan
Updated a year ago
Treat accesses to volatile values as relaxed atomics
Updated a year ago3
Spurious race reports from the runtime when repeatedly spawning and joining domains
Updated a year ago
Some compiler tests fail when run with TSan instrumentation
Closed a year ago3
Segfault while building ocamlopt.opt when instrumentation is forcefully enabled
Closed 2 years ago1
macOS CI fails because of unsupported GCC flag
Closed 2 years ago1