Combines different operations with different RMA sync modes to cover all possible conflict/sync variants for local concurrency problems / local buffer races.
Operations / Calls covered:
Buffer accesses: buffer read, buffer write
Local buffer write: MPI_Get, MPI_Rget
Local buffer read: MPI_Put, MPI_Rput, MPI_Accumulate, MPI_Raccumulate, MPI_Get_accumulate, MPI_Rget_accumulate, MPI_Fetch_and_op, MPI_Compare_and_swap (Note: MPI_Get_accumulate and others may also write results in another local buffer, but we only consider the reading accesses here.)
Currently missing compared to MBI (for LocalConcurrency):
Conflict between MPI RMA operation and (non-)blocking P2P, e.g. MPI_Get + MPI_Isend/Send on the same buffer
The conflicting access could be on a separate buffer or on the window itself (i.e., the window memory itself could be target of a local buffer access).
GlobalConcurrency test cases
Operations / Calls covered:
Buffer accesses: buffer read, buffer write
Local buffer read/write: MPI_Put / MPI_Get (we do not consider all other possibilities of local buffer accesses to avoid a test case explosion)
