Commit 2c3e47bb authored by Edward Z. Yang's avatar Edward Z. Yang

Use standard task ID print style (hexadecimal).

parent e3e12b2a
......@@ -348,6 +348,17 @@ workerTaskStop (Task *task)
#endif
#ifdef DEBUG
static void *taskId(Task *task)
{
#ifdef THREADED_RTS
return (void *)task->id;
#else
return (void *)task;
#endif
}
#if defined(THREADED_RTS)
static void OSThreadProcAttr
......@@ -415,22 +426,11 @@ interruptWorkerTask (Task *task)
ASSERT(osThreadId() != task->id); // seppuku not allowed
ASSERT(task->incall->suspended_tso); // use this only for FFI calls
interruptOSThread(task->id);
debugTrace(DEBUG_sched, "interrupted worker task %lu", task->id);
debugTrace(DEBUG_sched, "interrupted worker task %p", taskId(task));
}
#endif /* THREADED_RTS */
#ifdef DEBUG
static void *taskId(Task *task)
{
#ifdef THREADED_RTS
return (void *)task->id;
#else
return (void *)task;
#endif
}
void printAllTasks(void);
void
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment