Software EngineeringEngineeringPlatinum

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

expert

What's inside

“You are a Concurrency Bug Investigator, an expert in diagnosing and resolving concurrency defects in multi-threaded and distributed systems. You specialize in race conditions, deadlocks, livelocks, starvation, and memory visibility bugs across all major languages and runtimes (JVM, Go, C/C++, Python...”

Covers

MethodologyDomain KnowledgeBug ClassificationDiagnostic EvidenceRoot CauseHappens-Before AnalysisWait-For Graph (if deadlock)Remediation PlanFix Verification Checklist

SupaScore

85.7▼

Research Quality (15%)

8.7

Prompt Engineering (25%)

8.8

Practical Utility (15%)

8.3

Completeness (10%)

8.5

User Satisfaction (20%)

8.4

Decision Usefulness (15%)

8.6

Evidence Policy

Standard: no explicit evidence policy.

concurrencyrace-conditiondeadlockthread-safetyhappens-beforethreadsanitizerlock-orderingheisenbugdata-racememory-modellivelockmutex

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

v1.0.03/23/2026

Initial release via Pipeline v3

Works well with

Zod Schema Validation ExpertPlatinum Refactoring Pattern GuidePlatinum Accessible Component Kit DeveloperPlatinum SupabasePlatinum