6. I/O 核心子系统
文章目录
根据上面划分的 I/O软件层次结构,讨论不同层次上有什么不同的功能。

6.1 I/O调度
I/O调度:用某种算法确定一个好的顺序来处理各个I/O请求。
详见:
操作系统 - 2.进程与线程 - 三、处理机调度 - 8.调度算法
操作系统 - 3.内存管理 - 六、存储器管理 - 3.1.3动态分区分配 - 动态分区分配算法
操作系统 - 3.内存管理 - 七、虚拟内存管理 - 4.页面置换算法
操作系统 - 3.内存管理 - 六、存储器管理(内存管理基础) - 3.1.3动态分区分配 - 动态分区分配算法
操作系统 - 4.文件管理 - 九、磁盘组织与管理 - 7.磁盘调度算法
如:磁盘调度(先来先服务算法、最短寻道优先算法、SCAN算法、C-SCAN算法、LOOK算法、C-LOOK算法)。
当多个磁盘I/O请求到来时,用某种调度算法确定满足l/O请求的顺序。
同理,打印机等设备也可以用先来先服务算法、优先级算法、短作业优先等算法来确定I/O调度顺序。
6.2设备保护
设备被看作是一种特殊的文件,所以“设备保护”就是“文件保护”。
详见:操作系统 - 4.文件管理 - 八、文件系统基础 - 9.文件保护
❗6.3假脱机技术(SPOOLing)
手工操作阶段:主机直接从I/O设备获得数据,由于设备速度慢,主机速度很快。人机速度矛盾明显,主机要浪费很多时间来等待设备。
批处理阶段:引入了脱机输入/输出技术(用磁带完成)。
脱机:脱离主机的控制进行的输入/输出操作。
而假脱机技术,又称“SPOOLing 技术”是用软件的方式模拟脱机技术。需要多道程序设计技术的支持。
SPOOLing技术是用空间换时间。
SPOOLing系统的组成如下:
- 输入井和输出井(在磁盘)——模拟脱机输入/输出时的磁带;
- 输入进程和输出进程——模拟脱机输入/输出时的外围控制机;
- 输入缓冲区和输出缓冲区(在内存)——内存中的缓冲区,输入、输出时的“中转站"。
上面这3部分,由预输入程序、井管理程序、缓输出程序 3部分管理。
由此可见,SPOOLing技术需要磁盘空间和内存空间,但是,不需要外围计算机支持,也就是外围计算机可以是0台。

6.3.1共享打印机的原理分析
独占式设备:只允许各个进程串行使用的设备。一段时间内只能满足一个进程的请求。
共享设备:允许多个进程“同时”使用的设备(宏观上同时使用,微观上可能是交替使用)。可以同时满足多个进程的使用请求。共享设备就可以避免死锁。
【注意】共享设备是可寻址、可随机访问的设备。
打印机是种“独占式设备”,但是可以用SPOOLing技术改造成“共享设备”。
当多个用户进程提出输出打印的请求时,系统会答应它们的请求,但是并不是真正把打印机分配给他们,而是由假脱机管理进程为每个进程做两件事:
- 在磁盘输出井中为进程申请一个空闲缓冲区(也就是说,这个缓冲区是在磁盘上的),并将要打印的数据送入其中;
- 为用户进程申请一张空白的打印请求表(打印任务的说明书),并将用户的打印请求填入表中(其实就是用来说明用户的打印数据存放位置等信息的),再将该表挂到假脱机文件队列上。
【总结】也就是说:数据先存放在磁盘中,之后打印这些数据时就不用再使用CPU了。
虽然系统中只有一个台打印机,但每个进程提出打印请求时,系统都会为在输出井中为其分配一个存储区(相当于分配了一个逻辑设备),使得进程都觉得自己独占了一台打印机,从而实现对打印机的共享。
6.4设备分配与回收
6.4.1设备分配时应考虑的因素
设备的固有属性、设备分配算法、设备分配中的安全性:
- 1)设备的固有属性
设备的固有属性可分为三种:独占设备、共享设备、虚拟设备。
- 独占设备:一个时段只能分配给一个进程(如打印机)。
- 共享设备:可同时分配给多个进程使用(如磁盘),各进程往往是宏观上同时共享使用设备,而微观上交替使用。
- 虚拟设备:采用SPOOLing 技术将独占设备改造成虚拟的共享设备,可同时分配给多个进程使用(如采用SPOOLing技术实现的共享打印机)。
- 2)设备分配算法
先来先服务、优先级高者优先、短任务优先…
- 3)设备分配中的安全性
从进程运行的安全性上考虑,设备分配有两种方式:安全分配方式、不安全分配方式。
-
安全分配方式:为进程分配一个设备后就将进程阻塞,进程会一直等待,直到本次I/O完成后才将进程唤醒。(eg:考虑进程请求打印机打印输出的例子)
一个时段内每个进程只能使用一个设备。
优点:破坏了“请求和保持”条件,不会死锁。
缺点:对于一个进程来说,CPU和I/O设备只能串行工作。 -
不安全分配方式:进程发出I/O请求后,系统为其分配I/O设备,进程可继续执行,之后还可以发出新的I/O请求。只有某个l/O请求得不到满足时才将进程阻塞。
一个进程可以同时使用多个设备。
优点:进程的计算任务和I/o任务可以并行处理,使进程迅速推进。
缺点:有可能发生死锁(死锁避免、死锁的检测和解除)。
6.4.2静态分配、动态分配
可参考 操作系统 - 2.进程与线程 - 五、死锁 - 2.1预防死锁
静态分配:进程运行前为其分配全部所需资源,运行结束后归还资源。
破坏了“请求和保持”条件,不会发生死锁。
动态分配:进程运行过程中动态申请设备资源。
6.4.3设备分配管理中的数据结构
“设备、控制器、通道”之间的关系:

一个通道可控制多个设备控制器,每个设备控制器可控制多个设备。
有四种数据结构:
- 设备控制表(DCT)
- 控制器控制表(COCT)
- 通道控制表(CHCT)
- 系统设备表(SDT)
- 第一种数据结构:设备控制表(DCT):系统为每个设备配置一张DCT,用于记录设备情况。
| 设备控制表(DCT) | 说明 |
|---|---|
| 设备类型 | 如:打印机/扫描仪/键盘 |
| 设备标识符 | 即物理设备名,系统中的每个设备的物理设备名唯一 |
| 设备状态 | 忙碌/空闲/故障… |
| 指向控制器表的指针 | 每个设备由一个控制器控制,该指针可找到相应控制器的信息当重复 |
| 重复执行次数或时间 | 执行多次I/O操作后仍不成功,才认为此次I/O失败 |
| 设备队列的队首指针 | 指向正在等待该设备的进程队列(由进程PCB组成队列) |
- 第二种数据结构:控制器控制表(COCT):每个设备控制器都会对应一张COCT。操作系统根据COCT的信息对控制器进行操作和管理。
| 控制器控制表(COCT) | 说明 |
|---|---|
| 控制器标识符 | 各个控制器的唯一ID |
| 控制器状态 | 忙碌/空闲/故障… |
| 指向通道表的指针 | 每个控制器由一个通道控制,该指针可找到相应通道的信息 |
| 控制器队列的队首指针 | 指向正在等待该控制器的进程队列(由进程PCB组成队列) |
| 控制器队列的队尾指针 |
- 第三种数据结构:通道控制表(CHCT):每个通道都会对应一张CHCT。操作系统根据CHCT的信息对通道进行操作和管理。
| 通道控制表(CHCT) | 说明 |
|---|---|
| 通道标识符 | 各个通道的唯一ID |
| 通道状态 | 忙碌/空闲/故障… |
| 与通道连接的控制器表首址 | 可通过该指针找到该通道管理的所有控制器相关信息(COCT) |
| 通道队列的队首指针 | 指向正在等待该通道的进程队列(由进程PCB组成队列) |
| 通道队列的队尾指针 |
- 第四种数据结构:系统设备表(SDT):记录了系统中全部设备的情况,每个设备对应一个表目。

❗6.4.4设备分配的步骤
- 根据进程请求的物理设备名查找SDT(注:物理设备名是进程请求分配设备时提供的参数);
- 根据SDT找到DCT,若设备忙碌则将进程PCB挂到攻备寺付队外中,ENL@不村将控制器分配;
- 根据DCT找到COCT,若控制器忙碌则将进程PCB挂到控制希寺付队列中,个IL欧则付工的l力给进程;
- 根据COCT找到CHCT,若通道忙碌则将进程PCB挂到通道等待队列中,不忙碌则将通道分配给进程。
注︰只有设备、控制器、通道三者都分配成功时,这次设备分配才算成功,之后便可启动I/O设备进行数据传送。
缺点:
- 用户编程时必须使用“物理设备名”,底层细节对用户不透明,不方便编程。
- 若换了一个物理设备,则程序无法运行。
- 若进程请求的物理设备正在忙碌,则即使系统中还有同类型的设备,进程也必须阻塞等待。
改进方法:建立逻辑设备名与物理设备名的映射机制,用户编程时只需提供逻辑设备名。
逻辑设备表(LUT) 建立了逻辑设备名与物理设备名之间的映射关系。如果之后用户进程再次通过相同的逻辑设备名请求使用设备,则操作系统通过LUT表即可知道用户进程实际要使用的是哪个物理设备了,并且也能知道该设备的驱动程序入口地址。
逻辑设备表的设置问题:
整个系统只有一张LUT:各用户所用的逻辑设备名不允许重复,适用于单用户操作系统。
每个用户一张LUT:不同用户的逻辑设备名可重复,适用于多用户操作系统。
【补充】设备映射表(DMT) 建立了逻辑设备与物理设备之间的对应关系。
❗6.5缓冲区管理
缓冲区(Buffer)是一个存储区域,可以由专门的硬件寄存器组成,也可利用内存作为缓冲区。
使用硬件作为缓冲区的成本较高,容量也较小,一般仅用在对速度要求非常高的场合(如存储器管理中所用的联想寄存器,由于对页表的访问频率极高,因此使用速度很快的联想寄存器来存放页表项的副本)。
一般情况下,更多的是利用内存作为缓冲区,“设备独立性软件”的缓冲区管理就是要组织管理好这些缓冲区。所以这一节主要讨论内存作为缓冲区。
缓冲区的作用:
- 缓和CPU与I/O设备之间速度不匹配的矛盾。
- 减少对CPU的中断频率,放宽对CPU中断相应时间的限制。
- 解决数据粒度不匹配的问题。
- 提高CPU与I/O设备之间的并行性。

6.5.1单缓冲
假设某用户进程请求某种块设备读入若干块的数据。若采用单缓冲的策略,操作系统会在主存中为其分配一个缓冲区(若题目中没有特别说明,一个缓冲区的大小就是一个块)。
【注意】当缓冲区数据非空时,不能往缓冲区冲入数据,只能从缓冲区把数据传出;当缓冲区为空时,可以往缓冲区冲入数据,但必须把缓冲区充满以后,才能从缓冲区把数据传出。

【考点】计算每处理一块数据平均需要多久?
【技巧】假定一个初始状态,分析下次到达相同状态需要多少时间,这就是处理一块数据平均所需时间。在“单缓冲”题型中,可以假设初始状态为工作区满,缓冲区空(CPU一上来就可以运行)。
【注意】 在做这种题时,有多个磁盘块所以使用多次缓冲区时要注意,不要漏掉最后传输完成之后,CPU还要分析处理的时间。

结论:采用单缓冲策略,处理一块数据平均耗时 Max(C, T) + M。
6.5.2双缓冲
假设某用户进程请求某种块设备读入若干块的数据。若采用双缓冲的策略,操作系统会在主存中为其分配两个缓冲区(若题目中没有特别说明,一个缓冲区的大小就是一个块)。

双缓冲题目中,假设初始状态为:工作区空,其中一个缓冲区满,另一个缓冲区空。

结论:采用双缓冲策略,处理一块数据平均耗时 Max(C+M, T)。
6.5.3循环缓冲区
将多个大小相等的缓冲区链接成一个循环队列。
注:以下图示中,橙色表示已充满数据的缓冲区,绿色表示空缓冲区。

6.5.4缓冲池
缓冲池由系统中共用的缓冲区组成。这些缓冲区按使用状况可以分为:空缓冲队列、装满输入数据的缓冲队列(输入队列)、装满输出数据的缓冲队列(输出队列)。

另外,根据一个缓冲区在实际运算中扮演的功能不同,又设置了四种工作缓冲区:用于收容输入数据的工作缓冲区(hin)、用于提取输入数据的工作缓冲区(sin)、用于收容输出数据的工作缓冲区(hout) 、用于提取输出数据的工作缓冲区(sout)。

当输入时,会先从空缓冲队列的队头取一个空缓冲区在hin进行填充,充满之后就放入输入队列的队尾;输入缓冲区的内容在sin被全部提取之后,变成空缓冲区,再放回空缓冲队列的队尾。
这个缓冲区的位置变化:空缓冲队列的队头→输入队列的队尾→空缓冲队列的队尾。
同理,输出时,也是这个逻辑,只是输入队列变为输出队列。
6.5.5区别
1)使用单/双缓冲 在通信时的区别
两台机器之间通信时,可以配置缓冲区用于数据的发送和接受。
因为缓冲区的特性:当缓冲区数据非空时,不能往缓冲区冲入数据,只能从缓冲区把数据传出;当缓冲区为空时,可以往缓冲区冲入数据,但必须把缓冲区充满以后,才能从缓冲区把数据传出。(全空才进,全满才出)
显然:
-
若两个相互通信的机器只设置单缓冲区,在同一时刻只能实现数据的单向传输。(单工)
【注意】单缓冲区在同一时刻不能双向传输,但是在一段时间内,可以先发送数据、再接收数据,实现双向传输。
-
若两个相互通信的机器设置双缓冲区(接收缓冲区、发送缓冲区),则同一时刻可以实现数据的双向传输。(全双工)
【拓展】三种数据通信方式:单工、半双工、全双工。
- 单工通信(simplex)
单工通信只支持信号在一个方向上传输(正向或反向),任何时候不能改变信号的传输方向。
为保证正确传送数据信号,接收端要对接收的数据进行校验,若校验出错,则通过监控信道发送请求重发的信号。
此种方式适用于数据收集系统,如气象数据的收集、电话费的集中计算等。
例如:计算机和打印机之间的通信是单工模式,因为只有计算机向打印机传输数据,而没有相反方向的数据传输。还有在某些通信信道中,如单工无线发送等。
- 半双工通信(half-duplex)
半双工通信允许信号在两个方向上传输,但某一时刻只允许信号在一个信道上单向传输。
因此,半双工通信实际上是一种可切换方向的单工通信。
此种方式适用于问讯、检索、科学计算等数据通信系统。
例如:传统的对讲机使用的就是半双工通信方式。由于对讲机传送及接收使用相同的频率,不允许同时进行。因此一方讲完后,需设法告知另一方讲话结束(例如讲完后加上’OVER’),另一方才知道可以开始讲话。
- 全双工(full-duplex)
全双工通信允许数据同时在两个方向上传输,即有两个信道,因此允许同时进行双向传输。
全双工通信是两个单工通信方式的结合,要求收发双方都有独立的接收和发送能力。
全双工通信效率高,控制简单,但造价高。
计算机之间的通信是全双工方式。一般的电话、手机也是全双工的系统,因为在讲话时可以听到对方的声音。
总结:通常四线线路实现全双工数据传输,二线线路实现单工或半双工数据传输。在采用频分法、时间压缩法、回波抵消技术时,二线线路也可实现全双工数据传输。
2)缓冲池&其他3种缓存结构的区别
缓冲池:缓冲池是公共资源,可以用于多个并发进程进行输入输出。
单/双/循环缓冲:都是专用缓冲。
454

被折叠的 条评论
为什么被折叠?



