IO - 同步,异步,阻塞,非阻塞.docVIP

同步（synchronous） IO和异步（asynchronous） IO，阻塞（blocking） IO和非阻塞（non-blocking）IO 先看一个较低的层次。如果从CPU的角度看，其实大部分的IO都是异步的：因为CPU启动这个IO操作后，就去干其它的事情了，一直到产生一个中断，告诉它IO完成了。“Most physical I/O is asynchronous—the CPU starts the transfer and goes off to do something else until the interrupt arrives. User programs are much easier to write if the I/O operations are blocking—after a read system call the program is automatically suspended until the data are available in the buffer. It is up to the operating system to make operations that are actually interrupt-driven look blocking to the user programs.” （引自 Modern Operating Systems, 2ed）不过，本文并不想探究那么底层的东东。作为程序员，更多的还是从应用层面来考虑。所以，以下重点介绍的是应用程序中能够采用的四种IO机制。 关于图的解释，首先要清楚理解一个任务线：Application是一个程序或者执行一个逻辑的函数，其中当它执行到Read()方法的时候，就会通过I/O操作从服务器端的内核（Kernel，也可能是逻辑方法）获取数据（initiate），当数据从服务器端回到本地后，通过Read response组装成Application所需要的数据，然后执行application接下来要做的事情。 关于例子的解释，完整的例子是现需要用银行卡在网上下单支付买东西，但是卡上没钱，所以需要去银行存钱 首先，从最常用到的，也是最容易理解的同步阻塞IO 说起。在 这个模型中，应用程序（application）为了执行这个read操作，会调用相应的一个system call，将系统控制权交给kernel，然后就进行等待（这其实就是被阻塞了）。kernel开始执行这个system call，执行完毕后会向应用程序返回响应，应用程序得到响应后，就不再阻塞，并进行后面的工作。 例如，“在调用 read 系统调用时，应用程序会阻塞并对内核进行上下文切换。然后会触发读操作，当响应返回时（从我们正在从中读取的设备中返回），数据就被移动到用户空间的缓冲区中。然后应用程序就会解除阻塞（read 调用返回）。” 就好比你去一个银行柜台存钱。首先，你会将存钱的单子填好，然后交给柜员。这里，你就好比是application，单子就是调用的 system call，柜员就是kernel。提交好单子后，你就坐在柜台前等，相当于开始进行等待。柜员办好以后会给你一个回执，表示办好了，这就是 response。然后你就可以。注意，这个时候，如果你办完之后马上去查账，存的钱已经打到你的账户上了。后面你会发现， 这点很重要。接下来谈同步非阻塞IO 。先看这个图， 在linux下，应用程序可以通过设置文件描述符的属性O_NONBLOCK，I/O操作可以立即返回，但是并不保证I/O操作成功。也 就是说，当应用程序设置了O_NONBLOCK之后，执行write操作，调用相应的system call，这个system call会从内核中立即返回。但是在这个返回的时间点，数据可能还没有被真正的写入到指定的地方。也就是说，kernel只是很快的返回了这个 system call（这样，应用程序不会被这个IO操作blocking），但是这个system call具体要执行的事情（写数据）可能并没有完成。而对于应用程序，虽然这个IO操作很快就返回了，但是它并不知道这个IO操作是否真的成功了，如果想 知道，需要应用程序主动地去问kernel。同样的，你也需要填写汇款单然后交给柜员，柜员进行再来谈谈异步阻塞IO 。在linux中，常常通过select/poll来实现这种机制。 以图为例，和 之前一样，应用程序要执行read操作，因此调用一个system call，这个system call被传递给了kernel。但在应用程序这边，它调用system call之后，并不等待kernel返回response，这一点是和