fixed random seed for deterministic benchmark results

halo_exchange/main.c

@@ -31,7 +31,7 @@ int main(int argc, char *argv[])
    MPI_Comm_rank(MPI_COMM_WORLD, &mpi_rank);
 
    // initialize random number generator
-   srand((mpi_rank + 17) * (int)time(NULL));
+   srand(mpi_rank + 17); // using fixed seed for deterministic benchmark results
 
    conf_t configuration;
    conf_init(&configuration);