diff options
author | Ben Gamari <ben@well-typed.com> | 2019-02-05 11:51:52 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-10-22 12:17:00 -0400 |
commit | 912e440e6f0277730b2ad611097f96588cc435a3 (patch) | |
tree | 3dce1b77ab9477342d24730aec229010f3098f29 /rts/Trace.c | |
parent | 06d51c4ef776ee1bf66e3603b4c6e4e2acf8ba3c (diff) | |
download | haskell-912e440e6f0277730b2ad611097f96588cc435a3.tar.gz |
rts: Tracing support for nonmoving collection events
This introduces a few events to mark key points in the nonmoving
garbage collection cycle. These include:
* `EVENT_CONC_MARK_BEGIN`, denoting the beginning of a round of
marking. This may happen more than once in a single major collection
since we the major collector iterates until it hits a fixed point.
* `EVENT_CONC_MARK_END`, denoting the end of a round of marking.
* `EVENT_CONC_SYNC_BEGIN`, denoting the beginning of the post-mark
synchronization phase
* `EVENT_CONC_UPD_REM_SET_FLUSH`, indicating that a capability has
flushed its update remembered set.
* `EVENT_CONC_SYNC_END`, denoting that all mutators have flushed their
update remembered sets.
* `EVENT_CONC_SWEEP_BEGIN`, denoting the beginning of the sweep portion
of the major collection.
* `EVENT_CONC_SWEEP_END`, denoting the end of the sweep portion of the
major collection.
Diffstat (limited to 'rts/Trace.c')
-rw-r--r-- | rts/Trace.c | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/rts/Trace.c b/rts/Trace.c index de647f762b..10ad5031ab 100644 --- a/rts/Trace.c +++ b/rts/Trace.c @@ -802,6 +802,49 @@ void traceThreadLabel_(Capability *cap, } } +void traceConcMarkBegin() +{ + if (eventlog_enabled) + postEventNoCap(EVENT_CONC_MARK_BEGIN); +} + +void traceConcMarkEnd(StgWord32 marked_obj_count) +{ + if (eventlog_enabled) + postConcMarkEnd(marked_obj_count); +} + +void traceConcSyncBegin() +{ + if (eventlog_enabled) + postEventNoCap(EVENT_CONC_SYNC_BEGIN); +} + +void traceConcSyncEnd() +{ + if (eventlog_enabled) + postEventNoCap(EVENT_CONC_SYNC_END); +} + +void traceConcSweepBegin() +{ + if (eventlog_enabled) + postEventNoCap(EVENT_CONC_SWEEP_BEGIN); +} + +void traceConcSweepEnd() +{ + if (eventlog_enabled) + postEventNoCap(EVENT_CONC_SWEEP_END); +} + +void traceConcUpdRemSetFlush(Capability *cap) +{ + if (eventlog_enabled) + postConcUpdRemSetFlush(cap); +} + + void traceThreadStatus_ (StgTSO *tso USED_IF_DEBUG) { #if defined(DEBUG) |