一、要點提示

 二、內容簡介

  在計算機系統中有很多一次只能由一個程序使用的資源，如印表機，磁帶機，一個檔案的I節點等。在多道程式設計環境中，若干程序往往要共享這類資源，而且一個程序所需要的資源不止一個。這樣，就會出現若干程序競爭有限資源，又推進順序不當，從而構成無限期迴圈等待的局面。這種狀態就是死鎖。系統發生死鎖現象不僅浪費大量的系統資源，甚至導致整個系統崩潰，帶來災難性後果。所以，對於死鎖問題在理論上和技術上都必須給予高度重視。

  死鎖是程序死鎖的簡稱，是由Dijkstra於1965年研究銀行家演算法時首先提出來的。它是計算機作業系統乃至併發程式設計中最難處理的問題之一。實際上，死鎖問題不僅在計算機系統中存在，在我們日常生活中它也廣泛存在。

1.什麼是死鎖

  我們先看看這樣一個生活中的例子：在一條河上有一座橋，橋面較窄，只能容納一輛汽車通過，無法讓兩輛汽車並行。如果有兩輛汽車A和B分別由橋的兩端駛上該橋，則對於A車來說，它走過橋面左面的一段路（即佔有了橋的一部分資源），要想過橋還須等待B車讓出右邊的橋面，此時A車不能前進；對於B車來說，它走過橋面右邊的一段路（即佔有了橋的一部分資源），要想過橋還須等待A車讓出左邊的橋面，此時B車也不能前進。兩邊的車都不倒車，結果造成互相等待對方讓出橋面，但是誰也不讓路，就會無休止地等下去。這種現象就是死鎖。如果把汽車比做程序，橋面作為資源，那麼上述問題就描述為：程序A佔有資源R1，等待程序B佔有的資源Rr；程序B佔有資源Rr，等待程序A佔有的資源R1。而且資源R1和Rr只允許一個程序佔用，即：不允許兩個程序同時佔用。結果，兩個程序都不能繼續執行，若不採取其它措施，這種迴圈等待狀況會無限期持續下去，就發生了程序死鎖。  

  在計算機系統中，涉及軟體，硬體資源都可能發生死鎖。例如：系統中只有一臺CD-ROM驅動器和一臺印表機，某一個程序佔有了CD-ROM驅動器，又申請印表機；另一程序佔有了印表機，還申請CD-ROM。結果，兩個程序都被阻塞，永遠也不能自行解除。

  所謂死鎖，是指多個程序迴圈等待它方佔有的資源而無限期地僵持下去的局面。很顯然，如果沒有外力的作用，那麼死鎖涉及到的各個程序都將永遠處於封鎖狀態。從上面的例子可以看出，計算機系統產生死鎖的根本原因就是資源有限且操作不當。即：一種原因是系統提供的資源太少了，遠不能滿足併發程序對資源的需求。這種競爭資源引起的死鎖是我們要討論的核心。例如：訊息是一種臨時性資源。某一時刻，程序A等待程序B發來的訊息，程序B等待程序C發來的訊息，而程序C又等待程序A發來的訊息。訊息未到，A，B，C三個程序均無法向前推進，也會發生程序通訊上的死鎖。另一種原因是由於程序推進順序不合適引發的死鎖。資源少也未必一定產生死鎖。就如同兩個人過獨木橋，如果兩個人都要先過，在獨木橋上僵持不肯後退，必然會應競爭資源產生死鎖；但是，如果兩個人上橋前先看一看有無對方的人在橋上，當無對方的人在橋上時自己才上橋，那麼問題就解決了。所以，如果程式設計得不合理，造成程序推進的順序不當，也會出現死鎖。

  從以上分析可見，如果在計算機系統中同時具備下面四個必要條件時，那麼會發生死鎖。換句話說，只要下面四個條件有一個不具備，系統就不會出現死鎖。

    〈1〉互斥條件。即某個資源在一段時間內只能由一個程序佔有，不能同時被兩個或兩個以上的程序佔有。這種獨佔資源如CD-ROM驅動器，印表機等等，必須在佔有該資源的程序主動釋放它之後，其它程序才能佔有該資源。這是由資源本身的屬性所決定的。如獨木橋就是一種獨佔資源，兩方的人不能同時過橋。

    〈2〉不可搶佔條件。程序所獲得的資源在未使用完畢之前，資源申請者不能強行地從資源佔有者手中奪取資源，而只能由該資源的佔有者程序自行釋放。如過獨木橋的人不能強迫對方後退，也不能非法地將對方推下橋，必須是橋上的人自己過橋後空出橋面（即主動釋放佔有資源），對方的人才能過橋。

    〈3〉佔有且申請條件。程序至少已經佔有一個資源，但又申請新的資源；由於該資源已被另外程序佔有，此時該程序阻塞；但是，它在等待新資源之時，仍繼續佔用已佔有的資源。還以過獨木橋為例，甲乙兩人在橋上相遇。甲走過一段橋面（即佔有了一些資源），還需要走其餘的橋面（申請新的資源），但那部分橋面被乙佔有（乙走過一段橋面）。甲過不去，前進不能，又不後退；乙也處於同樣的狀況。

    〈4〉迴圈等待條件。存在一個程序等待序列{P1，P2，...，Pn}，其中P1等待P2所佔有的某一資源，P2等待P3所佔有的某一源，......，而Pn等待P1所佔有的的某一資源，形成一個程序迴圈等待環。就像前面的過獨木橋問題，甲等待乙佔有的橋面，而乙又等待甲佔有的橋面，從而彼此迴圈等待。

  上面我們提到的這四個條件在死鎖時會同時發生。也就是說，只要有一個必要條件不滿足，則死鎖就可以排除。

  前面介紹了死鎖發生時的四個必要條件，只要破壞這四個必要條件中的任意一個條件，死鎖就不會發生。這就為我們解決死鎖問題提供了可能。一般地，解決死鎖的方法分為死鎖的預防，避免，檢測與恢復三種（注意：死鎖的檢測與恢復是一個方法）。我們將在下面分別加以介紹。

  死鎖的預防是保證系統不進入死鎖狀態的一種策略。它的基本思想是要求程序申請資源時遵循某種協議，從而打破產生死鎖的四個必要條件中的一個或幾個，保證系統不會進入死鎖狀態。

   〈1〉打破互斥條件。即允許程序同時訪問某些資源。但是，有的資源是不允許被同時訪問的，像印表機等等，這是由資源本身的屬性所決定的。所以，這種辦法並無實用價值。

   〈2〉打破不可搶佔條件。即允許程序強行從佔有者那裡奪取某些資源。就是說，當一個程序已佔有了某些資源，它又申請新的資源，但不能立即被滿足時，它必須釋放所佔有的全部資源，以後再重新申請。它所釋放的資源可以分配給其它程序。這就相當於該程序佔有的資源被隱蔽地強佔了。這種預防死鎖的方法實現起來困難，會降低系統性能。    

    〈3〉打破佔有且申請條件。可以實行資源預先分配策略。即程序在執行前一次性地向系統申請它所需要的全部資源。如果某個程序所需的全部資源得不到滿足，則不分配任何資源，此程序暫不執行。只有當系統能夠滿足當前程序的全部資源需求時，才一次性地將所申請的資源全部分配給該程序。由於執行的程序已佔有了它所需的全部資源，所以不會發生佔有資源又申請資源的現象，因此不會發生死鎖。但是，這種策略也有如下缺點：

（1）在許多情況下，一個程序在執行之前不可能知道它所需要的全部資源。這是由於程序在執行時是動態的，不可預測的；

（2）資源利用率低。無論所分資源何時用到，一個程序只有在佔有所需的全部資源後才能執行。即使有些資源最後才被該程序用到一次，但該程序在生存期間卻一直佔有它們，造成長期佔著不用的狀況。這顯然是一種極大的資源浪費；

（3）降低了程序的併發性。因為資源有限，又加上存在浪費，能分配到所需全部資源的程序個數就必然少了。    

（4）打破迴圈等待條件，實行資源有序分配策略。採用這種策略，即把資源事先分類編號，按號分配，使程序在申請，佔用資源時不會形成環路。所有程序對資源的請求必須嚴格按資源序號遞增的順序提出。程序佔用了小號資源，才能申請大號資源，就不會產生環路，從而預防了死鎖。這種策略與前面的策略相比，資源的利用率和系統吞吐量都有很大提高，但是也存在以下缺點：

（1）限制了程序對資源的請求，同時給系統中所有資源合理編號也是件困難事，並增加了系統開銷；

（2）為了遵循按編號申請的次序，暫不使用的資源也需要提前申請，從而增加了程序對資源的佔用時間。

8.3 死鎖的避免  

  上面我們講到的死鎖預防是排除死鎖的靜態策略，它使產生死鎖的四個必要條件不能同時具備，從而對程序申請資源的活動加以限制，以保證死鎖不會發生。下面我們介紹排除死鎖的動態策略--死鎖的避免，它不限制程序有關申請資源的命令，而是對程序所發出的每一個申請資源命令加以動態地檢查，並根據檢查結果決定是否進行資源分配。就是說，在資源分配過程中若預測有發生死鎖的可能性，則加以避免。這種方法的關鍵是確定資源分配的安全性。

1.安全序列

  我們首先引入安全序列的定義：所謂系統是安全的，是指系統中的所有程序能夠按照某一種次序分配資源，並且依次地執行完畢，這種程序序列{P1，P2，...，Pn}就是安全序列。如果存在這樣一個安全序列，則系統是安全的；如果系統不存在這樣一個安全序列，則系統是不安全的。

  安全序列{P1，P2，...，Pn}是這樣組成的：若對於每一個程序Pi，它需要的附加資源可以被系統中當前可用資源加上所有程序Pj當前佔有資源之和所滿足，則{P1，P2，...，Pn}為一個安全序列，這時系統處於安全狀態，不會進入死鎖狀態。 　

  雖然存在安全序列時一定不會有死鎖發生，但是系統進入不安全狀態（四個死鎖的必要條件同時發生）也未必會產生死鎖。當然，產生死鎖後，系統一定處於不安全狀態。 

2.銀行家演算法

  這是一個著名的避免死鎖的演算法，是由Dijstra首先提出來並加以解決的。　

  [背景知識] 

  一個銀行家如何將一定數目的資金安全地借給若干個客戶，使這些客戶既能借到錢完成要乾的事，同時銀行家又能收回全部資金而不至於破產，這就是銀行家問題。這個問題同作業系統中資源分配問題十分相似：銀行家就像一個作業系統，客戶就像執行的程序，銀行家的資金就是系統的資源。

  [問題的描述]

  一個銀行家擁有一定數量的資金，有若干個客戶要貸款。每個客戶須在一開始就宣告他所需貸款的總額。若該客戶貸款總額不超過銀行家的資金總數，銀行家可以接收客戶的要求。客戶貸款是以每次一個資金單位（如1萬RMB等）的方式進行的，客戶在借滿所需的全部單位款額之前可能會等待，但銀行家須保證這種等待是有限的，可完成的。

  例如：有三個客戶C1，C2，C3，向銀行家借款，該銀行家的資金總額為10個資金單位，其中C1客戶要借9各資金單位，C2客戶要借3個資金單位，C3客戶要借8個資金單位，總計20個資金單位。某一時刻的狀態如圖所示。

                                       銀行家演算法示意

  對於a圖的狀態，按照安全序列的要求，我們選的第一個客戶應滿足該客戶所需的貸款小於等於銀行家當前所剩餘的錢款，可以看出只有C2客戶能被滿足：C2客戶需1個資金單位，小銀行家手中的2個資金單位，於是銀行家把1個資金單位借給C2客戶，使之完成工作並歸還所借的3個資金單位的錢，進入b圖。同理，銀行家把4個資金單位借給C3客戶，使其完成工作，在c圖中，只剩一個客戶C1，它需7個資金單位，這時銀行家有8個資金單位，所以C1也能順利借到錢並完成工作。最後（見圖d）銀行家收回全部10個資金單位，保證不賠本。那麼客戶序列{C1，C2，C3}就是個安全序列，按照這個序列貸款，銀行家才是安全的。否則的話，若在圖b狀態時，銀行家把手中的4個資金單位借給了C1，則出現不安全狀態：這時C1，C3均不能完成工作，而銀行家手中又沒有錢了，系統陷入僵持局面，銀行家也不能收回投資。

  綜上所述，銀行家演算法是從當前狀態出發，逐個按安全序列檢查各客戶誰能完成其工作，然後假定其完成工作且歸還全部貸款，再進而檢查下一個能完成工作的客戶，......。如果所有客戶都能完成工作，則找到一個安全序列，銀行家才是安全的。

  從上面分析看出，銀行家演算法允許死鎖必要條件中的互斥條件，佔有且申請條件，不可搶佔條件的存在，這樣，它與預防死鎖的幾種方法相比較，限制條件少了，資源利用程度提高了。

這是該演算法的優點。其缺點是：

   〈1〉這個演算法要求客戶數保持固定不變，這在多道程式系統中是難以做到的。   

   〈2〉這個演算法保證所有客戶在有限的時間內得到滿足，但實時客戶要求快速響應，所以要考慮這個因素。  

    〈3〉由於要尋找一個安全序列，實際上增加了系統的開銷。