一个良好的多线程库,不应当一刀切的全加锁。因为有些时候,虽然是多线程环境,但可能依照设计一个类只会被一个线程操作,这个时候加锁是多余的,纯浪费性能,但另一些场景又需要它是线程安全的。
假设有一个类X:
class X
{
public:
void xoo();
};
这里总结几个常见的做法:
1.本身不加锁,由调用者来加锁,坏处是如果多数场景都是加锁的,由会产生重复代码
class Z
void zoo()
{
LockHelper lh(_lock); // 调用者Z来加锁
_x.xoo();
};
private:
CLock _lock;
X _x;
2.类的实现中,加if判断
X(bool is_threadsafe)
:_is_threadsafe(is_threadsafe)
}
void xoo()
if (_is_threadsafe)
{
// 根据条件加锁
_lock.lock();
}
。。。。。。
_lock.unlock();
bool _is_threadsafe;
3.分成两个类,第一个类是无锁的,第二个类通过聚合第一个类,并用锁包装一下
class RawX
// RawX总是不加锁
class SafeX
LockHelper lh(_lock); // 总是加锁
_raw_x.xoo();
RawX _raw_x;
下面提出一种在mooon中使用的相对更优雅的方法,引用一个空锁类CNullLock,它仅提供锁的接口,加锁和解锁函数体都是空的:
class CNullLock
void lock()
void unlock()
接下来看新的X的实现,需要将它变成一个模板类:
template
LockHelper lh(_lock); // 这里并不一定真是加锁
如果需要X是线程安全的,可以这样使用:
X x;
如果不需要X是线程安全的,则可以如下使用:
这样的一个X,看起来是不是相对优雅得体些了?