Mikolaj/ghc — Issue #3: Fix the GC (and so MUT) times of TS to be equal to +RTS -s times
Author: Mikolaj
Created: 2012-03-08 10:00:29+00:00
State: open

To do that

16:25 <@dcoutts> but we'd adjust the GC_START and GC_END so it exactly matches when stats_gcstart() and stats_gcend()

but

16:26 <@mikolaj> but there is a tiny time difference anyway
16:26 <@mikolaj> possibly from emitting the events taking some time, or just the next line of C code being a tick later

so

16:26 <@dcoutts> not if we use the same timestamp
16:26 <@dcoutts> we could make them match exactly
16:26 <@dcoutts> we simply pass the timestamp in, rather than making a new one
16:27 <@dcoutts> mikolaj: ok, so take a look at the postEvent* function for wall clock time
16:28 <@dcoutts> that's an example where we do not use the ordinary function for posting the event header
16:28 <@dcoutts> since the ordinary one generates a new timestamp
16:28 <@dcoutts> so we'd need to make the post gc start/end functions do the same, take the timestamp in as a paramater
16:29 <@dcoutts> then move the trace function to the stats_gcstart/end
16:29 <@dcoutts> and to reuse the timestamp that is obtained there
16:29 <@dcoutts> hopefully it's using the same timestamp function so we get the same type etc