Commit d6905920 authored by Duncan Coutts's avatar Duncan Coutts
Browse files

Add a clock domain capset and emit wall clock time on rts init

parent 4856d15a
......@@ -266,6 +266,7 @@ initCapability( Capability *cap, nat i )
cap->pinned_object_block = NULL;
traceCapsetAssignCap(CAPSET_OSPROCESS_DEFAULT, i);
traceCapsetAssignCap(CAPSET_CLOCKDOMAIN_DEFAULT, i);
#if defined(THREADED_RTS)
traceSparkCounters(cap);
#endif
......@@ -282,9 +283,10 @@ initCapability( Capability *cap, nat i )
void
initCapabilities( void )
{
/* Declare a single capability set representing the process.
Each capability will get added to this capset. */
/* Declare a couple capability sets representing the process and
clock domain. Each capability will get added to these capsets. */
traceCapsetCreate(CAPSET_OSPROCESS_DEFAULT, CapsetTypeOsProcess);
traceCapsetCreate(CAPSET_CLOCKDOMAIN_DEFAULT, CapsetTypeClockdomain);
#if defined(THREADED_RTS)
nat i;
......@@ -867,6 +869,7 @@ shutdownCapability (Capability *cap,
#endif /* THREADED_RTS */
traceCapsetRemoveCap(CAPSET_OSPROCESS_DEFAULT, cap->no);
traceCapsetRemoveCap(CAPSET_CLOCKDOMAIN_DEFAULT, cap->no);
}
void
......@@ -878,6 +881,7 @@ shutdownCapabilities(Task *task, rtsBool safe)
shutdownCapability(&capabilities[i], task, safe);
}
traceCapsetDelete(CAPSET_OSPROCESS_DEFAULT);
traceCapsetDelete(CAPSET_CLOCKDOMAIN_DEFAULT);
#if defined(THREADED_RTS)
ASSERT(checkSparkCountInvariant());
......
......@@ -154,6 +154,7 @@ hs_init(int *argc, char **argv[])
initScheduler();
/* Trace some basic information about the process */
traceWallClockTime();
traceOSProcessInfo();
/* initialize the storage manager */
......
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