diff options
| author | Christopher Baines <mail@cbaines.net> | 2020-01-24 19:13:39 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2020-01-25 22:32:09 +0000 |
| commit | faf4bfdfcb124306abe0d1a5be0176a286535c51 (patch) | |
| tree | 576589bc72483052109c2d64a25295194033536b /.gitignore | |
| parent | e34d773faf7309d4273fe204149845999d4ed8a7 (diff) | |
| download | cuirass-faf4bfdfcb124306abe0d1a5be0176a286535c51.tar cuirass-faf4bfdfcb124306abe0d1a5be0176a286535c51.tar.gz | |
Enable make-worker-thread-channel to create multiple worker threads.
This will allow running multiple threads, that all listen on the same channel,
enabling processing multiple jobs at one time.
* src/cuirass/utils.scm (make-worker-thread-channel): Add a #:parallelism
argument, and create as many threads as the given parallelism.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions