tqcq/trrespass
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

feat: update

Browse Source
This commit is contained in:
tqcq 2024-10-24 05:28:06 +00:00
parent 47bf8cc0d9
commit b6aaf20a3f
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
drama/src/rev-mc.c
View File

@ -320,6 +320,7 @@ find_row_mask(std::vector<set_t> &sets,
std::atomic_bool found{false}; std::atomic_bool found{false};
std::mutex lock; std::mutex lock;
const uint64_t step = 10000;
// while (row_mask < last_mask) { // while (row_mask < last_mask) {
// row_mask = next_bit_permutation(row_mask); // row_mask = next_bit_permutation(row_mask);
@ -330,19 +331,18 @@ find_row_mask(std::vector<set_t> &sets,
if (thread_num > 2) { thread_num -= 2; } if (thread_num > 2) { thread_num -= 2; }
for (int i = 0; i < thread_num; ++i) { for (int i = 0; i < thread_num; ++i) {
workers.emplace_back([&] { workers.emplace_back([&] {
std::vector<uint64_t> masks;
while (!found) { while (!found) {
uint64_t cur_mask = last_mask;
{ {
masks.clear();
std::lock_guard<std::mutex> _(lock); std::lock_guard<std::mutex> _(lock);
for (int i = 0; i < 10000 && row_mask < last_mask; ++i) { if (row_mask >= last_mask) { break; }
masks.push_back(row_mask); cur_mask = row_mask;
for (int i = 0; i < step && row_mask < last_mask; ++i) {
row_mask = next_bit_permutation(row_mask); row_mask = next_bit_permutation(row_mask);
} }
if (row_mask >= last_mask) { break; }
} }
for (const auto &cur_mask : masks) { for (int i = 0; i < step && cur_mask < last_mask; ++i) {
if (resolve(cur_mask, found)) { if (resolve(cur_mask, found)) {
std::lock_guard<std::mutex> _(lock); std::lock_guard<std::mutex> _(lock);
if (!found.exchange(true)) { if (!found.exchange(true)) {