Define the task-tracking events

Authored by duncan on Jul 3 2012, 1:28 PM.

Description

Define the task-tracking events

Based on initial patches by Mikolaj Konarski <mikolaj@well-typed.com>

These new eventlog events are to let profiling tools keep track of all
the OS threads that belong to an RTS capability at any moment in time.
In the RTS, OS threads correspond to the Task abstraction, so that is
what we track. There are events for tasks being created, migrated
between capabilities and deleted. In particular the task creation event
also records the kernel thread id which lets us match up the OS thread
with data collected by others tools (in the initial use case with
Linux's perf tool, but in principle also with DTrace).

Details

Committed
MikolajJul 10 2012, 10:53 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF647ae1cfbb5e: New functions to get kernel thread Id + serialisable task Id
Branches
Unknown
Tags
Unknown