所谓读写锁,就是同一时间允许有多个线程读,但是一旦写者要写,那么在写的过程中别的线程就不允许读写。
但是当写者在申请写锁时,可能有读者正在读,这时不同的读写锁有不同的表现,有下面几种。
读者优先:只要有读者要读,写者就不能写,如果前面的读者还没走就来了新的读者,那么新的读者又会读,所以写者可能饿死。
写者优先:写者一到就开始写,即使这时还有读者没读完。当写者写完后,以前的读者需要重新读。
读写公平:之前的读者读完后,写者开始写;写者写完后,后面的读者才开始读。
这篇文章的主题是读者优先,直接看伪代码:
这里用两个互斥锁实现了读写锁,实现的过程中可以清楚的看到:没有读者时,写者才能上锁。换句话说,如果一直都有读者,那么写者就饿死了。
这里写的是伪代码,因为第一个读者会上写锁,最后一个读者释放写锁,那么调用lock()和unlock()的可能不是同一个线程,这样的用法std::mutex是不支持的,但是可以很容易地把伪代码改写成用condition_variable或者spinlock来实现。
但是当写者在申请写锁时,可能有读者正在读,这时不同的读写锁有不同的表现,有下面几种。
读者优先:只要有读者要读,写者就不能写,如果前面的读者还没走就来了新的读者,那么新的读者又会读,所以写者可能饿死。
写者优先:写者一到就开始写,即使这时还有读者没读完。当写者写完后,以前的读者需要重新读。
读写公平:之前的读者读完后,写者开始写;写者写完后,后面的读者才开始读。
这篇文章的主题是读者优先,直接看伪代码:
class RWLock {
public:
RWLock() : mCount() { }
void readLock() {
lock_guard<MyLock> lk(mClassLock);
if (mCount == 0) {
mWriteLock.lock();
}
++mCount;
}
void readUnlock() {
lock_guard<MyLock> lk(mClassLock);
--mCount;
if (mCount == 0) {
mWriteLock.unlock();
}
}
void writeLock() {
mWriteLock.lock();
assert(mCount == 0);
}
void writeUnlock() {
assert(mCount == 0);
mWriteLock.unlock();
}
private:
MyLock mClassLock;
MyLock mWriteLock;
size_t mCount;
};
这里用两个互斥锁实现了读写锁,实现的过程中可以清楚的看到:没有读者时,写者才能上锁。换句话说,如果一直都有读者,那么写者就饿死了。
这里写的是伪代码,因为第一个读者会上写锁,最后一个读者释放写锁,那么调用lock()和unlock()的可能不是同一个线程,这样的用法std::mutex是不支持的,但是可以很容易地把伪代码改写成用condition_variable或者spinlock来实现。