nissy-core/src/utils/sleep.h, branch python-callbackThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=python-callback2025-08-13T08:24:14ZCorrect OS detection for sleep function2025-08-13T08:24:14ZSebastiano Trontosebastiano@tronto.net2025-08-13T08:24:14Zurn:sha1:58deba64173679253e72495451853a668baf2452Do 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.
Added stop / pause / resume solve to API2025-04-29T08:08:04ZSebastiano Trontosebastiano@tronto.net2025-04-29T08:08:04Zurn:sha1:8d3fc9f5f9c0593fcae9c451efe6c89c64dcbe84