-
- //set task category
- task->category = xbt_strdup (category);
- XBT_DEBUG("MSG task %p(%s), category %s", task, task->name, task->category);
-}
-
-/* MSG_task_create related function*/
-void TRACE_msg_task_create(msg_task_t task)
-{
- static std::atomic_ullong counter{0};
- task->counter = counter++;
- task->category = nullptr;
-
- if(MC_is_active())
- MC_ignore_heap(&(task->counter), sizeof(task->counter));
-
- XBT_DEBUG("CREATE %p, %lld", task, task->counter);
-}
-
-/* MSG_task_execute related functions */
-void TRACE_msg_task_execute_start(msg_task_t task)
-{
- XBT_DEBUG("EXEC,in %p, %lld, %s", task, task->counter, task->category);
-
- if (TRACE_msg_process_is_enabled()){
- int len = INSTR_DEFAULT_STR_SIZE;
- char str[INSTR_DEFAULT_STR_SIZE];
-
- container_t process_container = PJ_container_get (instr_process_id(MSG_process_self(), str, len));
- type_t type = PJ_type_get ("MSG_PROCESS_STATE", process_container->type);
- val_t value = PJ_value_get ("task_execute", type);
- new PushStateEvent (MSG_get_clock(), process_container, type, value);
- }
-}
-
-void TRACE_msg_task_execute_end(msg_task_t task)
-{
- XBT_DEBUG("EXEC,out %p, %lld, %s", task, task->counter, task->category);
-
- if (TRACE_msg_process_is_enabled()){
- int len = INSTR_DEFAULT_STR_SIZE;
- char str[INSTR_DEFAULT_STR_SIZE];
-
- container_t process_container = PJ_container_get (instr_process_id(MSG_process_self(), str, len));
- type_t type = PJ_type_get ("MSG_PROCESS_STATE", process_container->type);
- new PopStateEvent (MSG_get_clock(), process_container, type);
- }
-}
-
-/* MSG_task_destroy related functions */
-void TRACE_msg_task_destroy(msg_task_t task)
-{
- XBT_DEBUG("DESTROY %p, %lld, %s", task, task->counter, task->category);
-
- //free category
- xbt_free(task->category);
- task->category = nullptr;