relacy
relacy copied to clipboard
dvyukov
Automatically exported from code.google.com/p/relacy
Hi Дмитрий, Thank you for such tool and your efforts, really nice... However I'm not able to compile any of the examples. The invoking `make all` or `g++ -I. test1.cpp`...
I've been testing my data structures for correctness with relacy, and found an odd behavior where `atomic.exchange(..., rl::memory_order_relaxed)` appears to be stronger than expected. I then checked with real hardware...
@dvyukov What do you think the scheduler based on memory snapshots can be useful? https://github.com/dorooleg/relacy/tree/scheduler-based-on-memory-snapshots I see several uses of this approach: 1. Acceleration of planning work. It is important...
1. Added ability to set threads in runtime 2. Using CMake for examples and tests 3. Fixed warnings for clang compiler @dvyukov, what do you think is better to create...
``` struct data_race_test : rl::test_suite{ rl::atomic ff; rl::atomic nexec; void before(){ nexec($) = 0; ff($) = 0; } void thread(unsigned id){ if(id == 0){ // Thread 0 if(ff($)==0){ // 1....
Due to forward declarations and the structure of std includes I had compiler warning for redeclaring some atomic structures. Here is a possible solution using defines and an internal namespace...
