Question

为什么此代码会产生读取器功能的不一致输出？

#include <cstdio>
#include <thread>
#include <mutex>

std::mutex mu;
int i = 0;

void writeThread()
{
    for (int j = 0; j < 1000; ++j)
    {
        std::lock_guard<std::mutex> lock(mu);
        printf ("write i: %d\n", ++i);
    }
}

void readThread()
{
    for (int j = 0; j < 1000; ++j)
        printf ("Read i = %d\n", i);
}

int main()
{
    std::thread t(writeThread);
    std::thread z(readThread);
    t.join();
    z.join();
    return 0;
}

我有时会得到类似的东西：

write i: 996
write i: 997
Read i = 980 <--- wrong reader output starting here
Read i = 998
Read i = 998
write i: 998
Read i = 998
write i: 999
Read i = 999

只是输出错误或我真的需要读卡器功能中的互斥量吗？

Answer 1

只是输出错误或我真的需要读卡器功能中的互斥量吗？

输出没有错，如果你有两个或多个线程访问一个变量，并且其中至少有一个是编写器，那么你需要提供同步。由于readThread不等待WriteThread写入i，因此您有竞争条件。这是未定义的行为，您获得的任何输出都是“正确的”。要解决此问题，您需要将std::lock_guard<std::mutex> lock(mu);添加到readThread，例如

void readThread()
{
    for (int j = 0; j < 1000; ++j)
    {
        std::lock_guard<std::mutex> lock(mu);
        printf ("Read i = %d\n", i);
    }
}

如果你有更多读者，那么你有作家，你可以使用std::shared_mutex，这将允许多个读者同时阅读，但当其中一个作者需要写时，将阻止所有读者和其他作者。< / p>

同时读写时输出不一致

1 个答案: