unsigned int rand_seed = (unsigned int)id + 1;
// Wait for all the worker threads to be ready.
- __sync_fetch_and_add(&wait_, -1);
+ (void)__sync_fetch_and_add(&wait_, -1);
do {} while (wait_);
int i;
}
int main (int argc, char **argv) {
- //lwt_set_trace_level("m0r0");
+ lwt_set_trace_level("m3r3");
int num_threads = 2;
if (argc == 2)