int d = wd->id;
int iters = 10000;
- SYNC_ADD(wd->wait, -1);
+ (void)SYNC_ADD(wd->wait, -1);
do { } while (*wd->wait); // wait for all workers to be ready
map_key_t key;
}
int main (void) {
+ lwt_set_trace_level("H3m3l2t0");
- lwt_set_trace_level("l3");
-
- static const map_impl_t *map_types[] = { &ll_map_impl, &sl_map_impl, &ht_map_impl };
+ static const map_impl_t *map_types[] = { &MAP_IMPL_LL, &MAP_IMPL_SL, &MAP_IMPL_HT };
for (int i = 0; i < sizeof(map_types)/sizeof(*map_types); ++i) {
map_type_ = map_types[i];