fix: multi thread

2024-10-24 05:42:30 +00:00 · 2024-10-24 05:42:30 +00:00 · f8c4f6ef48
commit f8c4f6ef48
parent 81848b5c94
1 changed files with 2 additions and 0 deletions
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@ -330,6 +330,8 @@ find_row_mask(std::vector<set_t> &sets,
    if (thread_num > 2) { thread_num -= 2; }
    uint64_t step = 0;
    for (uint64_t i = row_mask; i < last_mask; ++step) { i = next_bit_permutation(i); }
+    step /= thread_num;
+    if (!step) { ++step; }

    for (int i = 0; i < thread_num; ++i) {
        workers.emplace_back([&] {