System Model
Deadlock의 특성