diff options
| author | dimitri staessens <[email protected]> | 2017-07-25 19:54:39 +0200 |
|---|---|---|
| committer | dimitri staessens <[email protected]> | 2017-07-26 10:39:51 +0200 |
| commit | 809abada865727ea986d69afcf2a9a3b00df560a (patch) | |
| tree | e6cdc6bfba21e87be04df6d6fa62490813d94ce3 /compile_debug.sh | |
| parent | 36343a9c19fca9494881a9529b5fbbb0d51c1900 (diff) | |
| download | ouroboros-809abada865727ea986d69afcf2a9a3b00df560a.tar.gz ouroboros-809abada865727ea986d69afcf2a9a3b00df560a.zip | |
lib: Add threadpool manager
This adds a threadpool manager component in the library that is used
in the IRMd and IPCPs. The threadpool manager now doesn't detach
threads but does a join when they exit. This solves a data race in the
previous implementation where some threads were not completely finished
upon release of some resources.
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions