- type = getType ("MSG_TASK_LINK");
- char key[INSTR_DEFAULT_STR_SIZE];
- snprintf (key, INSTR_DEFAULT_STR_SIZE, "%lld", task->counter);
- new_pajeEndLink (MSG_get_clock(), getRootContainer(), type, msg, "SR", key);
+ type = getType ("MSG_TASK_STATE");
+ new_pajePushState (MSG_get_clock(), msg, type, "created");
+
+ type = getType ("MSG_TASK_LINK");
+ char key[INSTR_DEFAULT_STR_SIZE];
+ snprintf (key, INSTR_DEFAULT_STR_SIZE, "%lld", task->counter);
+ new_pajeEndLink (MSG_get_clock(), getRootContainer(), type, msg, "SR", key);
+ }
+
+ if (TRACE_msg_process_is_enabled()){
+ container_t process_container = getContainer (MSG_process_self()->name);
+ type_t type = getType ("MSG_PROCESS_STATE");
+ new_pajePopState (MSG_get_clock(), process_container, type);
+
+ char key[INSTR_DEFAULT_STR_SIZE];
+ snprintf (key, INSTR_DEFAULT_STR_SIZE, "p%lld", task->counter);
+ type = getType ("MSG_PROCESS_TASK_LINK");
+ new_pajeEndLink(MSG_get_clock(), getRootContainer(), type, process_container, "SR", key);
+ }