Safe Concurrency Design Free of Races and Deadlocks
Design a safe concurrency solution preventing data races and deadlocks and ensuring correctness under parallel load, with a justified model and tests, without inventing language-absent primitives.
Pro
Model: claude-sonnet-4-7
2,823 previews
0 uses
Knowledge: 2026-Q2
This prompt requires the pro plan
Upgrade plan
Your current plan: free
Fixing an intermittent concurrency bug under load, designing safe parallel processing for heavy tasks, reviewing multithreaded code before production to prevent races.
#تزامن#سباق البيانات#تجميد#خيوط
Built-in quality guards
Anti-hallucination
No fabricated concurrency primitives or memory-model guarantees absent from the language
Security Check
Address TOCTOU race conditions and prevent validation bypass via races
Completeness
Cover model, code, safety proof, tests, and cancellation without truncation
Format Check
Adherence to six-section structure and shared-resource table