: Ensure that if a process is holding some resources and requests
another resource that cannot be immediately allocated to it then all resources the
process is currently holding are preempted.