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.
parent
5506f134
Pipeline #27467 passed with warnings
Stage: tool-lint
Stage: quick-build
Stage: lint
Stage: build
Stage: full-build
Stage: packaging
Stage: testing
Showing
- includes/RtsAPI.h 3 additions, 1 deletionincludes/RtsAPI.h
- includes/rts/EventLogWriter.h 5 additions, 0 deletionsincludes/rts/EventLogWriter.h
- libraries/base/Debug/Trace.hs 9 additions, 0 deletionslibraries/base/Debug/Trace.hs
- rts/Capability.c 5 additions, 0 deletionsrts/Capability.c
- rts/Capability.h 2 additions, 1 deletionrts/Capability.h
- rts/RtsSymbols.c 1 addition, 0 deletionsrts/RtsSymbols.c
- rts/Schedule.c 1 addition, 1 deletionrts/Schedule.c
- rts/Trace.c 2 additions, 2 deletionsrts/Trace.c
- rts/Trace.h 0 additions, 1 deletionrts/Trace.h
- rts/eventlog/EventLog.c 40 additions, 3 deletionsrts/eventlog/EventLog.c
- rts/eventlog/EventLog.h 6 additions, 1 deletionrts/eventlog/EventLog.h
Loading
Please register or sign in to comment