我已经看到了多线程和锁的许多接口。
这些让我感到沮丧
其中一些包含2个不同的类,例如下面的示例,而
其他的只有一个类,acquire()可以实现wait函数。
我的问题是:
为什么我们在面向对象的编程中设计这样的锁?
如何操纵这样的物体?
class Lock
{
public:
Lock();
~Lock();
// Acquire the lock.
void
acquire()
{ this->lock_->acquire(); }
// Release the lock.
void
release()
{ this->lock_->release(); }
private:
// This class can not be copied.
Lock(const Lock&);
Lock& operator=(const Lock&);
friend class Condvar;
Lock_impl*
get_impl() const
{ return this->lock_; }
Lock_impl* lock_;
};
class Condvar
{
public:
Condvar(Lock& lock);
~Condvar();
// Wait for the condition variable to be signalled. This should
// only be called when the lock is held.
void
wait()
{ this->condvar_->wait(this->lock_.get_impl()); }
// Signal the condition variable--wake up at least one thread
// waiting on the condition variable. This should only be called
// when the lock is held.
void
signal()
{ this->condvar_->signal(); }
// Broadcast the condition variable--wake up all threads waiting on
// the condition variable. This should only be called when the lock
// is held.
void
broadcast()
{ this->condvar_->broadcast(); }
private:
// This class can not be copied.
Condvar(const Condvar&);
Condvar& operator=(const Condvar&);
Lock& lock_;
Condvar_impl* condvar_;
};
最佳答案
上面是一个锁和一个条件变量。
这是两个独特的概念:
锁只是打开或关闭的单个原子锁。
条件变量(很难正确使用),需要锁才能正确实现,但要保持状态(基本上是计数)。
有关“条件变量”的信息,请参见:
http://en.wikipedia.org/wiki/Monitor_(synchronization)
基本上,条件变量是用于创建“监视器”(也称为监视器区域)的低级原语。监视器是设计为由多个线程使用的代码区域(但通常是受控数量(在简单情况下为一个)),但仍然是多线程安全的。
以下是使用“条件变量”的一个很好的例子。
How to implement blocking read using POSIX threads
基本上,允许2个线程进入Monitor区域。一个线程正在从向量中读取,而第二个线程正在从向量中进行擦除。 “监视器”控制2个线程之间的交互。尽管仅使用锁就可以实现相同的效果,但是要正确地完成工作要困难得多。