c++ - 原子int错误地递增？英特尔 TBB 实施

Question

我正在实施一个多线程程序，以使用英特尔 TBB 验证一系列数字的 Collat​​z 猜想，但我无法弄清楚为什么原子变量<int> count（它记录了已验证的数字数量）没有正确递增。

对于下面列出的相关代码，我使用了一个小区间（仅验证数字 1-10，但随着区间变大问题会扩大），并且我始终得到 18 的计数返回值。有任何想法吗？

task_scheduler_init init(4);
atomic<int> count;

void main 
{
tick_count parallel_collatz_start = tick_count::now();
parallel_collatz();
tick_count parallel_collatz_end = tick_count::now();
double parallel_time = 1000 *(parallel_collatz_end - parallel_collatz_start).seconds();
}

void parallel_collatz()
{
    parallel_for
    (
        blocked_range<int>(1,10), [=](const blocked_range<int>&r) 
        { for (int k = r.begin(); k <= r.end(); k++) { collatz(k); } }
    );
}


long long collatz (long long n) 
{
    while (n != 1) {
        if (n%2 == 0)
            n = (n/2);
        else
            n = (3*n + 1);
    }

    if (n == 1) {
        count++;
        return n;
    }
    return -1;
}

Answer 1

原因可能是构造函数使用了半开范围，[1, 10)这意味着 1 包含 10 不包含，因此您不是在验证数字 1-10 而是验证 1-9。此外，您可能希望在循环条件中使用!=而不是。<=