Now, ReMPI can also record and replay non-determinism in OpenMP (ReOMP)
- OpenMP clauses
- Critical Section (#omp critical)
- Reduction (#omp reduction)
- Master (#omp master)
- Single (#omp single)
- OpenMP runtime
- omp_set_lock() and omp_unset_lock()
- omp_set_nest_lock() and omp_unset_nest_lock()
- Atomic instructions
- Atomic load/store
- Atomic operations (cmpxchg and atomicrmw)
- Data-racy load/store instructions (If TSAN data-race report files are provided when compiling)
More details are in README.md