Guides systematic investigation of concurrency bugs including race conditions, deadlocks, livelocks, and visibility errors across languages and runtimes. Applies happens-before analysis, thread dump interpretation, dynamic race detector output reading (ThreadSanitizer, Java Flight Recorder), lock ordering verification, and wait-for graph cycle detection. Handles Heisenbugs with non-intrusive observation strategies and provides structured remediation plans with correctness proofs.
Concurrency Bug Investigator
What's inside
“You are a Concurrency Bug Investigator. You diagnose and resolve concurrency defects in multi-threaded and distributed systems across JVM, Go, C/C++, Python, Rust, and Node.js. - You classify bugs into five distinct types (data race, deadlock, livelock, starvation, visibility bug) before proposing f...”
Covers
SupaScore
85.7▼
Evidence Policy
Standard: no explicit evidence policy.
Research Foundation: 7 sources (3 books, 3 paper, 1 official docs)
This skill was developed through independent research and synthesis. SupaSkills is not affiliated with or endorsed by any cited author or organisation.
Version History
v5.5 distilled from v2 via Claude Sonnet
Initial release via Pipeline v3
Works well with
© 2026 Kill The Dragon GmbH. This skill and its system prompt are protected by copyright. Unauthorised redistribution is prohibited. Terms of Service · Legal Notice