always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[CP-SAT] vivification after import; remove unused affine in presolve; remove obsolete ThreadPool usage

Browse Source
This commit is contained in:
Laurent Perron
2024-10-08 16:04:53 +02:00
parent 262095ff22
commit d6de78c923
13 changed files with 157 additions and 49 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ortools/sat/subsolver.cc
View File

@@ -136,7 +136,7 @@ void DeterministicLoop(std::vector<std::unique_ptr<SubSolver>>& subsolvers,
std::vector<int> indices;
std::vector<double> timing;
to_run.reserve(batch_size);
ThreadPool pool("DeterministicLoop", num_threads);
ThreadPool pool(num_threads);
pool.StartWorkers();
for (int batch_index = 0;; ++batch_index) {
VLOG(2) << "Starting deterministic batch of size " << batch_size;
@@ -207,7 +207,7 @@ void NonDeterministicLoop(std::vector<std::unique_ptr<SubSolver>>& subsolvers,
return num_in_flight < num_threads;
};
ThreadPool pool("NonDeterministicLoop", num_threads);
ThreadPool pool(num_threads);
pool.StartWorkers();
// The lambda below are using little space, but there is no reason