diff options
| author | Duncan Coutts <duncan@well-typed.com> | 2012-07-03 19:18:46 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj@well-typed.com> | 2012-07-07 00:28:19 +0200 |
| commit | 647ae1cfbb5ea3e2d3b1541c2bc12ea5db321134 (patch) | |
| tree | 9f40458a21ee74661b95ae43c0c61bc5e3a8e08f /rts/Task.c | |
| parent | 01386d383fa535a16ccf6117adaffdd38af703ca (diff) | |
| download | haskell-647ae1cfbb5ea3e2d3b1541c2bc12ea5db321134.tar.gz | |
New functions to get kernel thread Id + serialisable task Id
On most platforms the userspace thread type (e.g. pthread_t) and kernel
thread id are different. Normally we don't care about kernel thread Ids,
but some system tools for tracing/profiling etc report kernel ids.
For example Solaris and OSX's DTrace and Linux's perf tool report kernel
thread ids. To be able to match these up with RTS's OSThread we need a
way to get at the kernel thread, so we add a new function for to do just
that (the implementation is system-dependent).
Additionally, strictly speaking the OSThreadId type, used as task ids,
is not a serialisable representation. On unix OSThreadId is a typedef for
pthread_t, but pthread_t is not guaranteed to be a numeric type.
Indeed on some systems pthread_t is a pointer and in principle it
could be a structure type. So we add another new function to get a
serialisable representation of an OSThreadId. This is only for use
in log files. We use the function to serialise an id of a task,
with the extra feature that it works in non-threaded builds
by always returning 1.
Diffstat (limited to 'rts/Task.c')
| -rw-r--r-- | rts/Task.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rts/Task.c b/rts/Task.c index 125000b914..b6092e5e41 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -389,7 +389,10 @@ workerTaskStop (Task *task) #endif #ifdef DEBUG - +// We don't replace this function with serialisableTaskId, +// because debug prints as pointers are more readable than random +// 64-bit intergers (especially on 32-bit architectures) +// and because we want to use this function also for non-treaded RTS. static void *taskId(Task *task) { #ifdef THREADED_RTS |