Basic Facts

• If a system is in safe state Þ no deadlocks.
• If a system is in unsafe state Þ possibility of deadlock.
• Avoidance Þ ensure that a system will never enter an unsafe state.