假设有这么一个类:
class ZeroEvenOdd {
public ZeroEvenOdd(int n) { ... } // 构造函数
public void zero(printNumber) { ... } // 仅打印出 0
public void even(printNumber) { ... } // 仅打印出 偶数
public void odd(printNumber) { ... } // 仅打印出 奇数
}
相同的一个 ZeroEvenOdd 类实例将会传递给三个不同的线程:
线程 A 将调用 zero(),它只输出 0 。
线程 B 将调用 even(),它只输出偶数。
线程 C 将调用 odd(),它只输出奇数。
每个线程都有一个 printNumber 方法来输出一个整数。请修改给出的代码以输出整数序列 010203040506... ,其中序列的长度必须为 2n。
示例 1:
输入:n = 2
输出:"0102"
说明:三条线程异步执行,其中一个调用 zero(),另一个线程调用 even(),最后一个线程调用odd()。正确的输出为 "0102"。
示例 2:
输入:n = 5
输出:"0102030405"
class ZeroEvenOdd {
private:
int n;
mutex mx1,mx2,mx3;
public:
ZeroEvenOdd(int n) {
this->n = n;
mx2.lock();
mx3.lock();
}
// printNumber(x) outputs "x", where x is an integer.
void zero(function<void(int)> printNumber) {
for(int i = 1; i <= this->n; ++i)
{
mx1.lock();
printNumber(0);
//cout<<"0"<<endl;
if(i&1!=0)
mx2.unlock();
else
mx3.unlock();
}
}
void even(function<void(int)> printNumber) {
for(int i=2;i<=this->n;i+=2)
{
mx3.lock();
printNumber(i);
//cout<<"2"<<endl;
num++;
mx1.unlock();
}
}
void odd(function<void(int)> printNumber) {
for(int i=1;i<=this->n;i+=2)
{
mx2.lock();
printNumber(i);
//cout<<"1"<<endl;
num++;
mx1.unlock();
}
}
};
方法2:
条件变量和锁
class ZeroEvenOdd {
private:
int n;
mutex mx1;
int state=0;
condition_variable cv;
public:
ZeroEvenOdd(int n) {
this->n = n;
}
// printNumber(x) outputs "x", where x is an integer.
void zero(function<void(int)> printNumber) {
unique_lock<mutex> lck(mx1);
for(int i=1;i<=n;i++)
{
cv.wait(lck,[this](){return state==0;});
printNumber(0);
if(i%2==0)
state=2;
else
state=1;
cv.notify_all();
}
}
void even(function<void(int)> printNumber) {
unique_lock<mutex> lck(mx1);
for(int i=2;i<=n;i+=2)
{
cv.wait(lck,[this](){return state==2;});
printNumber(i);
state=0;
cv.notify_all();
}
}
void odd(function<void(int)> printNumber) {
unique_lock<mutex> lck(mx1);
for(int i=1;i<=n;i+=2)
{
cv.wait(lck,[this](){return state==1;});
printNumber(i);
state=0;
cv.notify_all();
}
}
};