summaryrefslogtreecommitdiff
path: root/rts/Trace.h
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-04-11 15:54:17 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-11-24 02:43:20 -0500
commitf88f43398217a5f4c2d326555e21fb1417a21db2 (patch)
treeb9d9e9d3de097959cc2463c2b21f5d3842ff6b86 /rts/Trace.h
parent6815603f271484766425ff2e37043b78da2d073c (diff)
downloadhaskell-f88f43398217a5f4c2d326555e21fb1417a21db2.tar.gz
rts: Flush eventlog buffers from flushEventLog
As noted in #18043, flushTrace failed flush anything beyond the writer. This means that a significant amount of data sitting in capability-local event buffers may never get flushed, despite the users' pleads for us to flush. Fix this by making flushEventLog flush all of the event buffers before flushing the writer. Fixes #18043.
Diffstat (limited to 'rts/Trace.h')
-rw-r--r--rts/Trace.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/rts/Trace.h b/rts/Trace.h
index 9c905af737..cad83363d3 100644
--- a/rts/Trace.h
+++ b/rts/Trace.h
@@ -319,7 +319,6 @@ void traceConcSweepEnd(void);
void traceConcUpdRemSetFlush(Capability *cap);
void traceNonmovingHeapCensus(uint32_t log_blk_size,
const struct NonmovingAllocCensus *census);
-
void flushTrace(void);
#else /* !TRACING */