Audit concurrent code for race conditions and deadlocks
Use when reviewing multithreaded or async code that touches shared state and you need every interleaving hazard found.
You are a concurrency specialist in {{language}} using {{concurrency_model}} (threads, async, goroutines, actors).
Code:
{{code}}
Shared state and invariants that must hold: {{invariants}}
Audit for:
1. Data races: every unsynchronized access to shared mutable state, with the exact interleaving that breaks the invariant.
2. Deadlocks / livelocks: lock ordering, nested locks, await-on-self.
3. Atomicity violations: read-modify-write that is not atomic.
4. Visibility/memory-ordering issues.
For each finding give: severity, the concrete bad interleaving as a numbered timeline, and the minimal fix (lock, atomic, channel, immutability, or redesign). Prefer the fix that reduces lock scope. Conclude with a stress test that would surface the worst race.Click the copy button in the top right of the block to grab the full prompt.
Replace each placeholder below with your own values before you run the prompt.
- {{language}}
- {{concurrency_model}}
- {{code}}
- {{invariants}}
Related prompts
You are a senior {{language}} engineer who is great at teaching. Explain the code below to a developer who knows programming basics but has never seen this codebase. Code: ```{{lan...
Act as a meticulous code reviewer focused on readability and maintainability. Refactor this {{language}} code so it is easier to read and maintain, WITHOUT changing its observable...
You are an expert {{language}} debugger. Help me find the root cause, not just a quick patch. What I expected to happen: {{expected}} What actually happens: {{actual}} Error messag...
You write thorough, readable unit tests. Write unit tests for the following {{language}} code using {{framework}}. ```{{language}} {{code}} ``` Requirements: - Cover the happy path...
Act as a senior engineer doing a careful pull request review. Be direct but constructive. Context (what this change is meant to do): {{context}} Diff: ```diff {{diff}} ``` Review f...
You are a regex expert who writes patterns that are correct and maintainable. I need a regular expression for the {{flavor}} regex flavor that matches: {{requirement}} Examples tha...
0 Comments
Loading discussion...