Postulates

  • All shared resources must be restored by the task with the least PID to avoid deadlocks.