diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-01-30 23:58:47 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-30 23:58:47 +0100 |
| commit | 161d6abef81784a1adb460d5bba40e03b627ceb2 (patch) | |
| tree | 3eef61588ba82b3ab83aa7d20464bf2d3f8fc8d8 /doc/cuirass.texi | |
| parent | examples: Add 'random-jobs'. (diff) | |
| download | cuirass-161d6abef81784a1adb460d5bba40e03b627ceb2.tar.gz | |
base: Work around Fibers I/O scheduling bug.
Works around <https://github.com/wingo/fibers/issues/19>.
The effect in practice would be that we'd usually not reach the
'close-pipe' call in 'evaluate', leaving zombie processes behind us,
never executing the continuation, and additionally spinning fast on a
sequence of epoll_wait/epoll_ctl calls.
* src/cuirass/base.scm <top level>: Monkey-patch (fibers internal).
Diffstat (limited to 'doc/cuirass.texi')
0 files changed, 0 insertions, 0 deletions