Java 語言通過 synchronized 關鍵字來保證原子性,這是因為每一個 ob ject 都有一個隱含的鎖,這個也稱作監視器物件。在進入 synchronized 之前自動獲取此內部鎖,而一旦離開此方式,無論是完成或者中斷都會自動釋放鎖。顯然這是一個獨佔鎖,每個鎖請求之間是互斥的。下面是小編為大家帶來的Java程式死鎖問題原理及解決方案,歡迎閱讀。
死鎖描述
死鎖是作業系統層面的一個錯誤,是程序死鎖的簡稱,最早在 1965 年由 Dijkstra 在研究銀行家演算法時提出的,它是計算機作業系統乃至整個併發程式設計領域最難處理的問題之一。
事實上,計算機世界有很多事情需要多執行緒方式去解決,因為這樣才能最大程度上利用資源,才能體現出計算的高效。但是,實際上來說,計算機系統中有很多一次只能由一個程序使用的資源的情況,例如印表機,同時只能有一個程序控制它。在多通道程式設計環境中,若干程序往往要共享這類資源,而且一個程序所需要的資源還很有可能不止一個。因此,就會出現若干程序競爭有限資源,又推進順序不當,從而構成無限期迴圈等待的局面。我們稱這種狀態為死鎖。簡單一點描述,死鎖是指多個程序迴圈等待它方佔有的資源而無限期地僵持下去的局面。很顯然,如果沒有外力的作用,那麼死鎖涉及到的各個程序都將永遠處於封鎖狀態。
系統發生死鎖現象不僅浪費大量的系統資源,甚至導致整個系統崩潰,帶來災難性後果。所以,對於死鎖問題在理論上和技術上都必須予以高度重視。
銀行家演算法
一個銀行家如何將一定數目的資金安全地借給若干個客戶,使這些客戶既能借到錢完成要乾的事,同時銀行家又能收回全部資金而不至於破產。銀行家就像一個作業系統,客戶就像執行的程序,銀行家的資金就是系統的資源。
銀行家演算法需要確保以下四點:
當一個顧客對資金的最大需求量不超過銀行家現有的資金時就可接納該顧客;
顧客可以分期貸款, 但貸款的總數不能超過最大需求量;
當銀行家現有的資金不能滿足顧客尚需的貸款數額時,對顧客的貸款可推遲支付,但總能使顧客在有限的時間裡得到貸款;
當顧客得到所需的全部資金後,一定能在有限的時間裡歸還所有的資金。
清單 1. 銀行家演算法實現
/*一共有5個程序需要請求資源,有3類資源*/
public class BankDemo {
// 每個程序所需要的最大資源數
public static int MAX[][] = { { 7, 5, 3 }, { 3, 2, 2 }, { 9, 0, 2 },
{ 2, 2, 2 }, { 4, 3, 3 } };
// 系統擁有的初始資源數
public static int AVAILABLE[] = { 10, 5, 7 };
// 系統已給每個程序分配的資源數
public static int ALLOCATION[][] = { { 0, 0, 0 }, { 0, 0, 0 }, { 0, 0, 0 },
{ 0, 0, 0 }, { 0, 0, 0 } };
// 每個程序還需要的資源數
public static int NEED[][] = { { 7, 5, 3 }, { 3, 2, 2 }, { 9, 0, 2 },
{ 2, 2, 2 }, { 4, 3, 3 } };
// 每次申請的資源數
public static int Request[] = { 0, 0, 0 };
// 程序數與資源數
public static int M = 5, N = 3;
int FALSE = 0;
int TRUE = 1;
public void showdata() {
int i, j;
t("系統可用的資源數為:/n");
for (j = 0; j < N; j++) {
t("資源" + j + ":" + AVAILABLE[j] + " ");
}
tln();
tln("各程序還需要的資源量:");
for (i = 0; i < M; i++) {
t("程序" + i + ":");
for (j = 0; j < N; j++) {
t("資源" + j + ":" + NEED[i][j] + " ");
}
t("/n");
}
t("各程序已經得到的資源量: /n");
for (i = 0; i < M; i++) {
t("程序");
t(i);
for (j = 0; j < N; j++) {
t("資源" + j + ":" + ALLOCATION[i][j] + " ");
}
t("/n");
}
}
// 分配資源,並重新更新各種狀態
public void changdata(int k) {
int j;
for (j = 0; j < N; j++) {
AVAILABLE[j] = AVAILABLE[j] - Request[j];
ALLOCATION[k][j] = ALLOCATION[k][j] + Request[j];
NEED[k][j] = NEED[k][j] - Request[j];
}
};
// 回收資源,並重新更新各種狀態
public void rstordata(int k) {
int j;
for (j = 0; j < N; j++) {
AVAILABLE[j] = AVAILABLE[j] + Request[j];
ALLOCATION[k][j] = ALLOCATION[k][j] - Request[j];
NEED[k][j] = NEED[k][j] + Request[j];
}
};
// 釋放資源
public void free(int k) {
for (int j = 0; j < N; j++) {
AVAILABLE[j] = AVAILABLE[j] + ALLOCATION[k][j];
t("釋放" + k + "號程序的" + j + "資源!/n");
}
}
public int check0(int k) {
int j, n = 0;
for (j = 0; j < N; j++) {
if (NEED[k][j] == 0)
n++;
}
if (n == 3)
return 1;
else
return 0;
}
// 檢查安全性函式
//所以銀行家演算法其核心是:保證銀行家系統的資源數至少不小於一個客戶的所需要的資源數。在安全性檢查函式 chkerr() 上由這個方法來實現
//這個迴圈來進行核心判斷,從而完成了銀行家演算法的安全性檢查工作。
public int chkerr(int s) {
int WORK;
int FINISH[] = new int[M], temp[] = new int[M];// 儲存臨時的安全程序序列
int i, j, k = 0;
for (i = 0; i < M; i++)
FINISH[i] = FALSE;
for (j = 0; j < N; j++) {
WORK = AVAILABLE[j]; // 第 j 個資源可用數
i = s;
// 判斷第 i 個程序是否滿足條件
while (i < M) {
if (FINISH[i] == FALSE && NEED[i][j] <= WORK) {
WORK = WORK + ALLOCATION[i][j];
FINISH[i] = TRUE;
temp[k] = i;
k++;
i = 0;
} else {
i++;
}
}
for (i = 0; i < M; i++)
if (FINISH[i] == FALSE) {
t("/n 系統不安全!!! 本次資源申請不成功!/n");
return 1;
}
}
t("/n 經安全性檢查,系統安全,本次分配成功。/n");
t("本次安全序列:");
for (i = 0; i < M - 1; i++) {
t("程序" + temp[i] + "->");
}
t("程序" + temp[M - 1]);
tln("/n");
return 0;
}
}
死鎖示例
死鎖問題是多執行緒特有的問題,它可以被認為是執行緒間切換消耗系統性能的一種極端情況。在死鎖時,執行緒間相互等待資源,而又不釋放自身的資源,導致無窮無盡的等待,其結果是系統任務永遠無法執行完成。死鎖問題是在多執行緒開發中應該堅決避免和杜絕的問題。
一般來說,要出現死鎖問題需要滿足以下條件:
1. 互斥條件:一個資源每次只能被一個執行緒使用。
2. 請求與保持條件:一個程序因請求資源而阻塞時,對已獲得的資源保持不放。
3. 不剝奪條件:程序已獲得的資源,在未使用完之前,不能強行剝奪。
4. 迴圈等待條件:若干程序之間形成一種頭尾相接的迴圈等待資源關係。
只要破壞死鎖 4 個必要條件之一中的任何一個,死鎖問題就能被解決。
我們先來看一個示例,前面說過,死鎖是兩個甚至多個執行緒被永久阻塞時的'一種執行局面,這種局面的生成伴隨著至少兩個執行緒和兩個或者多個資源。程式碼清單 2 所示的示例中,我們編寫了一個簡單的程式,它將會引起死鎖發生,然後我們就會明白如何分析它。
清單 2. 死鎖示例
public class ThreadDeadlock {
public static void main(String[] args) throws InterruptedException {
ob ject obj1 = new ob ject();
ob ject obj2 = new ob ject();
ob ject obj3 = new ob ject();
Thread t1 = new Thread(new SyncThread(obj1, obj2), "t1");
Thread t2 = new Thread(new SyncThread(obj2, obj3), "t2");
Thread t3 = new Thread(new SyncThread(obj3, obj1), "t3");
t();
p(5000);
t();
p(5000);
t();
}
}
class SyncThread implements Runnable{
private ob ject obj1;
private ob ject obj2;
public SyncThread(ob ject o1, ob ject o2){
1=o1;
2=o2;
}
@Override
public void run() {
String name = entThread()ame();
tln(name + " acquiring lock on "+obj1);
synchronized (obj1) {
tln(name + " acquired lock on "+obj1);
work();
tln(name + " acquiring lock on "+obj2);
synchronized (obj2) {
tln(name + " acquired lock on "+obj2);
work();
}
tln(name + " released lock on "+obj2);
}
tln(name + " released lock on "+obj1);
tln(name + " finished execution.");
}
private void work() {
try {
p(30000);
} catch (InterruptedException e) {
tStackTrace();
}
}
}
在上面的程式中同步執行緒正完成 Runnable 的介面,它工作的是兩個物件,這兩個物件向對方尋求死鎖而且都在使用同步阻塞。在主函式中,我使用了三個為同步執行緒執行的執行緒,而且在其中每個執行緒中都有一個可共享的資源。這些執行緒以向第一個物件獲取封鎖這種方式執行。但是當它試著向第二個物件獲取封鎖時,它就會進入等待狀態,因為它已經被另一個執行緒封鎖住了。這樣,線上程引起死鎖的過程中,就形成了一個依賴於資源的迴圈。當我執行上面的程式時,就產生了輸出,但是程式卻因為死鎖無法停止。輸出如清單 3 所示。
清單 3. 清單 2 執行輸出
t1 acquiring lock on ject@1dd3812
t1 acquired lock on ject@1dd3812
t2 acquiring lock on ject@c791b9
t2 acquired lock on ject@c791b9
t3 acquiring lock on ject@1aa9f99
t3 acquired lock on ject@1aa9f99
t1 acquiring lock on ject@c791b9
t2 acquiring lock on ject@1aa9f99
在此我們可以清楚地在輸出結果中辨認出死鎖局面,但是在我們實際所用的應用中,發現死鎖並將它排除是非常難的。
死鎖情況診斷
JVM 提供了一些工具可以來幫助診斷死鎖的發生,如下面程式清單 4 所示,我們實現了一個死鎖,然後嘗試通過 jstack 命令追蹤、分析死鎖發生。
清單 4. 死鎖程式碼
import trantLock;
//下面演示一個簡單的死鎖,兩個執行緒分別佔用 south 鎖和 north 鎖,並同時請求對方佔用的鎖,導致死鎖
public class DeadLock extends Thread{
protected ob ject myDirect;
static ReentrantLock south = new ReentrantLock();
static ReentrantLock north = new ReentrantLock();
public DeadLock(ob ject obj){
rect = obj;
if(myDirect==south){
ame("south");
}else{
ame("north");
}
}
@Override
public void run(){
if(myDirect==south){
try{
Interruptibly();//佔用 north
try{
p(500);
}catch(Exception ex){
tStackTrace();
}
Interruptibly();
tln("car to south has passed");
}catch(InterruptedException ex){
tln("car to south is killed");
tStackTrace();
}finally{
if(ldByCurrentThread()){
ck();
}
if(ldByCurrentThread()){
ck();
}
}
}
if(myDirect==north){
try{
Interruptibly();//佔用 south
try{
p(500);
}catch(Exception ex){
tStackTrace();
}
Interruptibly();
tln("car to north has passed");
}catch(InterruptedException ex){
tln("car to north is killed");
tStackTrace();
}finally{
if(ldByCurrentThread()){
ck();
}
if(ldByCurrentThread()){
ck();
}
}
}
}
public static void main(String[] args) throws InterruptedException{
DeadLock car2south = new DeadLock(south);
DeadLock car2north = new DeadLock(north);
t();
t();
}
}
jstack 可用於匯出 Java 應用程式的執行緒堆疊,-l 選項用於列印鎖的附加資訊。我們執行 jstack 命令,輸出入清單 5 和 6 所示,其中清單 5 裡面可以看到執行緒處於執行狀態,程式碼中呼叫了擁有鎖投票、定時鎖等候和可中斷鎖等候等特性的 ReentrantLock 鎖機制。清單 6 直接打印出出現死鎖情況,報告 north 和 sourth 兩個執行緒互相等待資源,出現了死鎖。
清單 5. jstack 執行輸出 1
[root@facenode4 ~]# jstack -l 31274
2015-01-29 12:40:27
Full thread dump Java HotSpot(TM) 64-Bit Server VM (20.45-b01 mixed mode):
"Attach Listener" daemon prio=10 tid=0x00007f6d3c001000 nid=
0x7a87 waiting on condition [0x0000000000000000]
e: RUNNABLE
Locked ownable synchronizers:
- None
"DestroyJavaVM" prio=10 tid=0x00007f6da4006800 nid=
0x7a2b waiting on condition [0x0000000000000000]
e: RUNNABLE
Locked ownable synchronizers:
- None
"north" prio=10 tid=0x00007f6da4101800 nid=
0x7a47 waiting on condition [0x00007f6d8963b000]
e: WAITING (parking)
at (Native Method)
- parking to wait for <0x000000075903c7c8> (
a trantLock$NonfairSync)
at ()
at ractQueuedSynchronizer.
parkAndCheckInterrupt()
at ractQueuedSynchronizer.
doAcquireInterruptibly()
at ractQueuedSynchronizer.
acquireInterruptibly()
at Interruptibly()
at ()
Locked ownable synchronizers:
- <0x000000075903c798> (a trantLock$NonfairSync)
"south" prio=10 tid=0x00007f6da4100000 nid=
0x7a46 waiting on condition [0x00007f6d8973c000]
e: WAITING (parking)
at (Native Method)
- parking to wait for <0x000000075903c798> (
a trantLock$NonfairSync)
at ()
at ractQueuedSynchronizer.
parkAndCheckInterrupt()
at ractQueuedSynchronizer.
doAcquireInterruptibly()
at ractQueuedSynchronizer.
acquireInterruptibly()
at Interruptibly()
at ()
Locked ownable synchronizers:
- <0x000000075903c7c8> (a trantLock$NonfairSync)
"Low Memory Detector" daemon prio=10 tid=0x00007f6da40d2800 nid=
0x7a44 runnable [0x0000000000000000]
e: RUNNABLE
Locked ownable synchronizers:
- None
"C2 CompilerThread1" daemon prio=10 tid=0x00007f6da40d0000 nid=
0x7a43 waiting on condition [0x0000000000000000]
e: RUNNABLE
Locked ownable synchronizers:
- None
"C2 CompilerThread0" daemon prio=10 tid=0x00007f6da40cd000 nid=
0x7a42 waiting on condition [0x0000000000000000]
e: RUNNABLE
Locked ownable synchronizers:
- None
"Signal Dispatcher" daemon prio=10 tid=0x00007f6da40cb000 nid=
0x7a41 runnable [0x0000000000000000]
e: RUNNABLE
Locked ownable synchronizers:
- None
"Finalizer" daemon prio=10 tid=0x00007f6da40af000 nid=
0x7a40 in ob () [0x00007f6d89d44000]
e: WAITING (on ob ject monitor)
at (Native Method)
- waiting on <0x0000000759001300> (a renceQueue$Lock)
at ve()
- locked <0x0000000759001300> (a renceQueue$Lock)
at ve()
at lizer$()
Locked ownable synchronizers:
- None
"Reference Handler" daemon prio=10 tid=0x00007f6da40ad000 nid=
0x7a3f in ob () [0x00007f6d89e45000]
e: WAITING (on ob ject monitor)
at (Native Method)
- waiting on <0x00000007590011d8> (a rence$Lock)
at (ob )
at rence$()
- locked <0x00000007590011d8> (a rence$Lock)
Locked ownable synchronizers:
- None
"VM Thread" prio=10 tid=0x00007f6da40a6000 nid=0x7a3e runnable
"GC task thread#0 (ParallelGC)" prio=10 tid=0x00007f6da4019800 nid=0x7a2c runnable
"GC task thread#1 (ParallelGC)" prio=10 tid=0x00007f6da401b000 nid=0x7a2d runnable
"GC task thread#2 (ParallelGC)" prio=10 tid=0x00007f6da401d000 nid=0x7a2e runnable
"GC task thread#3 (ParallelGC)" prio=10 tid=0x00007f6da401f000 nid=0x7a2f runnable
"GC task thread#4 (ParallelGC)" prio=10 tid=0x00007f6da4020800 nid=0x7a30 runnable
"GC task thread#5 (ParallelGC)" prio=10 tid=0x00007f6da4022800 nid=0x7a31 runnable
"GC task thread#6 (ParallelGC)" prio=10 tid=0x00007f6da4024800 nid=0x7a32 runnable
"GC task thread#7 (ParallelGC)" prio=10 tid=0x00007f6da4026000 nid=0x7a33 runnable
"GC task thread#8 (ParallelGC)" prio=10 tid=0x00007f6da4028000 nid=0x7a34 runnable
"GC task thread#9 (ParallelGC)" prio=10 tid=0x00007f6da402a000 nid=0x7a35 runnable
"GC task thread#10 (ParallelGC)" prio=10 tid=0x00007f6da402b800 nid=0x7a36 runnable
"GC task thread#11 (ParallelGC)" prio=10 tid=0x00007f6da402d800 nid=0x7a37 runnable
"GC task thread#12 (ParallelGC)" prio=10 tid=0x00007f6da402f800 nid=0x7a38 runnable
"GC task thread#13 (ParallelGC)" prio=10 tid=0x00007f6da4031000 nid=0x7a39 runnable
"GC task thread#14 (ParallelGC)" prio=10 tid=0x00007f6da4033000 nid=0x7a3a runnable
"GC task thread#15 (ParallelGC)" prio=10 tid=0x00007f6da4035000 nid=0x7a3b runnable
"GC task thread#16 (ParallelGC)" prio=10 tid=0x00007f6da4036800 nid=0x7a3c runnable
"GC task thread#17 (ParallelGC)" prio=10 tid=0x00007f6da4038800 nid=0x7a3d runnable
"VM Periodic Task Thread" prio=10 tid=0x00007f6da40dd000 nid=0x7a45 waiting on condition
JNI global references: 886
清單 6. jstack 執行輸出片段 2
Found one Java-level deadlock:
=============================
"north":
waiting for ownable synchronizer 0x000000075903c7c8, (
a trantLock$NonfairSync),
which is held by "south"
"south":
waiting for ownable synchronizer 0x000000075903c798, (
a trantLock$NonfairSync),
which is held by "north"
Java stack information for the threads listed above:
===================================================
"north":
at (Native Method)
- parking to wait for <0x000000075903c7c8> (
a trantLock$NonfairSync)
at ()
at ractQueuedSynchronizer.
parkAndCheckInterrupt()
at ractQueuedSynchronizer.
doAcquireInterruptibly()
at ractQueuedSynchronizer.
acquireInterruptibly()
at Interruptibly()
at ()
"south":
at (Native Method)
- parking to wait for <0x000000075903c798> (
a trantLock$NonfairSync)
at ()
at ractQueuedSynchronizer.
parkAndCheckInterrupt()
at ractQueuedSynchronizer.
doAcquireInterruptibly()
at ractQueuedSynchronizer.
acquireInterruptibly()
at Interruptibly()
at ()
Found 1 deadlock.
死鎖解決方案
死鎖是由四個必要條件導致的,所以一般來說,只要破壞這四個必要條件中的一個條件,死鎖情況就應該不會發生。
如果想要打破互斥條件,我們需要允許程序同時訪問某些資源,這種方法受制於實際場景,不太容易實現條件;
打破不可搶佔條件,這樣需要允許程序強行從佔有者那裡奪取某些資源,或者簡單一點理解,佔有資源的程序不能再申請佔有其他資源,必須釋放手上的資源之後才能發起申請,這個其實也很難找到適用場景;
程序在執行前申請得到所有的資源,否則該程序不能進入準備執行狀態。這個方法看似有點用處,但是它的缺點是可能導致資源利用率和程序併發性降低;
避免出現資源申請環路,即對資源事先分類編號,按號分配。這種方式可以有效提高資源的利用率和系統吞吐量,但是增加了系統開銷,增大了程序對資源的佔用時間。
如果我們在死鎖檢查時發現了死鎖情況,那麼就要努力消除死鎖,使系統從死鎖狀態中恢復過來。消除死鎖的幾種方式:
1. 最簡單、最常用的方法就是進行系統的重新啟動,不過這種方法代價很大,它意味著在這之前所有的程序已經完成的計算工作都將付之東流,包括參與死鎖的那些程序,以及未參與死鎖的程序;
2. 撤消程序,剝奪資源。終止參與死鎖的程序,收回它們佔有的資源,從而解除死鎖。這時又分兩種情況:一次性撤消參與死鎖的全部程序,剝奪全部資源;或者逐步撤消參與死鎖的程序,逐步收回死鎖程序佔有的資源。一般來說,選擇逐步撤消的程序時要按照一定的原則進行,目的是撤消那些代價最小的程序,比如按程序的優先順序確定程序的代價;考慮程序執行時的代價和與此程序相關的外部作業的代價等因素;
3. 程序回退策略,即讓參與死鎖的程序回退到沒有發生死鎖前某一點處,並由此點處繼續執行,以求再次執行時不再發生死鎖。雖然這是個較理想的辦法,但是操作起來系統開銷極大,要有堆疊這樣的機構記錄程序的每一步變化,以便今後的回退,有時這是無法做到的。
其實即便是商業產品,依然會有很多死鎖情況的發生,例如 MySQL 資料庫,它也經常容易出現死鎖案例。
MySQL 死鎖情況解決方法
假設我們用 Show innodb status 檢查引擎狀態時發現了死鎖情況,如清單 7 所示。
清單 7. MySQL 死鎖
WAITING FOR THIS LOCK TO BE GRANTED:
RECORD LOCKS space id 0 page no 843102 n bits 600 index `KEY_TSKTASK_MONTIME2` of table
`dcnet_db/TSK_TASK` trx id 0 677833454 lock_mode X locks rec but not gap waiting
Record lock, heap no 395 PHYSICAL RECORD: n_fields 3; compact format; info bits 0
0: len 8; hex 8000000000000425; asc %;; 1: len 8; hex 800012412c66d29c;
asc A,f ;; 2: len 8; hex 800000000097629c; asc b ;;
*** WE ROLL BACK TRANSACTION (1)
我們假設涉事的資料表上面有一個索引,這次的死鎖就是由於兩條記錄同時訪問到了相同的索引造成的。
我們首先來看看 InnoDB 型別的資料表,只要能夠解決索引問題,就可以解決死鎖問題。MySQL 的 InnoDB 引擎是行級鎖,需要注意的是,這不是對記錄進行鎖定,而是對索引進行鎖定。在 UPDATE、DELETE 操作時,MySQL 不僅鎖定 WHERE 條件掃描過的所有索引記錄,而且會鎖定相鄰的鍵值,即所謂的 next-key locking;
如語句 UPDATE TSK_TASK SET UPDATE_TIME = NOW() WHERE ID > 10000 會鎖定所有主鍵大於等於 1000 的所有記錄,在該語句完成之前,你就不能對主鍵等於 10000 的記錄進行操作;當非簇索引 (non-cluster index) 記錄被鎖定時,相關的簇索引 (cluster index) 記錄也需要被鎖定才能完成相應的操作。
再分析一下發生問題的兩條 SQL 語句:
當“TSK_TASK set STATUS_ID=1064,UPDATE_TIME=now () where STATUS_ID=1061 and MON_TIME
假設“TSK_TASK set STATUS_ID=1067,UPDATE_TIME=now () where ID in (9921180)”幾乎同時執行時,本語句首先鎖定簇索引 (主鍵),由於需要更新 STATUS_ID 的值,所以還需要鎖定 KEY_TSKTASK_MONTIME2 的某些索引記錄。
這樣第一條語句鎖定了 KEY_TSKTASK_MONTIME2 的記錄,等待主鍵索引,而第二條語句則鎖定了主鍵索引記錄,而等待 KEY_TSKTASK_MONTIME2 的記錄,這樣死鎖就產生了。
我們通過拆分第一條語句解決了死鎖問題:即先查出符合條件的 ID:select ID from TSK_TASK where STATUS_ID=1061 and MON_TIME < date_sub(now(), INTERVAL 30 minute);然後再更新狀態:TSK_TASK set STATUS_ID=1064 where ID in (….)。
結束語
我們發現,死鎖雖然是較早就被發現的問題,但是很多情況下我們設計的程式裡還是經常發生死鎖情況。我們不能只是分析如何解決死鎖這類問題,還需要具體找出預防死鎖的方法,這樣才能從根本上解決問題。總的來說,還是需要系統架構師、程式設計師不斷積累經驗,從業務邏輯設計層面徹底消除死鎖發生的可能性