读写锁在同一时刻可以允许多个线程访问,但是在写线程访问,所有的读线程和其他写线程均被阻塞。
读写锁不像 ReentrantLock 那些排它锁只允许在同一时刻只允许一个线程进行访问,读写锁可以允许多个线程同时访问,并发性能相比一般的排它锁有很大的提升。
当写操作开始时,所有晚于写操作的读操作均会进入等待状态,只有写操作完成并进行通知后,所有等待的读操作才能继续执行,这样的目的是能正确读到的数据,而不会出现脏读。
ReadWriteLock 接口:
1 public interface ReadWriteLock { 2 /** 3 * Returns the lock used for reading. 4 * 5 * @return the lock used for reading 6 */ 7 Lock readLock(); 8 9 /** 10 * Returns the lock used for writing. 11 * 12 * @return the lock used for writing 13 */ 14 Lock writeLock(); 15 }
读写锁维护了一个读锁和一个写锁。
ReentrantReadWriteLock 是 ReadWriteLock 接口的一个实现。Java 类图如下:
静态抽象内部类 Sync 继承了 AQS,对 ReentrantReadWriteLock 提供了支持。
ReentrantReadWriteLock 除开接口的方法外,还有展示内部工作状态的方法:
方法名称 | 描述 |
int getReadLockCount()
|
返回当前读锁被获取的次数 |
int getReadHoldCount()
|
返回当前线程获取读锁的次数 |
boolean isWriteLocked()
|
判断写锁是否被获取 |
int getReadHoldCount()
|
返回当前写锁被获取的次数 |
读写锁的实现:
① 读写状态的设计
读写锁同样是依赖自定义同步器来实现同步功能,而读写状态就是其同步器的同步状态。和 ReentrantLock 有点不同,读写锁的自定义同步器需要在同步状态(一个整型变量)上维护多个读线程和一个写线程的状态。
一个整型变量维护多个状态,就需要按其二进制位“切割”使用,读写锁把这个32位的整型变量分成了两个部分:高16位表示读状态,低16位表示写状态。
1 static final int SHARED_SHIFT = 16; 2 static final int SHARED_UNIT = (1 << SHARED_SHIFT); 3 static final int MAX_COUNT = (1 << SHARED_SHIFT) - 1; 4 static final int EXCLUSIVE_MASK = (1 << SHARED_SHIFT) - 1; 5 6 /** 返回当前状态的共享资源数,消除低16位 */ 7 static int sharedCount(int c) { return c >>> SHARED_SHIFT; } 8 /** 返回当前线程的独占资源数,按位与& 0x0000FFFF 除去高16位 */ 9 static int exclusiveCount(int c) { return c & EXCLUSIVE_MASK; }
② 写锁的获取与释放
写锁是一个支持重新进入的排它锁。
1 protected final boolean tryAcquire(int acquires) { 2 /* 3 * 可能的过程: 4 * 1. 如果读取计数非零或写入计数非零并且所有者是另一个线程,则失败。 5 * 2. 如果计数饱和,则失败。(计数不为0) 6 * 3. 否则,如果是可重入获取或队列策略允许, 7 * 则该线程有资格进行锁定。如果是这样,请更新状态*并设置所有者. 8 */ 9 Thread current = Thread.currentThread(); 10 int c = getState(); 11 int w = exclusiveCount(c); 12 if (c != 0) { 13 // 存在读锁或者当前线程不是已获取锁的线程(Note: if c != 0 and w == 0 then shared count != 0) 14 if (w == 0 || current != getExclusiveOwnerThread()) 15 return false; 16 if (w + exclusiveCount(acquires) > MAX_COUNT) 17 throw new Error("Maximum lock count exceeded"); 18 // 重入获取 19 setState(c + acquires); 20 return true; 21 } 22 if (writerShouldBlock() || 23 !compareAndSetState(c, c + acquires)) 24 return false; 25 setExclusiveOwnerThread(current); 26 return true; 27 }
如果读锁存在,则写锁不能被获取,读写锁要确保写锁的操作对读锁可见,只有等待其他线程释放了读锁,写锁才能被获取。当写锁获取到,其他读写线程的后续访问均被阻塞。
写锁的释放与 ReentrantLock 基本类似,每次释放均减少同步状态值,写状态为0是表示锁已被释放,其他读写线程才能继续访问读写锁,同时前一次写线程的修改对后续的读写进程可见。
③ 读锁的获取与释放
protected final int tryAcquireShared(int unused) { /* * 可能的情况: * 1. 如果另一个线程持有写锁,则失败。 * 2. 否则,此线程有资格获得锁定状态,因此询问是否由于队列策略而应阻塞。 * 如果不是,尝试按CAS方式更新计数。 * 请注意,该步骤不检查重入获取,这会推迟到完整版本的获取方法, * 以避免必须在更典型的非重入情况下检查保留计数。 * 3. 如果第2步失败,或者由于线程显然不符合条件或者CAS失败或计数饱和,请使用完全死循环版本。 */ Thread current = Thread.currentThread(); int c = getState(); if (exclusiveCount(c) != 0 && getExclusiveOwnerThread() != current) // 有写锁,但不是当前自己的 return -1; int r = sharedCount(c); if (!readerShouldBlock() && r < MAX_COUNT && compareAndSetState(c, c + SHARED_UNIT)) { // 在合适的条件下尝试用CAS设置 if (r == 0) { // 读锁空闲,获取锁成功 firstReader = current; firstReaderHoldCount = 1; } else if (firstReader == current) { // 读锁不是空闲的,且第一个读线程是当前线程,获取锁成功 firstReaderHoldCount++; } else { // 不是第一个线程,获取锁成功 HoldCounter rh = cachedHoldCounter; // 代表最后一个读锁线程的计数器 if (rh == null || rh.tid != getThreadId(current)) // 若最后一个线程计数器是空的或者不是当前线程的,那就新建一个 cachedHoldCounter = rh = readHolds.get(); else if (rh.count == 0) // 如果不是空的,且count是0,将上一个线程的HoldCounter覆盖本地的 readHolds.set(rh); rh.count++; } return 1; } return fullTryAcquireShared(current); // 死循环获取读锁 }
完整版本的获取读锁(死循环),包含降级策略
1 final int fullTryAcquireShared(Thread current) { 2 /* 3 * 该代码与tryAcquireShared中的代码部分冗余,但由于不使 4 * tryAcquireShared与重试和延迟读取保持计数之间的交互复杂化, 5 * 因此总体上更简单。 6 */ 7 HoldCounter rh = null; 8 for (;;) { 9 int c = getState(); 10 if (exclusiveCount(c) != 0) { // 低16位不为0,有线程有写锁 11 if (getExclusiveOwnerThread() != current) // 写锁被其他线程持有,获取锁失败 12 return -1; 13 // 否则我们将持有排他锁;在这里阻塞 14 // 将导致死锁 15 } else if (readerShouldBlock()) { 16 // 确保我们不会再获取读锁,若第一个读取线程为当前进程 17 if (firstReader == current) { 18 // 断言 firstReaderHoldCount > 0; 19 } else { // 若不是当前线程 20 if (rh == null) { 21 rh = cachedHoldCounter; 22 if (rh == null || rh.tid != getThreadId(current)) { 23 rh = readHolds.get(); // 从ThreadLocal中取出计数器 24 if (rh.count == 0) 25 readHolds.remove(); 26 } 27 } 28 if (rh.count == 0) 29 return -1; 30 } 31 } 32 if (sharedCount(c) == MAX_COUNT) 33 throw new Error("Maximum lock count exceeded"); 34 if (compareAndSetState(c, c + SHARED_UNIT)) { // 尝试设置读锁,高16位加1 35 if (sharedCount(c) == 0) { // 读锁空闲 36 firstReader = current; 37 firstReaderHoldCount = 1;// 计数为1 38 } else if (firstReader == current) { // 不为空闲的话看看第一个线程是否为当前进程,是则更新当前计数器 39 firstReaderHoldCount++; 40 } else { // 不是当前线程 41 if (rh == null) 42 rh = cachedHoldCounter; 43 if (rh == null || rh.tid != getThreadId(current)) // 如果最后一个读计数器所属线程不是当前线程 44 rh = readHolds.get(); // 自己新建一个 45 else if (rh.count == 0) 46 readHolds.set(rh); 47 rh.count++; 48 cachedHoldCounter = rh; // 更新缓存计数器 49 } 50 return 1; 51 } 52 } 53 } 54
④ 降级锁
降级锁从获取到写锁开始。降级锁是指把持有的写锁,再获取到读锁,锁后释放写锁的过程。锁降级中读锁的获取是必要的,主要是为了保证数据获取的可见性,如果当前线程不获取读锁而是直接释放写锁,此刻若是有一个线程获取到写锁并修改了数据,当前的线程就无法感知之后那个线程的数据更新。若当前线程获取了读锁再释放写锁,之后那个想要获取写锁的线程就会被阻塞,直到当前线程释放了读锁之后,下个想获取写锁的线程才能进行数据更新。