作業系統—I/O 模型

it_was發表於2020-10-09

在Unix系統中，一切都是檔案，都是二進位制流。在資訊交換的過程中，我們都是對這些流進行操作，即我們通常所說的 I/O(input output)操作，計算機通過對每個流記錄一個檔案描述符——fd(file descriptor)來區分對每個檔案的操作！

下圖為最基本的 I/O 操作

作業系統—I/O 模型

下圖為系統呼叫

作業系統—I/O 模型

3.1 Blocking I/O Model

阻塞的I/O模型是最傳統，最基本的模型，即當程式呼叫讀取操作時，會一直阻塞到核心資料返回！
作業系統—I/O 模型

上圖展示了當程式執行recvfrom函式時，通過系統呼叫，由使用者態轉入核心態，由於資料遲遲未到，所以核心一直會等待資料，直到資料準備好便將全部資料拷貝給使用者程式！此情況使用者程式是全程陷入阻塞狀態

阻塞I/O——當你下樓拿快遞，發現快遞小哥沒有來，ok沒辦法，我原地等，直到快遞小哥來了，拿到了快遞我再回宿舍！

3.2 Nonblocking I/O Model

非阻塞 I/O 即當使用者程式呼叫讀取操作時，如果核心資料準備好了則直接複製並返回；如果沒有準備好，那就返回一個錯誤提示程式，並不斷的去輪詢是否準備好！

作業系統—I/O 模型
上圖展示了當程式執行recvfrom函式時，通過系統呼叫，由使用者態轉入核心態，由於資料遲遲未到，所以核心不會等待資料，直接返回一個錯誤給使用者程式！然後使用者程式不斷去輪詢，檢查資料是否準備好此情況使用者程式不斷去輪詢核心資料是否準備好，浪費CPU時間片

非阻塞I/O-當你下樓拿快遞，發現快遞小哥沒來，好吧我先回宿舍。剛回宿舍我心想：萬一此時恰好來了呢？於是我又馬上下樓去檢查，重複這個過程直到快遞小哥來！

3.3 I/O Multiplexing Model

I/O 多路複用即通過執行 select 或者 poll 函式來對多個檔案描述符進行監控，一旦核心發現某個資料準備好，便通知相對應的使用者程式進行讀取

作業系統—I/O 模型
上圖展示了程式一直阻塞在對 select 或者 poll 函式的呼叫上，等待直到某個 socket 可讀，此時程式便對資料進行讀取。這種模型有個明顯的缺點：需要兩次系統呼叫。而且當一個連線來了，就必須遍歷所有已經註冊的檔案描述符，來找到那個需要處理資訊的檔案描述符，如果已經註冊了幾萬個檔案描述符，那會因為遍歷這些已經註冊的檔案描述符，導致cpu爆炸。但其優勢在於可以對多個socket進行監控

I/O 多路複用——同樣去拿快遞，但是有中通，申通，韻達等多個快遞都快來了，於是我一直等電話，當某個快遞小哥給我打電話的時候我就去拿。

3.4 Signal-Driven I/O Model

訊號驅動型I/O即程式在IO訪問時，通過使用訊號告訴核心，當socket上的資料準備好了的時候，通過訊號
通知一聲
作業系統—I/O 模型
上圖展示了使用者程式先通過sigaction系統呼叫，建立一個訊號處理函式，立即返回。之後程式並不阻塞，而是轉而執行其他事情。當核心準備好資料後，產生一個SIGIO訊號(電平觸發)並投遞給訊號處理函式。可以在此函式中呼叫recvfrom函式運算元據從核心空間複製到使用者空間，這段過程程式阻塞。無論我們如何處理訊號，這個模型的優點是在等待資料包到達時不會阻塞。主迴圈可以繼續執行並等待訊號處理程式通知資料已準備好處理或資料包已準備好讀取。

訊號驅動型I/O——同樣去拿快遞，而且有中通，申通，韻達等多個快遞都快來了，我不等電話了（這個電話與上面電話不同，此處的電話需要專用的快遞電話），我先收拾宿舍衛生，一旦電話響了即某個快遞來了，那我就去拿！

3.5 Asynchronous I/O Model

非同步 I/O 模型即在程式發起非同步IO請求，立即返回。當核心完成IO時，核心給程式發一個訊號。

作業系統—I/O 模型
上圖展示了使用者程式會首先呼叫 aio_read函式執行系統呼叫，並向核心傳遞描述符、緩衝區指標、緩衝區大小(與read相同的三個引數)、檔案偏移量(與lseek類似)，以及如何在整個操作完成時通知我們。這個系統呼叫立即返回，我們的程式並沒有阻塞而是繼續執行其他事情，直到資料全部寫入緩衝區！！！