假设三个进程共享四个资源，每个进程一次只能预定或释放一个资源，每个进程最多需要两个资源，试证明这样做不会发生死锁。