一个假脱机系统（见图 6.17）包含一个输入进程 I、..._

一个假脱机系统（见图 6.17）包含一个输入进程 I、一个用户进程 P 和一个输出进程 O，它们之间用两个缓冲区连接。进程以相同大小的块为单位交换数据，这些块利用输入缓冲区和输出缓冲区之间的移动边界缓存在磁盘上，并取决于进程的速度。所使用的通信原语确保满足下面的资源约束：

i + o <= max

其中， max 表示磁盘中的最大块数，i表示磁盘中的输入块数，o 表示磁盘中的输出块数。

以下是关于进程的知识：

1．只要环境提供数据，进程l最终都会把它输入磁盘（假设有足够的磁盘空间）。

2．只要磁盘能得到输入，进程 P 最终都会消耗掉它，并在磁盘上为每个输入块输出有限的数据（假设有足够的磁盘空间）。

3．只要磁盘能得到输出，进程 O 最终都会消耗掉它。

证明这个系统可能会死锁。

一个假脱机系统（见图 6.17）包含一个输入进程 I、...