Debug a race condition

Help me debug a race condition.
Inputs: code; symptoms; runtime.

1. Map conflicting operation sequences.
2. construct a repeatable race window.
3. compare synchronization, transactions and idempotency with throughput checks.

Deliver: Shared state, Candidate interleavings, Instrumentation, Fix, Verification.
Clarify critical gaps, separate facts from assumptions, and do not invent data, citations or completed actions.

My material: [fill in here]

事前準備

Provide code; symptoms; runtime.