detect_concurrency_patterns
Analyze operation steps to detect concurrency hazards such as check-then-act, read-modify-write, and missing idempotency, using optional shared resources and protections.
Instructions
Detect common concurrency hazard patterns in a structured operation description.
REQUIRED INPUT FORMAT — copy this structure exactly: {"steps":["Read current balance","If balance >= cost, approve","Write updated balance"],"shared_resources":["balance"],"protections":[]}
Detects: check-then-act, read-modify-write, missing idempotency, ordering assumptions.
Optional fields:
"shared_resources" (string[]) — named shared state
"protections" (string[]) — locks, transactions, idempotency keys, etc.
"delivery_model" — "at_least_once" | "at_most_once" | "exactly_once"
"retry_behavior" — "none" | "automatic" | "manual"
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| steps | Yes | Ordered sequence of operation steps | |
| protections | No | Concurrency protections in place (locks, transactions, idempotency keys) | |
| delivery_model | No | Message delivery guarantee | |
| retry_behavior | No | Retry behavior on failure | |
| shared_resources | No | Named shared state or resources accessed by multiple steps |