Searched refs:rand_ind (Results 1 – 1 of 1) sorted by relevance
281 int rand_ind = (rand() % (num_threads - i)) + i; in enqueue_threads_arr_rand_order() local283 scratch_space[i] = scratch_space[rand_ind]; in enqueue_threads_arr_rand_order()284 scratch_space[rand_ind] = tmp; in enqueue_threads_arr_rand_order()