一个SPOOLing系统由输入进程I、用户进程P、输出进程O、输入缓冲区、输出缓冲区组成。进程I通过输入缓冲区为进程P输入数据，进程P的处理结果通过输出缓冲区交给进程O输出。进程间数据交换以等长度的数据块为单位。这些数据块均存储在同一磁盘上。因此，SPOOLing系统的数据块通信原语保证始终满足： i+o≤max ① 其中，max为磁盘容量(以该数据块为单位)，i为磁盘上输入数据块总数，o为磁盘上输出数据块总数。 该SPOOLing系统运行时：只要有输入数据，进程I终究会将它放入输入缓冲区；只要输入缓冲区有数据块，进程P终究会读入、处理，并产生结果数据，写到输出缓冲区；只有输出缓冲区有数据块，进程O终究会输出它。 请说明该SPOOLing系统在什么情况下死锁。请说明如何修正约束条件①来避免死锁，同时仍允许输入数据块和输出数据块均存储在同一个磁盘上。