Question

我试图在C ++（Windows 10，Visual Studio Express）中实现一个简单的多线程示例。

我有线程 T1计算z = x * x ，其中x和z是全局变量。线程 T2显示z 。

我想使用锁和条件变量。

出于某种原因，执行在T1 un unblocked 时被卡住（在cv.wait之后，可能在while循环中 - 高CPU使用率）。但是，当我在main（）中的cout << "x" << endl;之前添加一些代码（我尝试使用cv.notify_one();）时，不会发生此。这很奇怪。

提前感谢您的帮助！

这是代码。我删除了用来杀死线程的部分因为我没有达到算法的那部分 - 问题出在之前。

#include "stdafx.h" #include <iostream> #include <thread> #include <mutex> #include <condition_variable> using namespace std; mutex m; condition_variable cv; bool datax = 0, dataz = 0, zPrinted = 0; void T1(const int& x, int& z) { do { unique_lock<mutex> lk(m); cv.wait(lk, [] {return (datax); }); if (datax) { z = x * x; datax = 0; dataz = 1; lk.unlock(); while (dataz) cv.notify_one(); } } while (1); } void T2(const int& z) { do { unique_lock<mutex> lk(m); cv.wait(lk, [] {return (dataz); }); if (dataz) { cout << "z = " << z << endl; dataz = 0; zPrinted = 1; lk.unlock(); while (zPrinted) cv.notify_one(); } } while (1); } int main() { int x, z; char c; thread threadT1(T1, cref(x), ref(z)); thread threadT2(T2, cref(z)); do { unique_lock<mutex> lk(m); cout << "Enter x: "; cin >> x; datax = 1; lk.unlock(); while (datax) { cv.notify_one(); } cv.wait(lk, [] {return zPrinted; }); zPrinted = 0; cout << "Continue? (y/n): "; cin >> c; } while (c == 'y'); return 0; }

Answer 1

问题在于：

lk.unlock();
while (datax) {
  cv.notify_one();
}
cv.wait(lk, [] {return zPrinted; }); // <-- waiting on unlocked mutex
zPrinted = 0;

您正在等待未锁定的互斥锁，并且未定义行为see here under notes。

Answer 2

除了上面指出的等待解锁的互斥锁的问题：

cv.wait(lk, [] {return zPrinted; });

你有没有重新加入的线程并且正在运行无限循环。这是一个有mod的工作版本来修复这些问题：

#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>

using namespace std;

mutex m;
condition_variable cv;
bool datax = 0, dataz = 0, zPrinted = 0;
bool kill = 0;

void T1(const int& x, int& z)
{
    do {
        unique_lock<mutex> lk(m);
        cv.wait(lk, [] {return (datax+kill); });
        if (kill) return;
        if (datax) {
            z = x * x;
            datax = 0;
            dataz = 1;
            lk.unlock();
            while (dataz)
                cv.notify_one();
        }
    } while (1);
}

void T2(const int& z)
{
    do {
        unique_lock<mutex> lk(m);
        cv.wait(lk, [] {return (dataz+kill); });
        if (kill) return;
        if (dataz) {
            cout << "z = " << z << endl;
            dataz = 0;
            zPrinted = 1;
            lk.unlock();
            while (zPrinted)
                cv.notify_one();
        }
    } while (1);
}

int main()
{
    int x, z;
    char c;
    thread threadT1(T1, cref(x), ref(z));
    thread threadT2(T2, cref(z));
    do {
        {
        unique_lock<mutex> lk(m);
        cout << "Enter x: ";
        cin >> x;
        datax = 1;
        lk.unlock();
        while (datax) 
            cv.notify_one();
        }
        {
        unique_lock<mutex> lk(m);
        cv.wait(lk, [] {return zPrinted; });
        lk.unlock();
        }
        zPrinted = 0;
        cout << "Continue? (y/n): ";
        cin >> c;
    } while (c == 'y');
    kill = 1;
    cv.notify_all();
    threadT1.join();
    threadT2.join();
    return 0;
}

如你所见，我介绍了一个新的变量＆＃34; kill＆＃34;当设置为1时，它会导致两个线程退出它们的无限循环，以便它们可以连接起来。

c ++多线程中的锁和条件变量问题

2 个答案: