TASK #PROJ_002MASTER DIFFICULTY
Rust Unsafe Lock-Free SPMW Ring Buffer & Loom Concurrency Audit
Publisher: RustWorks Systems Corp • 100% Pre-funded Escrow
00:42:00
$45.50 Earned Session
Technical Scope & Verification Criteria
Perform deep code analysis of raw memory pointers (`*mut T`), atomic CAS loops (`compare_exchange_weak`), and ABA prevention logic. Verify that non-blocking push/pop operations do not corrupt head/tail indices under concurrent thread contention.
Required Deliverable Acceptance Criteria
- Formally verify absence of memory leaks and data races using loom and Miri execution.
- Produce side-by-side memory barrier efficiency metrics comparing Acquire/Release vs SeqCst.
- Provide concrete patch fixes for any identified undefined behavior (UB).