Rubric: L-CONCURRENCY
Lens: L-CONCURRENCY · Density: D-MED · Axes: ROB, REL, RCV
Criteria
- Shared mutable state without synchronization.
- Lock ordering / deadlock risk.
- Goroutine/thread leak patterns.
- Cancellation propagation (contexts, lifetimes).
- Race-detector / sanitizer usage in CI (or tooling gap).
Citations
| Work |
Point |
| Herlihy & Shavit — The Art of Multiprocessor Programming |
Correctness under concurrency (conceptual) |
| Go memory model / Effective Go concurrency |
When language is Go |
| Java Memory Model / Bloch concurrency items |
When language is Java |
| Rustonomicon (fearless concurrency limits) |
When language is Rust |
Pros / cons
| Pros |
Cons |
| Language-model adapters keep citations honest |
Static detection of races is incomplete — note limits |
| Cancellation is often missing in reviews |
Over-flagging channel usage style — need failure evidence |