Detect and fix concurrency bugs in async and multi-threaded code.
npx skills add https://github.com/Corvalis-LLC/Crow-Stack --skill auto-concurrency
Please help me install this Agent Skill. Skill: auto-concurrency Source: https://github.com/Corvalis-LLC/Crow-Stack/tree/main/skills/auto-concurrency Command: npx skills add https://github.com/Corvalis-LLC/Crow-Stack --skill auto-concurrency
Concurrency bugs are a major source of instability in asynchronous and multi-threaded code. This Skill helps identify and fix race conditions, atomicity violations, and improper lock management that lead to incorrect behavior and hard-to-diagnose failures.
Provide a small Rust async function that updates a shared counter under a mutex without holding the lock during any await.
High-intent search queries and answers about installing and using this skill.
To prevent deadlocks in Tokio, avoid holding mutexes across await points by enforcing atomic operations and releasing locks before any asynchronous calls. This ensures shared state remains consistent without blocking tasks.
Fixing TOCTOU and race conditions requires atomic multi-step mutations using transactional patterns and careful locking. This ensures state checks and subsequent actions execute without interruption from other threads.
Enforce consistent lock acquisition order across all threads to avoid deadlocks. Applying strict lock ordering guarantees that circular wait conditions cannot occur when coordinating shared state.
This approach applies to codebases relying on mutexes, RwLocks, channels, and task spawning. It mitigates concurrency bugs across various synchronization primitives used to coordinate shared state.
Implement safe cancellation by enforcing graceful shutdown handling and avoiding holding locks during cancellation. This prevents partial updates and atomicity violations when tasks are aborted.
hwatkinsImplement Tokio patterns for spawning tasks, channels, timeouts, and graceful shutdown.
infraspecdevDetect concurrency defects in backend code across threading and async flows.
TheBushidoCollectiveImplement async Rust patterns with tokio, async/await, and futures.
baphledGuide static code analysis tools to detect bugs, vulnerabilities, and style violations.
