Java 多執行緒併發 【11】ReentrantReadWriteLock
持續創作,加速成長!這是我參與「掘金日新計劃 · 6 月更文挑戰」的第7天,點選檢視活動詳情
ReentrantReadWriteLock ,可重入讀寫鎖。實際使用場景中,我們需要處理的操作本質上是讀與寫。而對這兩種操作進行同步操作的難度也是不一樣的。
一般情況下,讀操作不會造成同步安全問題,因為只是讀取資料而不去修改的情況下相當於資料是不可變的,不可變本質上是絕對的執行緒安全,無需進行任何確保執行緒安全的操作。
而如果在一系列操作中包含了寫操作,那麼就需要考慮執行緒安全了。在 JMM 中,寫操作本質上是將主記憶體中的資料複製到執行緒的工作記憶體,然後進行更新,最後同步到主記憶體。如果此時有其他執行緒執行讀操作,可能會讀取到更新前到舊資料,就會造成資料不一致問題。
JMM 中定義的對寫操作的執行流程中,要先去主記憶體讀取資料,也就是說,一個寫操作前一定包含了一個讀操作,再算上其他的讀操作場景,可以得出結論,在實際的使用場景中,讀操作一定是多於寫操作的。
按照上面的說法,好像讀操作我們不需要進行執行緒安全處理,因為它本身就是執行緒安全的,那麼為什麼會有讀寫鎖,尤其是讀鎖這種東西存在呢?
試想一個場景,多個執行緒讀取一個共享資源,其中某個或某些執行緒在不確定的時間點會進行寫操作,那麼所有執行緒的讀取到的資料是安全的嗎?答案是不安全,因為寫操作寫入主記憶體不及時的話,後續其他執行緒的讀操作讀取到的資料就是主記憶體更新前的舊資料,就會導致髒資料問題。也就是說,寫操作需要保證執行緒安全,並且是獨佔鎖資源的,不能再寫操作執行時,存在其他執行緒去執行讀操作。那麼就需要讀鎖與寫鎖配合處理同步邏輯。
常規的保證執行緒安全的方法就是普通的互斥鎖,互斥鎖會被一個執行緒持有,對其他執行緒造成阻塞。如果對一段有讀操作也有寫操作的程式碼使用互斥鎖的話,對於爭用這個共享資料的所有執行緒來說,只有一個擁有鎖的執行緒可以正常執行,其他執行緒的邏輯即使是都是讀操作。其他執行緒會阻塞等待鎖資源。
讀寫鎖的優勢就是,在上面這種情況下,確保寫操作的互斥性,並在沒有寫操作的場景下,讀操作可以讓多個執行緒同時獲取鎖資源。
ReadWriteLock
ReentrantReadWriteLock 是基於 AbstractQueuedSynchronizer 並實現了 ReadWriteLock 介面實現的一個鎖機制。ReadWriteLock 定義了讀寫鎖的特性:
```java public interface ReadWriteLock { /* * Returns the lock used for reading. / Lock readLock();
/**
* Returns the lock used for writing.
*/
Lock writeLock();
} ```
ReadWriteLock 中定義了獲取兩種鎖的方式,一個用於獲取讀鎖、一個用於獲取寫鎖。只要沒有持有寫鎖的執行緒在執行,讀鎖可以同時被多個嘗試讀操作的執行緒持有,而寫鎖是排他鎖。
與互斥鎖相比,讀寫鎖在訪問共享資料時允許更高階的併發特性,即每次只有一個執行緒可以執行寫操作,並且在沒有寫操作時其他執行緒可以併發讀取共享資料。從讀操作的效率來看,如果是互斥鎖每次只能一個執行緒執行讀寫操作,而讀寫鎖可以多個執行緒讀,寫操作時才互斥,所以讀寫鎖的執行效率更高。
ReentrantReadWriteLock 原始碼分析
前面的內容介紹了讀寫鎖的含義和優勢,接下來分析 Java 併發包中對它的實現 ReentrantReadWriteLock 。
類關係
```java
public class ReentrantReadWriteLock implements ReadWriteLock, java.io.Serializable {
abstract static class Sync extends AbstractQueuedSynchronizer {
static final class HoldCounter
static final class ThreadLocalHoldCounter extends ThreadLocal
static final class NonfairSync extends Sync
static final class FairSync extends Sync
public static class ReadLock implements Lock, java.io.Serializable
public static class WriteLock implements Lock, java.io.Serializable
} ```
ReentrantReadWriteLock 實現了讀寫鎖介面 ReadWriteLock 和序列化介面 Serializable 。
它有一個抽象靜態內部類 Sync ,Sync 是 AQS 的抽象子類,Sync 有兩個靜態實現 NonfairSync 和 FairSync ,這部分是鎖邏輯的核心內容;Sync 還有兩個內部資料結構類 HoldCounter 和 ThreadLocalHoldCounter 。
ReadLock 和 WriteLock 分別對應了讀鎖和寫鎖,它們都實現了 Lock 介面和序列號介面 Serializable 。它們是 ReentrantReadWriteLock 中對不同操作的鎖型別的實現,使用了裝飾模式,本質上還是通過 Sync 的能力實現的。
Sync
核心邏輯是來自於 Sync 及其兩個實現,Sync 繼承自 AbstractQueuedSynchronizer ,自身有兩個內部類 HoldCounter 和 ThreadLocalHoldCounter 。
HoldCounter
java
static final class HoldCounter {
int count; // initially 0
// Use id, not reference, to avoid garbage retention
final long tid = LockSupport.getThreadId(Thread.currentThread());
}
HoldCounter 是一個計數器,count
用來記錄當前執行緒擁有讀鎖的數量,即讀鎖的重入次數;tid
用來記錄當前執行緒唯一 ID 。
Sync 有一個 cachedHoldCounter
屬性,用來做快取效果,避免每次都通過 ThreadLocal 去讀取資料。
ThreadLocalHoldCounter
java
static final class ThreadLocalHoldCounter extends ThreadLocal<HoldCounter> {
public HoldCounter initialValue() {
return new HoldCounter();
}
}
ThreadLocalHoldCounter 重寫了 ThreadLocal 的 initialValue()
,在 ThreadLocal 沒有進行過 set 資料的情況下,預設讀取到的值都來自於這個方法,也就是配合 ThreadLocal 使用,預設值返回一個新的 HoldCounter 例項。
在 Sync 中,有一個屬性 readHolds
,它的型別是 ThreadLocalHoldCounter ,用來做當前執行緒讀鎖重入計數器的 ThreadLocal 包裝,便於執行緒讀取自己的讀鎖重入計數器。
屬性
Sync 中定義的屬性包括:
java
abstract static class Sync extends AbstractQueuedSynchronizer {
// 高16位為讀鎖,低16位為寫鎖
static final int SHARED_SHIFT = 16;
// 讀鎖單位
static final int SHARED_UNIT = (1 << SHARED_SHIFT); // 1 * 2^16 = 65536
// 讀鎖最大數量
static final int MAX_COUNT = (1 << SHARED_SHIFT) - 1; // 2^16 - 1
// 寫鎖最大數量
static final int EXCLUSIVE_MASK = (1 << SHARED_SHIFT) - 1; // 2^16 - 1 獨佔標記
// 當前執行緒讀鎖重入次數。當持有讀鎖的執行緒數量下降到0時刪除。
private transient ThreadLocalHoldCounter readHolds;
// 快取物件,避免每次都去從 ThreadLocal 查詢。
private transient HoldCounter cachedHoldCounter;
// 第一個獲取讀鎖執行緒
private transient Thread firstReader;
// 第一個讀鎖執行緒重入讀鎖的計數
private transient int firstReaderHoldCount;
// ...
}
構造方法
java
Sync() {
readHolds = new ThreadLocalHoldCounter();
setState(getState()); // ensures visibility of readHolds
}
Sync 初始化方法建立了 ThreadLocalHoldCounter 並重新設定了 State ,為什麼要重新設定呢?因為這裡要讀取當前執行緒最新的同步狀態並重新設定,獲取實時的同步狀態。
核心方法
Sync 的關鍵方法包括: ```java abstract static class Sync extends AbstractQueuedSynchronizer { // 併發計數 static int sharedCount(int c) static int exclusiveCount(int c) // 阻塞檢查 abstract boolean readerShouldBlock(); abstract boolean writerShouldBlock(); // 獲取和釋放寫鎖 @ReservedStackAccess protected final boolean tryRelease(int releases)
@ReservedStackAccess
protected final boolean tryAcquire(int acquires)
// 獲取和釋放讀鎖
@ReservedStackAccess
protected final boolean tryReleaseShared(int unused)
@ReservedStackAccess
protected final int tryAcquireShared(int unused)
final int fullTryAcquireShared(Thread current)
// 嘗試加讀寫鎖
@ReservedStackAccess
final boolean tryWriteLock()
@ReservedStackAccess
final boolean tryReadLock()
// ...
} ```
鎖的計數方法
首先是兩個靜態方法 sharedCount(int c)
和 exclusiveCount(int c)
:
java
/** 表示共享持有的數量。 */
static int sharedCount(int c) { return c >>> SHARED_SHIFT; } // 無符號右移,高位補 0
/** 表示獨佔持有的數量。 */
static int exclusiveCount(int c) { return c & EXCLUSIVE_MASK; }
引數 c 是 AQS 中的 state,根據 state 進行位運算。這兩個方法可以根據鎖自身的狀態解析出持有讀寫鎖的數量。
sharedCount
,表示佔有讀鎖的執行緒數量。直接將 AQS 中的 state 右移 16 位,高位補 0,就可以得到讀鎖的執行緒數量,因為 state 的高十六位表示讀鎖,對應的低十六位表示寫鎖數量。exclusiveCount
,表示佔有寫鎖的執行緒數量。直接將 AQS 的 state 和 (2^16 - 1) 做與運算,其等效於將 state 模上 2^16 。寫鎖數量由 state 的低十六位表示。
讀寫鎖阻塞檢查方法
第二組方法是 readerShouldBlock
和 writerShouldBlock
,用來檢查當前的讀鎖/寫鎖是否會造成當前執行緒阻塞。
```java // 獲取和釋放對公平鎖和非公平鎖使用相同的程式碼,不同點在於但在佇列非空時是否/如何允許碰撞。
// 如果當前執行緒在嘗試獲取讀鎖時,並且在其他符合條件的執行緒也在嘗試獲取讀鎖,由於策略其他等待執行緒佔用了讀鎖,當前執行緒應該阻塞,則返回true。 abstract boolean readerShouldBlock();
// 如果當前執行緒在嘗試獲取寫鎖時,並且在其他符合條件的執行緒也在嘗試獲取寫鎖,由於策略其他等待執行緒佔用了寫鎖,當前執行緒應該阻塞,則返回true。 abstract boolean writerShouldBlock(); ```
這兩個方法的實現在 Sync 的子類中 -- 公平策略實現 FairSync 和非公平策略實現 NonfairSync。
公平策略實現 FairSync 和非公平策略實現 NonfairSync
```java // 非公平策略 static final class NonfairSync extends Sync { private static final long serialVersionUID = -8159625535654395037L;
final boolean writerShouldBlock() {
return false; // 正在持有寫鎖的執行緒永不阻塞
}
final boolean readerShouldBlock() {
return apparentlyFirstQueuedIsExclusive();
}
}
// 公平策略
static final class FairSync extends Sync {
private static final long serialVersionUID = -2274990926593161451L;
final boolean writerShouldBlock() {
return hasQueuedPredecessors();
}
final boolean readerShouldBlock() {
return hasQueuedPredecessors();
}
}
```
公平鎖策略和非公平鎖策略的實現,本質上的不同是這兩個方法的實現。
NonfairSync 非公平策略
NonfairSync 中,執行寫操作的執行緒是否應該進入阻塞狀態的判斷,直接是 false ,這是因為非公平策略下,如果當前自身已經擁有了寫鎖,直接重入,以獨佔的方式繼續執行(所以是不公平的)。
執行讀操作的執行緒是否會阻塞,是通過 apparentlyFirstQueuedIsExclusive()
判斷的,這個方法是 AQS 中的方法:
java
final boolean apparentlyFirstQueuedIsExclusive() {
Node h = head, s = head.next;
return h != null && s != null && !(s instanceof SharedNode) && s.waiter != null;
}
這個方法的作用是,CLH 佇列中的頭節點和它的的 next 都存在的情況下,如果 next 節點不是 SharedNode ,且它的關聯執行緒不為空的情況(即下一個鎖不是共享鎖,共享鎖在讀寫鎖裡就是讀鎖)的情況,會導致當前執行讀操作的執行緒進入阻塞狀態,確保寫操作的互斥特性。
FairSync 公平策略
FairSync 中,讀寫執行執行緒是否應該進入阻塞狀態都是根據 hasQueuedPredecessors()
方法判斷的:
```java public final boolean hasQueuedPredecessors() { Thread first = null; Node h = head, s = h.next; if (h != null && (s == null || (first = s.waiter) == null || s.prev == null)) first = getFirstQueuedThread(); // retry via getFirstQueuedThread return first != null && first != Thread.currentThread(); }
public final Thread getFirstQueuedThread() {
Thread first = null, w; Node h, s;
if ((h = head) != null && ((s = h.next) == null || (first = s.waiter) == null || s.prev == null)) {
// traverse from tail on stale reads
for (Node p = tail, q; p != null && (q = p.prev) != null; p = q)
if ((w = p.waiter) != null)
first = w;
}
return first;
}
```
hasQueuedPredecessors()
對 head 節點和它的 next 節點進行空檢查,並檢查下一個節點的執行執行緒和 prev 指標是否有值,滿足條件的情況下通過 getFirstQueuedThread()
方法獲取到佇列中第一個節點關聯的執行緒。最終返回的結過是檢查這個執行緒不等於當前執行緒。
如果存在等待佇列第一個等待執行的執行緒,那麼就優先執行這個執行緒。也就是說,不管當前執行緒是擁有讀鎖還是寫鎖,都優先執行等待佇列第一個未執行節點,這裡就能體現出公平,即優先執行等待佇列中頭一個等待的節點所關聯的執行緒。
Release 和 Acquire 方法組
這一組方法是整個 Sync 的核心邏輯,也是加解鎖核心邏輯。
tryRelease
:
java
@ReservedStackAccess
protected final boolean tryRelease(int releases) {
if (!isHeldExclusively()) // 不是獨佔持有鎖的情況,直接丟擲異常。
throw new IllegalMonitorStateException();
int nextc = getState() - releases; // AQS 當前鎖狀態 - releases = 新的鎖狀態
boolean free = exclusiveCount(nextc) == 0; // 根據新的鎖狀態獲取到獨佔寫鎖的數量 == 0
if (free)
setExclusiveOwnerThread(null); // 持有寫鎖的執行緒數為0,更新當前獨佔執行緒引用
setState(nextc); // 無論是不是解鎖了,都要更新鎖狀態
return free; // 最後返回鎖是否已經可用了
}
tryRelease(int releases)
用來嘗試釋放寫鎖。它的邏輯如下圖:
tryAcquire
:
java
@ReservedStackAccess
protected final boolean tryAcquire(int acquires) {
/*
* 工作流程:
* 1. 如果寫鎖計數非零或所有者是不同的執行緒,則失敗。
* 2. 如果寫鎖計數超過最大數量,失敗(這隻發生在計數非 0 的情況)。
* 3. 否則,如果這個執行緒是可重入的獲取方式或者佇列策略允許的話,它就有資格獲得鎖。
* 如果是,更新狀態並設定 owner。
*/
Thread current = Thread.currentThread(); // 當前執行緒
int c = getState(); // 當前鎖狀態
int w = exclusiveCount(c); // 計算擁有寫鎖的執行緒數量
if (c != 0) { // 0 是鎖可用狀態,當前狀態表面鎖狀態為被持有。
if (w == 0 || current != getExclusiveOwnerThread()) // 對應 【1】 的情況,寫執行緒數量為0或者當前執行緒沒有佔有獨佔資源
return false;
if (w + exclusiveCount(acquires) > MAX_COUNT) // 對應【2】的情況, 判斷是否超過最高寫執行緒數量
throw new Error("Maximum lock count exceeded");
// 重入獲取寫鎖
setState(c + acquires);
return true;
}
if (writerShouldBlock() || !compareAndSetState(c, c + acquires)) // 是否應該阻塞或更新狀態是否成功,失敗直接 return false;
return false;
setExclusiveOwnerThread(current); // 設定當前為持有鎖的執行緒。
return true;
}
此函式用於獲取寫鎖,首先會獲取 state ,判斷 state 是否為0。
若為0,表示此時沒有讀鎖執行緒,再判斷寫執行緒是否應該被阻塞,而在非公平策略下總是不會被阻塞,在公平策略下會進行判斷(判斷同步佇列中是否有等待時間更長的執行緒,若存在,則需要被阻塞,否則,無需阻塞),之後在設定狀態state,然後返回true。若state不為0,則表示此時存在讀鎖或寫鎖執行緒,若寫鎖執行緒數量為0或者當前執行緒為獨佔鎖執行緒,則返回false,表示不成功,否則,判斷寫鎖執行緒的重入次數是否大於了最大值,若是,則丟擲異常,否則,設定狀態state,返回true,表示成功。其函式流程圖如下:
tryReleaseShared
:
java
@ReservedStackAccess
protected final boolean tryReleaseShared(int unused) {
Thread current = Thread.currentThread(); // 當前執行緒
if (firstReader == current) { // 當前執行緒是否是第一個讀執行緒
// assert firstReaderHoldCount > 0;
if (firstReaderHoldCount == 1)
firstReader = null; // 釋放執行緒引用
else
firstReaderHoldCount--; // 當前執行緒重入次數自減
} else {
HoldCounter rh = cachedHoldCounter; // 獲取當前執行緒的重入讀鎖的次數
if (rh == null || rh.tid != LockSupport.getThreadId(current))
rh = readHolds.get();
int count = rh.count;
if (count <= 1) {
readHolds.remove();
if (count <= 0)
throw unmatchedUnlockException();
}
--rh.count;
}
// 死迴圈直到更新狀態成功
for (;;) {
int c = getState();
int nextc = c - SHARED_UNIT;
if (compareAndSetState(c, nextc))
// Releasing the read lock has no effect on readers,
// but it may allow waiting writers to proceed if
// both read and write locks are now free.
return nextc == 0;
}
}
tryAcquireShared
:
java
@ReservedStackAccess
protected final int tryAcquireShared(int unused) {
/*
* Walkthrough:
* 1. If write lock held by another thread, fail.
* 2. Otherwise, this thread is eligible for
* lock wrt state, so ask if it should block
* because of queue policy. If not, try
* to grant by CASing state and updating count.
* Note that step does not check for reentrant
* acquires, which is postponed to full version
* to avoid having to check hold count in
* the more typical non-reentrant case.
* 3. If step 2 fails either because thread
* apparently not eligible or CAS fails or count
* saturated, chain to version with full retry loop.
*/
Thread current = Thread.currentThread();
int c = getState();
if (exclusiveCount(c) != 0 && getExclusiveOwnerThread() != current) // 當獨佔執行緒不是當前執行緒
return -1;
int r = sharedCount(c); // 共享讀鎖的執行緒數量
// 檢查讀執行緒不應該阻塞 and 持有讀鎖的執行緒數量小於 MAX_COUNT and 更新鎖狀態成功
if (!readerShouldBlock() && r < MAX_COUNT && compareAndSetState(c, c + SHARED_UNIT)) {
if (r == 0) { // 第一個嘗試獲取讀鎖的執行緒
firstReader = current;
firstReaderHoldCount = 1;
} else if (firstReader == current) { // 第一個執行緒重入
firstReaderHoldCount++;
} else {
HoldCounter rh = cachedHoldCounter;
// 無快取 or 當前執行緒不是計數器所線上程
if (rh == null || rh.tid != LockSupport.getThreadId(current))
cachedHoldCounter = rh = readHolds.get(); // 從 ThreadLocal 中讀取
else if (rh.count == 0)
readHolds.set(rh);
rh.count++; // 當前執行緒獲取讀鎖次數 + 1
}
return 1;
}
return fullTryAcquireShared(current);
}
最後執行到了 fullTryAcquireShared
:
java
final int fullTryAcquireShared(Thread current) {
/*
* 這段程式碼與 tryAcquireShared 中的部分程式碼是冗餘的,但總體上更簡單,因為它不會使
* tryAcquireShared 在重試和懶載入讀鎖計數之間的互動複雜化。
*/
HoldCounter rh = null;
for (;;) { // 死迴圈,不斷嘗試
int c = getState();
if (exclusiveCount(c) != 0) { // 獨佔檢查是否是當前執行緒
if (getExclusiveOwnerThread() != current)
return -1;
// 否則我們持有獨佔鎖;這裡的阻塞將導致死鎖。
} else if (readerShouldBlock()) {
// 確保我們不是重入式地獲取讀鎖
if (firstReader == current) {
// assert firstReaderHoldCount > 0;
} else {
// 不是重入的情況下,更新 HoldCounter
if (rh == null) {
rh = cachedHoldCounter;
if (rh == null || rh.tid != LockSupport.getThreadId(current)) {
rh = readHolds.get();
if (rh.count == 0)
readHolds.remove();
}
}
if (rh.count == 0)
return -1;
}
}
// 共享讀鎖 == 最大數量,丟擲異常
if (sharedCount(c) == MAX_COUNT) throw new Error("Maximum lock count exceeded");
// 是否能夠設定成功
if (compareAndSetState(c, c + SHARED_UNIT)) {
if (sharedCount(c) == 0) { // 第一個執行緒
firstReader = current;
firstReaderHoldCount = 1;
} else if (firstReader == current) { // 重入
firstReaderHoldCount++;
} else { // 其他情況
if (rh == null)
rh = cachedHoldCounter;
if (rh == null || rh.tid != LockSupport.getThreadId(current))
rh = readHolds.get();
else if (rh.count == 0)
readHolds.set(rh);
rh.count++;
cachedHoldCounter = rh; // cache for release
}
return 1;
}
}
}
這個方法的整體邏輯與 tryAcquireShared 基本相同。
ReadLock
```java public static class ReadLock implements Lock, java.io.Serializable { private static final long serialVersionUID = -5992448646407690164L; private final Sync sync;
protected ReadLock(ReentrantReadWriteLock lock) {
sync = lock.sync;
}
public void lock() {
sync.acquireShared(1);
}
public void lockInterruptibly() throws InterruptedException {
sync.acquireSharedInterruptibly(1);
}
public boolean tryLock() {
return sync.tryReadLock();
}
public boolean tryLock(long timeout, TimeUnit unit)
throws InterruptedException {
return sync.tryAcquireSharedNanos(1, unit.toNanos(timeout));
}
public void unlock() {
sync.releaseShared(1);
}
public Condition newCondition() {
throw new UnsupportedOperationException();
}
// ...
} ```
ReadLock 實現了 Lock 介面,代理呼叫到邏輯都是 Sync 中 Shared 組的核心方法。ReadLock 可以通過 readLock(): ReadLock
方法獲取到。
還有一點值得注意,newCondition()
方法直接丟擲了異常,這是因為讀鎖是一種共享鎖,不會導致互斥,所以也就不支援使用 Condition 控制阻塞與喚醒。
WriteLock
```java public static class WriteLock implements Lock, java.io.Serializable { private static final long serialVersionUID = -4992448646407690164L; private final Sync sync;
protected WriteLock(ReentrantReadWriteLock lock) {
sync = lock.sync;
}
public void lock() {
sync.acquire(1);
}
public void lockInterruptibly() throws InterruptedException {
sync.acquireInterruptibly(1);
}
public boolean tryLock() {
return sync.tryWriteLock();
}
public boolean tryLock(long timeout, TimeUnit unit)
throws InterruptedException {
return sync.tryAcquireNanos(1, unit.toNanos(timeout));
}
public void unlock() {
sync.release(1);
}
public Condition newCondition() {
return sync.newCondition();
}
public String toString() {
Thread o = sync.getOwner();
return super.toString() + ((o == null) ? "[Unlocked]" : "[Locked by thread " + o.getName() + "]");
}
public boolean isHeldByCurrentThread() {
return sync.isHeldExclusively();
}
public int getHoldCount() {
return sync.getWriteHoldCount();
}
} ```
寫鎖本質上也是代理 Sync 中的核心方法。
讀寫鎖降級
鎖降級指的是寫鎖降級為讀鎖,如果當前執行緒擁有寫鎖,將其釋放然後再獲取讀鎖,這種操作過程不是鎖降級。鎖降級是指把執行緒當前持有寫鎖,再去獲取讀鎖,隨後釋放寫鎖,這個流程稱為鎖降級。
java
public void processData() {
readLock.lock();
if (!update) {
// 必須先釋放讀鎖
readLock.unlock();
// 鎖降級從寫鎖獲取到開始
writeLock.lock();
try {
if (!update) {
// 準備資料的流程(略)
update = true;
}
readLock.lock();
} finally {
writeLock.unlock();
}
// 鎖降級完成,寫鎖降級為讀鎖
}
try {
// 使用資料的流程(略)
} finally {
readLock.unlock();
}
}
鎖降級可以保證資料的可見性,如果再持有寫鎖的情況下,不先去獲取讀鎖,直接釋放寫鎖,再嘗試獲取讀鎖,這一系列操作中會有短暫的無鎖狀態,此時如果有其他執行緒獲取了寫鎖並修改資料,那麼當前執行緒就無法感知到資料更新,如果當前執行緒先獲取了讀鎖,那麼其他執行緒就會阻塞,直到當前執行緒釋放讀鎖後才能獲取寫鎖進行更新。
讀寫鎖 ReentrantReadWriteLock 不支援鎖升級,目的是保證資料的可見性,如果讀鎖已被多個執行緒獲取,其中任意執行緒成功獲取了寫鎖,並更新了資料,那麼這個更新對其他執行緒是不可見的,容易造成資料不一致問題。
總結
- ReentrantReadWriteLock 底層加解鎖原理是 AQS
- ReentrantReadWriteLock 分為 ReadLock 和 WriteLock 兩種鎖,ReadLock 是共享鎖,WriteLock 是互斥鎖。
- ReentrantReadWriteLock 的寫鎖可重入是根據 AQS 中的 state 計數的;讀鎖的可重入是 Sync 中的 HoldCounter 來記錄的。
- 公平策略和非公平策略都需要對讀鎖和寫鎖分別實現一個判斷邏輯。
- 核心實現在 Sync 方法中。
- 通知監控 NotificationListenerService 的 onNotificationPosted 重複回撥問題
- Android View 知識體系
- Kotlin 協程的取消機制超詳細解讀
- Android ViewPager2 使用 自定義指示器檢視
- Android ViewModel 超詳細分析
- Android 無障礙監聽通知的過程
- ADB 模擬輸入事件總結
- Android 單元測試基礎
- Java 多執行緒併發【13】FutureTask
- Android UI 測試基礎
- Android 無障礙全域性懸浮窗實現方案
- Java 多執行緒併發 【11】ReentrantReadWriteLock
- Java 多執行緒併發 【10】ReentrantLock
- Java 多執行緒併發【8】LockSupport
- Java 多執行緒併發【4】虛擬機器鎖優化方案
- 散列表 及其在 JDK 中的實現
- Android 應用架構指南
- Kotlin/Java 資料型別的底層邏輯
- Android 主執行緒一定是 UI 執行緒嗎?
- Context.getSystemService 獲取 Manager 的底層實現