sprintf(task_name,"%s_wait", process_name);
DEBUG1("put on %s", task_name);
MSG_task_send(MSG_task_create("waiter",0,0,NULL),task_name);
}
MSG_process_set_data(MSG_process_self(), (void*)counters);
sprintf(task_name,"%s_wait", process_name);
DEBUG1("put on %s", task_name);
MSG_task_send(MSG_task_create("waiter",0,0,NULL),task_name);
}
MSG_process_set_data(MSG_process_self(), (void*)counters);