Releases: RWTH-HPC/RMARaceBench
Releases · RWTH-HPC/RMARaceBench
RMARaceBench 1.1.0
- Add new category 'misc' that adds test cases challenging for static tools
- Aliasing between buffers introduced in a function (interprocedural analysis required for detection)
- Deeply nested function calls (buffers still have to be attributed correctly by an analysis within the deeply nested function)
- Function pointers (difficult to determine statically which function is called)
- External function calls that generate aliases (here: memcpy)
- The 'misc' tests are currently only generated for MPI RMA.
- Use pointer variable in MPI RMA test case template (required for some 'misc' test cases)
RMARaceBench 1.0.3
- Add missing
unistd
header for sleep functions - MPI RMA: Fix wrong race categorization of MPI-atomic-disp-remote-no (was "yes", but should be "no")
- SHMEM: Avoid conflicting signal address use, fix wrong type of signal address
- SHMEM lock test: Add sleep to make race observable (locking order)
- GASPI: Fix missing / wrong synchronization in some GASPI test cases
- GASPI: Fix wrong name of some conflict test cases (name contained "load" instead of "store")
- GASPI: Remove unnecessary declearations in GASPI tests cases
- GASPI: Fix remote race in GASPI conflict test case
- GASPI: Fix wrong race lines for GASPI list access calls
- Update jinja2 dependency
RMARaceBench 1.0.2
- Update jinja2 dependency
RMARaceBench 1.0.1
- Fix wrong
MPI_Compare_and_swap
andMPI_Fetch_and_op
test cases which had a wrong target displacement of 1 and change it to 0. - Fix wrong race locations of
MPI_Compare_and_wrap
test cases. - Fix wrong target PE in some SHMEM test cases
RMARaceBench 1.0.0
Initial version of RMARaceBench