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