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 /src/tools/operf/operf.c | |
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 'src/tools/operf/operf.c')
0 files changed, 0 insertions, 0 deletions