nissy-core/src/solvers/distribution.h, branch python-callbackThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=python-callback2025-08-11T09:48:40ZWrapped pthread use in custom API2025-08-11T09:48:40ZSebastiano Trontosebastiano@tronto.net2025-08-11T08:22:56Zurn:sha1:d25f23805c6d7128b508a359d47af136dd2fd0dbDo all loggin in main thread2025-05-23T14:54:59ZSebastiano Trontosebastiano@tronto.net2025-05-23T14:48:58Zurn:sha1:c6a77f30f64be73a5e55e06336975f2ecfbb2324
Before this committ, the solver (via the generic solution-appender
routines in src/solve/solutions.h) and the H48 data generator did some
logging in the worker threads, without using any locks. This was not nice,
but in practice it did not cause any problem, because the log messages
were rare.
However, this turned out to be a problem when building to WASM, because
web workers do not have access to the main JS memory, and therefore
they cannot call functions from the main JS. This includes not only the
callback functions for logging, but also those for polling the status
of the solver (run / pause / stop).
This commit fixes this at the cost or being somewhat inelegant: the
solutions are not logged as they are found, but only every 500ms.
Refactored checkdata2025-05-19T15:45:14ZSebastiano Trontosebastiano@tronto.net2025-05-19T15:45:14Zurn:sha1:62d87e063318cc4c842b1b2d8c184f48aeaf6659
Relevant changes include:
- Changed the signature of nissy_checkdata().
- Removed expected_distribution.h from tools; this data is now included
in each solver's src/ code.
- Removed distribution check for cocsep; may add back later.
Refactor solver dispatch and checkdata2025-05-18T06:48:13ZSebastiano Trontosebastiano@tronto.net2025-05-18T06:48:13Zurn:sha1:8b94d135429a9f3253cc7f25a1453b412065c4a0