Linux中的IO

## [IO模式](id:)

> **對于一次 IO 訪問(以 read 舉例),數(shù)據(jù)會先被拷貝到操作系統(tǒng)內(nèi)核的緩沖區(qū)中,然后才會從操作系統(tǒng)內(nèi)核的緩沖區(qū)拷貝到應(yīng)用程序的地址空間。**所以說,當(dāng)一個 read 操作發(fā)生時,它會經(jīng)歷**兩個階段**:

> **1. 等待數(shù)據(jù)準(zhǔn)備** (Waiting for the data to be ready)【以上所講】

> **2. 將數(shù)據(jù)從內(nèi)核的緩沖區(qū)拷貝到進(jìn)程中** (Copying the data from the kernel to the process)

> **linux系統(tǒng)共產(chǎn)生了下面五種網(wǎng)絡(luò)(IO)模式的方案**

> - 阻塞 I/O(blocking IO)

> - 非阻塞 I/O(nonblocking IO)

> - I/O 多路復(fù)用( IO multiplexing)

> - 信號驅(qū)動 I/O( signal driven IO)【不常用】

> - 異步 I/O(asynchronous IO)

***

## [阻塞 I/O(blocking IO)](id:)

> 在 Linux 中,默認(rèn)情況下所有的 socket(連接管道)都是 blocking(阻塞),一個典型的讀操作流程大概是這樣:


阻塞 I/O 模型


> 當(dāng)用戶進(jìn)程調(diào)用了 recvfrom 這個系統(tǒng)調(diào)用,kernel 就開始了 IO 的每一個階段:

> * 準(zhǔn)備數(shù)據(jù)(對于網(wǎng)絡(luò) IO 來說,很多時候數(shù)據(jù)在一開始還沒有到達(dá)。比如,還沒有收到一個完整的 UDP 包。這個時候 kernel 就要等待足夠的數(shù)據(jù)到來)

這個過程需要等待,也就是說數(shù)據(jù)被拷貝到操作系統(tǒng)內(nèi)核的緩沖區(qū)中是需要一個過程的。而在用戶進(jìn)程這邊,整個進(jìn)程會被阻塞(當(dāng)然,是進(jìn)程自己選擇的阻塞)

> * 當(dāng) kernel 一直等到數(shù)據(jù)準(zhǔn)備好了,它就會將數(shù)據(jù)從 kernel 中拷貝到用戶內(nèi)存,然后 kernel 返回結(jié)果,用戶進(jìn)程才解除 block 的狀態(tài),重新運(yùn)行起來。

> 所以,**blocking IO 的特點(diǎn)**就是在 IO 執(zhí)行的**兩個階段都被 block** 了。

***

## [非阻塞 I/O(nonblocking IO)](id:)

> Linux 下,可以通過設(shè)置 socket 使其變?yōu)?non-blocking。當(dāng)對一個 non-blocking? socket 執(zhí)行讀操作時,流程如下:


非阻塞 I/O 模型


> 當(dāng)用戶進(jìn)程發(fā)出 read 操作時,如果 kernel 中的數(shù)據(jù)還沒有準(zhǔn)備好,那么它并不會 block 用戶進(jìn)程,而是立刻返回一個 error。

從用戶進(jìn)程角度講,它發(fā)起一個 read 操作后,并不需要等待,而是馬上就得到了一個結(jié)果。用戶進(jìn)程判斷結(jié)果是一個 error 時,它就知道數(shù)據(jù)還沒有準(zhǔn)備好,于是它可以再次發(fā)送 read 操作。

一旦 kernel 中的數(shù)據(jù)準(zhǔn)備好了,并且又再次收到了用戶進(jìn)程的 system call(系統(tǒng)調(diào)用),那么它馬上就將數(shù)據(jù)拷貝到了用戶內(nèi)存,然后返回。

> 所以,**nonblocking IO 的特點(diǎn)**是用戶進(jìn)程需要**不斷的主動詢問 kernel 數(shù)據(jù)好了沒有**。

***

## [I/O 多路復(fù)用( IO multiplexing)](id:)

> IO multiplexing 就是我們說的 select,poll,epoll,有些地方也稱這種 IO 方式為 event driven IO(**事件驅(qū)動 IO**)。select/epoll 的好處就在于單個 process 就可以同時處理多個網(wǎng)絡(luò)連接的 IO。它的基本原理就是 select,poll,epoll 這個 function 會不斷的輪詢所負(fù)責(zé)的所有 socket,當(dāng)某個 socket 有數(shù)據(jù)到達(dá)了,就通知用戶進(jìn)程。


I/O 多路復(fù)用模型


> * **當(dāng)用戶進(jìn)程調(diào)用了 select,那么整個進(jìn)程會被 block**,而同時,kernel 會“監(jiān)視”所有 select 負(fù)責(zé)的 socket,當(dāng)任何一個 socket 中的數(shù)據(jù)準(zhǔn)備好了,select 就會返回。這個時候用戶進(jìn)程再調(diào)用 read 操作,將數(shù)據(jù)從 kernel 拷貝到用戶進(jìn)程。

>

>

> * 所以,I/O 多路復(fù)用的特點(diǎn)是通過一種機(jī)制一個進(jìn)程能同時等待多個文件描述符,而這些文件描述符(套接字描述符)其中的任意一個進(jìn)入讀就緒狀態(tài),select() 函數(shù)就可以返回。

>

>

> * 這個圖和 blocking IO 的圖其實(shí)并沒有太大的不同,事實(shí)上,還更差一些。因?yàn)檫@里需要使用兩個 system call (select 和 recvfrom),而 blocking IO 只調(diào)用了一個 system call (recvfrom)。但是,用 select 的優(yōu)勢在于它可以同時處理多個 connection。

>

>

> * 所以,如果處理的連接數(shù)不是很高的話,使用 select/epoll 的 web server 不一定比使用 multi-threading + blocking IO 的 web server 性能更好,可能延遲還更大。**select/epoll 的優(yōu)勢并不是對于單個連接能處理得更快,而是在于能處理更多的連接。**

>

>

> * 在 IO multiplexing Model 中,實(shí)際中,對于每一個 socket,一般都設(shè)置成為 non-blocking,但是,如上圖所示,整個用戶的 process 其實(shí)是一直被 block 的。只不過 process 是被 select 這個函數(shù) block,而不是被 socket IO 給 block。

***

## [異步 I/O(asynchronous IO)](id:)

> Linux下的 asynchronous IO 實(shí)際應(yīng)用中很少,流程如下:


異步 I/O 模型


> 用戶進(jìn)程發(fā)起 read 操作之后,立刻就可以開始去做其它的事。而另一方面,從 kernel 的角度,當(dāng)它受到一個 asynchronous read 之后,首先它會立刻返回,所以不會對用戶進(jìn)程產(chǎn)生任何 block。然后,kernel 會等待數(shù)據(jù)準(zhǔn)備完成,然后將數(shù)據(jù)拷貝到用戶內(nèi)存,當(dāng)這一切都完成之后,kernel 會給用戶進(jìn)程發(fā)送一個 signal,告訴它 read 操作已完成。

***

## [總結(jié)](id:)

> blocking 和 non-blocking 的區(qū)別:

調(diào)用 blocking IO 會一直 block 住對應(yīng)的進(jìn)程直到操作完成,而 non-blocking IO 在 kernel 還準(zhǔn)備數(shù)據(jù)的情況下會立刻返回。

> synchronous IO 和 asynchronous IO 的區(qū)別:

在說明 synchronous IO 和 asynchronous IO 的區(qū)別之前,需要先給出兩者的定義。POSIX`[POSIX 是 IEEE(電子和電器工程師協(xié)會) 為各種UNIX操作系統(tǒng)上運(yùn)行的軟件定義的一系列 API 接口標(biāo)準(zhǔn)]` 的定義是這樣子的:

> - A synchronous I/O operation causes the requesting process to be blocked until that I/O operation completes;

> - An asynchronous I/O operation does not cause the requesting process to be blocked;

**兩者的區(qū)別就在于 synchronous IO 做“IO operation”的時候會將 process 阻塞。按照這個定義,之前所述的 blocking IO,non-blocking IO,IO multiplexing 都屬于 synchronous IO。**

> 有人會說,non-blocking IO 并沒有被 block 啊。這里有個非?!敖苹钡牡胤?,定義中所指的“IO operation”是指真實(shí)的 IO 操作,就是例子中的 recvfrom 這個 system call。non-blocking IO 在執(zhí)行 recvfrom 這個 system call 的時候,如果 kernel 的數(shù)據(jù)沒有準(zhǔn)備好,這時候不會 block 進(jìn)程。但是,當(dāng) kernel 中數(shù)據(jù)準(zhǔn)備好的時候,recvfrom 會將數(shù)據(jù)從 kernel 拷貝到用戶內(nèi)存中,這個時候進(jìn)程是被 block 了,在這段時間內(nèi),進(jìn)程是被 block 的。

> 而 asynchronous IO 則不一樣,當(dāng)進(jìn)程發(fā)起 IO 操作之后,就直接返回再也不理睬了,直到 kernel 發(fā)送一個信號,告訴進(jìn)程說 IO 完成。在這整個過程中,進(jìn)程完全沒有被 block。

## 各個 IO Model 的比較如圖所示:


五種 I/O 模型比較


> 通過上面的圖片,可以發(fā)現(xiàn) non-blocking IO 和 asynchronous IO 的區(qū)別還是很明顯的。在 non-blocking IO 中,雖然進(jìn)程大部分時間都不會被 block,但是它仍然要求進(jìn)程去主動的 check,并且當(dāng)數(shù)據(jù)準(zhǔn)備完成以后,也需要進(jìn)程主動的再次調(diào)用 recvfrom 來將數(shù)據(jù)拷貝到用戶內(nèi)存。而 asynchronous IO 則完全不同。它就像是用戶進(jìn)程將整個 IO 操作交給了他人(kernel)完成,然后他人做完后發(fā)信號通知。在此期間,用戶進(jìn)程不需要去檢查 IO 操作的狀態(tài),也不需要主動的去拷貝數(shù)據(jù)。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時請結(jié)合常識與多方信息審慎甄別。
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

  • IO模式 對于一次 IO 訪問(以 read 舉例),數(shù)據(jù)會先被拷貝到操作系統(tǒng)內(nèi)核的緩沖區(qū)中,然后才會從操作系統(tǒng)內(nèi)...
    青絲如夢閱讀 421評論 0 0
  • 同步IO和異步IO,阻塞IO和非阻塞IO分別是什么,到底有什么區(qū)別?不同的人在不同的上下文下給出的答案是不同的。所...
    lxqfirst閱讀 2,236評論 0 47
  • 必備的理論基礎(chǔ) 1.操作系統(tǒng)作用: 隱藏丑陋復(fù)雜的硬件接口,提供良好的抽象接口。 管理調(diào)度進(jìn)程,并將多個進(jìn)程對硬件...
    drfung閱讀 3,780評論 0 5
  • 上一篇《聊聊同步、異步、阻塞與非阻塞》[http://m.itdecent.cn/p/aed6067eeac...
    七寸知架構(gòu)閱讀 141,639評論 57 445
  • 注:1)本人非科班出身,文章的來源主要是基于一些能找到的資料,在理解的基礎(chǔ)上做一些總結(jié)歸納,以期對IO相關(guān)的知識體...
    Drew_Zhong閱讀 1,140評論 0 2

友情鏈接更多精彩內(nèi)容