关闭

Linux驱动学习9(同步/异步与阻塞/非阻塞的区别 )

标签: 同步异步与阻塞非阻塞的区别
708人阅读 评论(0) 收藏 举报
分类:
很多人对阻塞,非阻塞,同步,异步,并发,竞态的概念不是很清晰,今天我把我理解的用一个模型来说明一下这些概念。 

首先建立一个模型:                                                 

我们去银行办理业务,屌丝的做法是:

1、银行未准备好,则一直排队,直到前面的人告诉你可以办理了,则你去处理业务  

2、一到银行,看银行未准备好,要么转身就走;要么在大厅里面坐着,一直看着银行有没有准备好。  

3、先看看银行有没有准备好。如果有,则自己办理业务,如果没有,则出去晃一圈,再回来,看有没有,依次循环。   

高富帅的做法是:

1、先和银行打一个招呼,过一段时间,银行看自己准备好了,通知你过去办理业务。    

2、你要把你需要办理的业务和银行先说一下,然后回家等待,银行业务办好了的通知你,告诉你办好了。 (说明一下银行未准备好指:客户要取的,

没有;要存时,满了;有其他客户在办理业务。从内核的观点讲就是阻塞的情况)  

那么从上面的例子可以看出,屌丝的共同点是什么呢?就是去银行办业务,都是亲力亲为,即先看银行条件允许没,再自己去办理业务。而高富帅只

要先和银行打下招呼,当银行准备好时,

它会通知你,甚至,他可以把你交予的任务完成直接告诉你结果。            


上图部分把我们的模型和内核的一些概念联系了起来,下面我把一些概念再解释一下: 

同步的定义:由处理消息者自己去等待消息是否被触发(屌丝都要自己去看看银行有么有人正在办理业务) 

异步的定义:由触发机制来通知处理消息者(高富帅是银行通知你已经办好业务了) 

阻塞:当你读取文件。若为空,你不能读取文件,这是就要阻塞;若文件满时,你不能写文件,这要阻塞。(当客户要取自己存在银行里面的保险

柜东西,若里面没有东西,自然不行,直到有人往里面存东西)当两个进程同时操作一个设备文件,就会发生竞态,这时也会发生阻塞。总而言之:

当文件没有准备好时,睡眠,你就要一直等它就绪,才能对其操作。 

非阻塞:当你读取文件时,文件没有准备好,或者'你'可以转身作别的事情,或者一直询问他有没有准备好。 



讲完上面几个概念,下面可以理解下屌丝高富帅的几个行为了: 屌丝(同步)的做法: 

1、银行未准备好,则一直排队,直到前面的人告诉你可以办理了,则你去处理业务。 这是阻塞型读写。 当以阻塞方式read(),write()时,要取的,

没有;要存时,满了;有其他进程在存取。进程睡眠。其他进程唤醒你,或者其他进程释放信号量。此时可以读写。 

2、一到银行,看银行未准备好,要么转身就走;要么在大厅里面坐着,一直看着银行有没有准备好。 这是非阻塞型读写。 当以非阻塞方式read(),

write()时,要取的,没有;要存时,满了;有其他进程在存取。此时要么返回,进行其他操作;要么继续查询银行有没有准备好。 

3、先看看银行有没有准备好。如果有,则自己办理业务,如果没有,则出去晃一圈,再回来,看有没有,依次循环。若准备好了,再进行读写。

这里把读取过程分为两步:先询问银行准备好没;读取数据。而上面屌丝做法1、2把这两步并成了一步。这种我们把它称为select(),poll()的方法。 

调用select()时,它先会把可读\可写的状态放在fd中,若是可读\可写,则在调用read(),write()。  

高富帅的做法: 

1、先和银行打一个招呼,过一段时间,银行看自己准备好了,通知你过去办理业务。   这是异步通知的机制。 这里打一个招呼指,启动FASYNC机制

。进程是通过函数singal(SIGIO,handle)来通知你去办理业务的。 

2、你要把你需要办理的业务和银行先说一下,然后回家等待,银行业务办好了的通知你,告诉你办好了。  这是AIO机制。 这里通过aio_read()\aio_write()

来通知发送,接受一个数据,通过aio_error()、 aio_return()来通知你是否完成数据的处理。  

有几篇博文讲的不错,但是有的还是有点问题: 

http://www.cppblog.com/converse/archive/2009/05/13/82879.html 这篇博文博主讲的不是很正确,但是| 啸天猪这个同学的观点我很认同。。。。。。。。。。。

同步: '你'亲自办这件事

异步: 交代要做的事情,然后忙其他的事情;'别人'(内核)会充当你的跑腿,在条件就绪后将这事办成,然后通知你(callback);

阻塞: 如果条件未就绪,'你'必须死等它就绪;进程睡眠
非阻塞:如果条件未就绪,'你'可以转身作别的事情;进程可以作任何想做的事情,不过通常是低效的轮询。

以这种理解方式,阻塞/非阻塞只对同步操作有意义;异步I/O总是意味着进程不会因为I/O陷入睡眠。

将" select"归类为异步+blocking不妥,select实际上完成的只是read/write的第一部分:等待条件就绪;唯一的改进是可以等待多个条件。"select + read/write"的调用形式容易产生"系统通知我条件就绪"的假象,可实际上你不过是在条件就绪的时候醒来,然后仍然亲自动手完成了数据复制的操作。

依然使用银行的隐喻:

柜台R:只能取款
柜台W:只能存款

read: 亲自在柜台R排队(进程睡眠) + 取款
write: 亲自在柜台W排队(进程睡眠) + 存款

select + read/write : 亲自同时在R、W两个柜台排队(进程睡眠) + (存款|取款|存款+取款)

AIO : 告诉心腹小弟要取款若干,然后忙别的事情;小弟取款完毕将其如数奉上。

UNP一书中6.2节对I/O模型的分类我觉得很合理:

1).read/write、read + NON_BLOCK、select、signal driven I/O 都属于同步I/O; 它们的共同特点是:将数据从内核空间复制到到用户空间的这个操作,是由用户空间的代码显式发起的。

2).只有AIO 属于 异步I/O;内核不露声色的将数据从内核空间复制到用户空间,然后通知进程。 



0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:290966次
    • 积分:4413
    • 等级:
    • 排名:第7055名
    • 原创:132篇
    • 转载:51篇
    • 译文:1篇
    • 评论:74条
    博客专栏
    最新评论