diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-05-21 11:53:35 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-05-25 14:00:58 -0400 |
| commit | ed97b68edf9396c1355d012dc510d340f3489383 (patch) | |
| tree | dc63f44fe9826de082ae572281d1eab27f68a68b /docs/users_guide/compare-flags.py | |
| parent | 566cc73f46d67e2b36fda95d0253067bb0ecc12f (diff) | |
| download | haskell-wip/T18210.tar.gz | |
eventlog: Fix racy flushingwip/T18210
Previously no attempt was made to avoid multiple threads writing their
capability-local eventlog buffers to the eventlog writer simultaneously.
This could result in multiple eventlog streams being interleaved. Fix
this by documenting that the EventLogWriter's write() and flush()
functions may be called reentrantly and fix the default writer to
protect its FILE* by a mutex.
Fixes #18210.
Diffstat (limited to 'docs/users_guide/compare-flags.py')
0 files changed, 0 insertions, 0 deletions