From b8ed35b4bfd9ed37e55d4a0e44241b86acca62db Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 19 May 2014 11:29:53 +0200 Subject: [PATCH] task->counter is initialized only when HAVE_TRACING. Use task pointer instead to compute the key. --- src/msg/msg_vm.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/msg/msg_vm.c b/src/msg/msg_vm.c index c45ad9c064..7972de267b 100644 --- a/src/msg/msg_vm.c +++ b/src/msg/msg_vm.c @@ -503,7 +503,7 @@ void MSG_host_add_task(msg_host_t host, msg_task_t task) { msg_host_priv_t priv = msg_host_resource_priv(host); double remaining = MSG_task_get_remaining_computation(task); - char *key = bprintf("%s-%lld", task->name, task->counter); + char *key = bprintf("%s-%p", task->name, task); dirty_page_t dp = xbt_new0(s_dirty_page, 1); dp->task = task; @@ -525,7 +525,7 @@ void MSG_host_del_task(msg_host_t host, msg_task_t task) { msg_host_priv_t priv = msg_host_resource_priv(host); - char *key = bprintf("%s-%lld", task->name, task->counter); + char *key = bprintf("%s-%p", task->name, task); dirty_page_t dp = xbt_dict_get_or_null(priv->dp_objs, key); xbt_assert(dp->task == task); -- 2.20.1