死锁：修订间差异 - 求闻百科，共笔求闻

第1行：

{{NoteTA

|G1 = IT

|1 = zh-hans:循环; zh-hant:循環;

|1 = zh-hans:循环; zh-hant:循环;

}}

[[File:Process deadlock.svg|缩略图|右|P1、P2兩個process都需要資源才能~~繼續執~~行。P1擁有資源R2、還需要額外資源R1才能執行；P2擁有資源R1、還需要額外資源R2才能執行，兩邊都在互相等待而沒有任何一個可執行。]]

[[File:Process deadlock.svg|缩略图|右|P1、P2两个process都需要资源才能继续执行。P1拥有资源R2、还需要額外资源R1才能执行；P2拥有资源R1、还需要額外资源R2才能执行，两边都在互相等待而沒有任何一个可执行。]]

'''死锁'''（{{lang-en|deadlock}}），又譯為'''-{zh-cn:死结; zh-tw:死鎖;}-'''，計算機科學名詞。~~當兩個~~以上的運算單元，雙方都在等待對方停止執行，以取得系統資源，但是沒有一方提前退出時，就稱為死結<ref name=coulouris>{{cite book|last=Coulouris|first=George|publisher=Pearson|year=2012|title=Distributed Systems Concepts and Design|page=716|isbn=978-0-273-76059-7}}</ref>。在多工[[作業系統]]中，作業系統為了協調不同行程，能否取得系統資源時，為了讓系統正常運作，必須要解決~~這個問題~~。另一種相似的情況~~稱為「~~活锁」。

'''死锁'''（{{lang-en|deadlock}}），又译为'''-{zh-cn:死结; zh-tw:死锁;}-'''，计算机科学名词。当两个以上的运算单元，双方都在等待对方停止执行，以取得系统资源，但是沒有一方提前退出时，就称为死结<ref name=coulouris>{{cite book|last=Coulouris|first=George|publisher=Pearson|year=2012|title=Distributed Systems Concepts and Design|page=716|isbn=978-0-273-76059-7}}</ref>。在多工[[作业系统]]中，作业系统为了协调不同行程，能否取得系统资源时，为了让系统正常运作，必须要解決这个问题。另一种相似的情況称为“活锁”。

== 简介 ==

例如，一个[[进程]] p1占用了显示器，同时又必须使用打印机，而打印机被进程p2占用，p2又必须使用显示器，这样就形成了死锁。

因為p1必須等待p2釋出打印機才能夠完成工作並釋出螢幕，同時p2也必須等待p1釋出顯示器才能完成工作並釋出打印機，形成循環等待的死結。

因为p1必须等待p2释出打印机才能够完成工作并释出螢幕，同时p2也必须等待p1释出显示器才能完成工作并释出打印机，形成循环等待的死结。

== 起因 ==

第15行：

死锁的四个条件是：

* '''禁止抢占'''（no preemption）：系統資源不能被强制从一个进程中退出。

* '''禁止抢占'''（no preemption）：系统资源不能被强制从一个进程中退出。

* '''持有和等待'''（hold and wait）：一个进程可以在等待时持有系统资源。

* '''互斥'''（mutual exclusion）：資源只能同時分配給一個行程，無法多個行程共用。

* '''互斥'''（mutual exclusion）：资源只能同时分配給一个行程，无法多个行程共用。

* '''循环等待'''（circular waiting）：一系列进程互相持有其他进程所需要的资源。

死锁只有在四个条件同时满足时發生，预防死锁必須至少破坏其中一項。

死锁只有在四个条件同时满足时发生，预防死锁必须至少破坏其中一项。

== 預防 ==

系統也可以尝试回避死锁。因为在理论上，死锁总是可能产生的，所以操作系统尝试监视所有进程，使其没有死锁。

系统也可以尝试回避死锁。因为在理论上，死锁总是可能产生的，所以操作系统尝试监视所有进程，使其没有死锁。

== 消除 ==

第33行：

同样也可以把一个或多个进程回滚到先前的某个状态。如果一个进程被多次回滚，迟迟不能占用必需的系统资源，可能会导致{{tsl|en|Starvation (computer science)|资源匮乏}}。

== 活結 ==

== 活结 ==

'''活結'''（{{lang|en|livelock}}），與死結相似，死結是行程都在等待對方先釋放資源；活結則是行程彼此釋放資源又同時占用對方釋放的資源。當此情況持續發生時，儘管資源的狀態不斷改變，但每個行程都無法取得所需資源，使得事情沒有任何進展。

'''活结'''（{{lang|en|livelock}}），与死结相似，死结是行程都在等待对方先释放资源；活结则是行程彼此释放资源又同时占用对方释放的资源。当此情況持续发生时，儘管资源的狀态不断改变，但每个行程都无法取得所需资源，使得事情沒有任何进展。

== 範例 ==

== 范例 ==

假設兩人正好面對面碰上對方：

假设两人正好面对面碰上对方：

* 死結：兩人互不相讓，都在等對方先讓開。

* 死结：两人互不相让，都在等对方先让开。

* 活結：兩人互相禮讓，卻恰巧站到同一側，再次讓開，又站到同一側，同樣的情況不斷重複下去導致雙方都無法通過。

* 活结：两人互相礼让，卻恰巧站到同一侧，再次让开，又站到同一侧，同样的情況不断重复下去导致双方都无法通过。

== 参见 ==

* [[競爭危害]]

* [[竞争危害]]

== 参考文献 ==

第48行：

[[Category:操作系統技術]]

[[Category:操作系统技术]]

[[Category:協同控制]]

[[Category:协同控制]]

[[Category:程式錯誤]]

[[Category:程式錯误]]

@@ 第1行： / 第1行： @@
 {{NoteTA
 |G1 = IT
-|1 = zh-hans:循环; zh-hant:循環;
+|1 = zh-hans:循环; zh-hant:循环;
 }}
-[[File:Process deadlock.svg|缩略图|右|P1、P2兩個process都需要資源才能繼續執行。P1擁有資源R2、還需要額外資源R1才能執行；P2擁有資源R1、還需要額外資源R2才能執行，兩邊都在互相等待而沒有任何一個可執行。]]
+[[File:Process deadlock.svg|缩略图|右|P1、P2两个process都需要资源才能继续执行。P1拥有资源R2、还需要額外资源R1才能执行；P2拥有资源R1、还需要額外资源R2才能执行，两边都在互相等待而沒有任何一个可执行。]]
-'''死锁'''（{{lang-en|deadlock}}），又譯為'''-{zh-cn:死结; zh-tw:死鎖;}-'''，計算機科學名詞。當兩個以上的運算單元，雙方都在等待對方停止執行，以取得系統資源，但是沒有一方提前退出時，就稱為死結<ref name=coulouris>{{cite book|last=Coulouris|first=George|publisher=Pearson|year=2012|title=Distributed Systems Concepts and Design|page=716|isbn=978-0-273-76059-7}}</ref>。在多工[[作業系統]]中，作業系統為了協調不同行程，能否取得系統資源時，為了讓系統正常運作，必須要解決這個問題。另一種相似的情況稱為「活锁」。
+'''死锁'''（{{lang-en|deadlock}}），又译为'''-{zh-cn:死结; zh-tw:死锁;}-'''，计算机科学名词。当两个以上的运算单元，双方都在等待对方停止执行，以取得系统资源，但是沒有一方提前退出时，就称为死结<ref name=coulouris>{{cite book|last=Coulouris|first=George|publisher=Pearson|year=2012|title=Distributed Systems Concepts and Design|page=716|isbn=978-0-273-76059-7}}</ref>。在多工[[作业系统]]中，作业系统为了协调不同行程，能否取得系统资源时，为了让系统正常运作，必须要解決这个问题。另一种相似的情況称为“活锁”。
 == 简介 ==
 例如，一个[[进程]] p1占用了显示器，同时又必须使用打印机，而打印机被进程p2占用，p2又必须使用显示器，这样就形成了死锁。
-因為p1必須等待p2釋出打印機才能夠完成工作並釋出螢幕，同時p2也必須等待p1釋出顯示器才能完成工作並釋出打印機，形成循環等待的死結。
+因为p1必须等待p2释出打印机才能够完成工作并释出螢幕，同时p2也必须等待p1释出显示器才能完成工作并释出打印机，形成循环等待的死结。
 == 起因 ==
@@ 第15行： / 第15行： @@
 死锁的四个条件是：
-* '''禁止抢占'''（no preemption）：系統資源不能被强制从一个进程中退出。
+* '''禁止抢占'''（no preemption）：系统资源不能被强制从一个进程中退出。
 * '''持有和等待'''（hold and wait）：一个进程可以在等待时持有系统资源。
-* '''互斥'''（mutual exclusion）：資源只能同時分配給一個行程，無法多個行程共用。
+* '''互斥'''（mutual exclusion）：资源只能同时分配給一个行程，无法多个行程共用。
 * '''循环等待'''（circular waiting）：一系列进程互相持有其他进程所需要的资源。
-死锁只有在四个条件同时满足时發生，预防死锁必須至少破坏其中一項。
+死锁只有在四个条件同时满足时发生，预防死锁必须至少破坏其中一项。
 == 預防 ==
-系統也可以尝试回避死锁。因为在理论上，死锁总是可能产生的，所以操作系统尝试监视所有进程，使其没有死锁。
+系统也可以尝试回避死锁。因为在理论上，死锁总是可能产生的，所以操作系统尝试监视所有进程，使其没有死锁。
 == 消除 ==
@@ 第33行： / 第33行： @@
 同样也可以把一个或多个进程回滚到先前的某个状态。如果一个进程被多次回滚，迟迟不能占用必需的系统资源，可能会导致{{tsl|en|Starvation (computer science)|资源匮乏}}。
-== 活結 ==
+== 活结 ==
-'''活結'''（{{lang|en|livelock}}），與死結相似，死結是行程都在等待對方先釋放資源；活結則是行程彼此釋放資源又同時占用對方釋放的資源。當此情況持續發生時，儘管資源的狀態不斷改變，但每個行程都無法取得所需資源，使得事情沒有任何進展。
+'''活结'''（{{lang|en|livelock}}），与死结相似，死结是行程都在等待对方先释放资源；活结则是行程彼此释放资源又同时占用对方释放的资源。当此情況持续发生时，儘管资源的狀态不断改变，但每个行程都无法取得所需资源，使得事情沒有任何进展。
-== 範例 ==
+== 范例 ==
-假設兩人正好面對面碰上對方：
+假设两人正好面对面碰上对方：
-* 死結：兩人互不相讓，都在等對方先讓開。
+* 死结：两人互不相让，都在等对方先让开。
-* 活結：兩人互相禮讓，卻恰巧站到同一側，再次讓開，又站到同一側，同樣的情況不斷重複下去導致雙方都無法通過。
+* 活结：两人互相礼让，卻恰巧站到同一侧，再次让开，又站到同一侧，同样的情況不断重复下去导致双方都无法通过。
 == 参见 ==
-* [[競爭危害]]
+* [[竞争危害]]
 == 参考文献 ==
@@ 第48行： / 第48行： @@
 {{并发计算}}
-[[Category:操作系統技術]]
+[[Category:操作系统技术]]
-[[Category:協同控制]]
+[[Category:协同控制]]
-[[Category:程式錯誤]]
+[[Category:程式錯误]]