Prompt · Developer Tools

Race Condition Hunt

Hunts concurrency bugs in async, threaded, or distributed code.

Have ready: Paste the concurrent or async code

Fill in · 4 fields

PASTE THE CONCURRENT/ASYNC/MULTITHREADED CODEe.g. PYTHON ASYNCIO / NODE.JS / GO GOROUTINES / JAVA THREADSWHAT STATE IS SHARED, OR "IDENTIFY IT YOURSELF"MY RUNTIME

Your prompt

Hunt for race conditions and concurrency bugs in this code.

Code:
[PASTE THE CONCURRENT/ASYNC/MULTITHREADED CODE]
Language/runtime: [e.g. PYTHON ASYNCIO / NODE.JS / GO GOROUTINES / JAVA THREADS]
Shared state: [WHAT STATE IS SHARED, OR "IDENTIFY IT YOURSELF"]

For each bug found:
1. Name the pattern (TOCTOU, lost update, double-checked locking, deadlock, goroutine leak, unawaited promise, etc.).
2. The interleaving: show the exact sequence of operations across threads/tasks that triggers it.
3. How likely it is in production (every deploy? under load? once a year?) and what the user-visible symptom would be.
4. The fix, with corrected code using the right primitive for [MY RUNTIME] (locks, atomics, channels, transactions, idempotency).

Also list the concurrency properties this code gets RIGHT, so I know what not to touch. If the code is actually safe, say so and prove it with the invariant that holds.

Paste it into Muse or any assistant. Blank fields stay as [brackets].

More like this