+const char* xbt_procname(void) {
+ const char *res = NULL;
+ m_process_t process = MSG_process_self();
+ if ((process != NULL) && (process->simdata))
+ res = MSG_process_get_name(process);
+ if (res)
+ return res;
+ else
+ return "";
+}
+
+int gras_os_getpid(void) {
+ m_process_t process = MSG_process_self();
+ if ((process != NULL) && (process->simdata))
+ return MSG_process_get_PID(MSG_process_self());
+ else
+ return 0;
+}