| name | thread-safety-tooling |
| description | Thread-safety verification toolkit. Use when C/C++ code introduces threads/locks/atomics or when race conditions/deadlocks are plausible. Provides TSan and compile-time thread-safety analysis guidance. |
| metadata | {"short-description":"Thread-safety verification","requires":["references/thread-safety-tooling.md"],"resources":["references/concurrency-verification-matrix-template.md"]} |
Purpose
Make concurrency changes verifiable, not hope-driven.
When to use
Use this skill when touching:
- C/C++ concurrency primitives
- shared mutable state with locks or atomics
- code paths with plausible races or deadlocks
How to use
- Open
references/thread-safety-tooling.md.
Open references/concurrency-verification-matrix-template.md when producing the Concurrency Verification Matrix output below.
- Choose verification stack (TSan / static thread-safety analysis / stress tests).
- Quick start helper:
python scripts/init_artifact.py --kind concurrency-matrix --slug <ticket-or-topic>
- Provide reproducible commands or CI steps (placeholders if repo differs).
- Define a minimal stress scenario (what to load; what to assert).
- Record known limitations and suppression strategy (avoid blanket suppressions).
Output expectation
- Produce a Concurrency Verification Matrix:
- Tool → What it catches → How to run → Cost/limits
