本系列博文是《現代作業系統（英文第三版）》（Modern Operating Systems，簡稱MOS）的閱讀筆記，定位是正文精要部分的摘錄理解和課後習題精解，因此不會事無鉅細的全面摘抄，僅僅根據個人情況進行記錄和推薦。由於是英文版，部分內容會使用英文原文。

　　課後習題的選擇標準：儘量避免單純的概念考察（如：What is spooling?）或者簡單的數值計算，而是能夠引起思考加深理解的題目。為了保證解答的正確性，每道題都會附上原書解答，而中文部分會適當加入自己的見解。原書答案下載地址（需註冊）

　　最初在翻這本書的目錄時還在想，“死鎖”這個主題安排在“程序”主題下就可以了嘛，為何要單列出一章？與動輒近百頁的其他章節比，這一章只有區區三十來頁而已，看似微不足道。本章開篇便告訴讀者，“死鎖”不僅在程序並行時會出現，在資料庫系統甚至是辦公室的裝置共用時也會出現，使用場景很廣泛，也難怪成為一個獨立章節。

　　也正因適用範圍廣泛，而方法是抽象的，這章特別強調，在決定使用某種避免或消除死鎖的策略前，必須結合具體場景判斷是否適用。

1.鴕鳥演算法（P441）

　　所謂的鴕鳥演算法，就是對問題視若不見。雖然數學家認為根本不可接受，但考慮到一個不常發生並且發生後的解決開銷很大的事件（如本章的死鎖），反而是一個很好的複雜度與效能的折衷。

　　相比之下，儘管該書後文提到的避免和解決死鎖的方法比較有效，比如廣為人知的銀行家演算法（P451~454），但實用性實在有限。

2.spooling的印表機仍然可能造成死鎖（P454~455）

　　雖然使用印表機對應的deamon程序唯一地與印表機互動、其他程序的列印任務僅僅是將需要列印的檔案放入deamon程序指定的一個目錄下，印表機這一裝置不再會導致死鎖；然而，這些待列印的檔案是需要佔用空間的，如果磁碟空間不足以容納所有待列印的檔案，仍然會造成死鎖。

　　習題2再次提到了這個情形。

課後習題選

29.Explain the differences between deadlock, livelock  and starvation.

譯：

　　解釋死鎖、活鎖和飢餓的差別。

Answer：

　　A deadlock occurs when a set of processes are blocked waiting for an event that only some other process in the set can cause. On the other hand, processes in a livelock are not blocked. Instead, they continue to execute checking for a condition to become true that will never become true. Thus, in addition to the resources they are holding, processes in livelock continue to consume precious CPU time. Finally, starvation of a process occurs because of the presence of other processes as well as a stream of new incoming processes that end up with higher priority that the process being starved. Unlike deadlock or livelock, starvation can terminate on its own, e.g. when existing processes with higher priority terminate and no new processes with higher priority arrive.

分析：

　　一個程序的集合中，因等待這個集合的其他程序而阻塞時發生死鎖。

　　活鎖發生時，程序並沒有阻塞，它們只是繼續檢查一個條件是否為真，而這個條件永遠不會變為真。因此，處於活鎖狀態的程序仍然會消耗CPU時間。

　　飢餓是由於一直有更高優先順序的程序到來，使得早到來的低優先順序程序得不到服務。與前兩者不同，飢餓狀態可能會自己解除，比如當不再有高優先順序程序到來時。

勘誤

1.P451最末一段“Sec.3.4.1”應為“Sec.6.4.1”；

2.P463習題8，此題指的是Figure.6-7中的情形，原題並未說明這一點。

中文版勘誤

1.P260，“因此可以通過先來先服務”這句原文中並沒有邏輯關係，應該把因此刪去，這句前面的逗號改為句號；

2.P260習題1，根據答案，“politics”應翻譯成“政治”而非“策略”。