CpSolver.StopSearch() Dead Lock
- Dominant language
- C++
- Stars
- 14.1k
- Forks
- 2.5k
- Avg merge
- 8h 39m
- Merged PRs (30d)
- 72
Description
**What version of OR-Tools and what language are you using?**
Version: 9.14.6206
Language: C#
**Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)**
CP-SAT
**What operating system (Linux, Windows, ...) and version?**
Windows
**What did you do?**
Steps to reproduce the behavior:
1. Create solver: var solver = new CpSolver();
2. Slove Model: var status = solver.Solve(model, cb);
3. Call solver.StopSearch() by another thread
4. dead lock: StopSearch() do not return, SolveWrapper.Dispose() wait StopSearch() Thread free lock
**What did you expect to see**
**What did you see instead?**
Make sure you include information that can help us debug (full error message, model Proto).
**Anything else we should know about your project / environment**
Contributor guide
Assessment
This issue has not been assessed yet.