读写锁的基本原理
读写锁的类层次结构:
使用读写锁时,是获取读锁和写锁,然后根据需要分别调用lock()/unlock()。
从读写锁的构造函数可以看到读锁和写锁公用一个Sync实例。
在ReentrantLock中把state变量拆分成两部分,低16位记录写锁,高16位记录读锁。因为一次CAS操作无法同时操作两个int变量,所以把state拆分,用一个变量记录两种锁状态。通过sharedCount(state)和exclusiveCount(state)可以判断是读进程还是写进程持有锁。
acquire/release、acquireShared/releaseShared 是AQS的两对模板方法。从名字可以看出是对应共享锁和独占锁的方法。ReentrantLock是基于这两对方法实现读锁和写锁的。
通过AQS两组模板方法和NonFairSync、FairSync的组合实现了不同的读写方式。
在公平锁中,只要队列中有其他线程就不能直接获取锁。在非公平锁中,读锁在抢占锁之前要判断队列中第一个线程是否是写线程,是写线程的话就阻塞。这是防止读线程无脑抢占锁资源导致写线程饥饿。
参考资料:《Java并发实现原理:JDK源码剖析》