【多选题】

在计算机系统中，形成死锁的必要条件是

A. 资源互斥使用
B. 部分分配资源
C. 已分配资源不可剥夺
D. 资源申请形成环路