[Minotaur-dev] [minotaur-solver/minotaur] ca3962: Removing critical section from brancher functions.
Prashant Palkar
noreply at github.com
Thu Oct 22 01:41:40 CDT 2020
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: ca3962c299c686c70d947ac73a0e6a92ce29da37
https://github.com/minotaur-solver/minotaur/commit/ca3962c299c686c70d947ac73a0e6a92ce29da37
Author: ppalkar <ppalkar.iitb at gmail.com>
Date: 2020-10-22 (Thu, 22 Oct 2020)
Changed paths:
M src/base/ParReliabilityBrancher.cpp
Log Message:
-----------
Removing critical section from brancher functions.
The findBranches() function has been made critical (with solPool tag)
because it uses the best solution found from the pool which can change
depending upon another thread finding a better solution.
More information about the Minotaur-dev
mailing list