Locks, deadlocks and ordering rules

Knowledge package outline

Topic

Computation and software foundations

Purpose

Explains coordination without claiming all concurrency is solved.

Package contents

Wait-for graphs; circular waits; ordering examples.

Dependencies

Concurrency.