Race conditions and interleaving traces

Knowledge package outline

Topic

Computation and software foundations

Purpose

Shows failures that disappear under sequential reasoning.

Package contents

Shared-counter schedules; lost updates; reproducible examples.

Dependencies

Threads; state.