A set of properties that a system must satisfy to ensure processes make progress.
Issues
Deadlock
Two processes waiting indefinitely for each other. Explained in Deadlock extensively.
Starvation
A process never gets the resource it needs. Occurs due to unfair scheduling.
Priority Inversion
When a low-priority process holds a lock needed by high-priority process.