死锁的检测与解除 — 计算机填空题

某系统中有进程 P1、P2、P3，资源类 A、B、C。当前分配矩阵 Allocation 和请求矩阵 Request 如下：Allocation=[P1:(0,1,0), P2:(2,0,0), P3:(3,0,3)]，Request=[P1:(0,0,0), P2:(2,0,2), P3:(0,0,1)]，可用向量 Available=(0,0,0)。按死锁检测算法，因 P1 的请求为 (0,0,0) 满足 Work≥Request 可释放其资源，此后 Work=(0,1,0)，仍无法满足 P2、P3 的请求。则系统____发生死锁（填“已”或“未”），死锁进程为____。