| 71 | class PostsolveThreadPool { |
| 72 | public: |
| 73 | explicit PostsolveThreadPool(uint32_t thread_count) { |
| 74 | thread_count = std::max<uint32_t>(1, thread_count); |
| 75 | workers_.reserve(thread_count); |
| 76 | for (uint32_t i = 0; i < thread_count; ++i) { |
| 77 | workers_.emplace_back([this]() { worker_loop(); }); |
| 78 | } |
| 79 | } |
| 80 | |
| 81 | ~PostsolveThreadPool() { |
| 82 | { |