System Behavior Models¶
Mental models for understanding how systems act under load and failure.
| Model | One-Liner |
|---|---|
| Little's Law | L = lambda W -- concurrency equals arrival rate times latency |
| Amdahl's Law | Speedup is bounded by the serial fraction |
| CAP Theorem | Consistency, Availability, Partition Tolerance -- pick two |
| PACELC | Extends CAP: during partitions choose A/C, else choose L/C |
| Queueing Theory | Queue length explodes as utilization approaches 100% |
| Swiss Cheese Model | Failures need aligned holes through multiple defense layers |
| Blast Radius | How far does a single failure propagate? |
| Failure Domains | What fails together should fail together -- and nothing else |
| Graceful Degradation | Shed load to preserve core function |