1. IO模型

Linux下可用的IO模型有5种,分别是:

  • 阻塞式IO
  • 非阻塞式IO
  • IO复用
  • 信号驱动式IO(SIGIO)
  • 异步IO(Posix的aio_系列函数)

其中,除了异步IO,其余都属于同步IO模型。
在这5种模型中,我们目前只关注前3种,并且把IO复用放在网络编程专题中讲,本文只简单介绍阻塞式IO和非阻塞式IO的概念与区别。

2. 阻塞式IO

阻塞式IO是Linux中最基本、最常用的IO模型,指的是可能会使进程永远阻塞的函数,一般表现为:

  • 进程或线程调用某个函数,该函数需要满足特定条件才能向下执行
  • 如果条件不满足,则会使调用进程或线程阻塞,让出CPU控制权,并一直持续到条件满足为止
  • 在Linux中,阻塞式IO一般作为默认属性出现,如mq_receive、sem_wait、sem_post等

在默认情况下,所有的套接字都是阻塞的,我们以UDP套接字为例来展示阻塞式IO模型,如下图所示。

进程调用recvfrom接收数据,但由于内核还未准备好,进程就会阻塞;直到内核准备好数据,recvfrom完成数据复制工作,进程才能解除阻塞状态。

3. 非阻塞式IO

顾名思义,非阻塞式IO不会使调用进程或线程永远阻塞,具体表现为:如果IO操作不能完成,则立即出错返回,调用进程或线程继续向下执行。

对于一个给定的描述符,有两种将其指定为非阻塞式IO的方法:

  • 调用open创建或打开文件时指定O_NONBLOCK标志
  • 对于一个已经打开的描述符,调用fcntl改变其属性,为其设置O_NONBLOCK标志
#include <fcntl.h>

int fcntl(int fd, int cmd, ... /* int arg */);

将cmd设为F_SETFL,arg设为O_NONBLOCK,就可以为fd设置非阻塞标志。

01-21 03:30