Overview
What this challenge is about.
Audit a lock-free queue's atomic ordering, fix ARMv8 races, and stress-test on Graviton. Earn your verifiable certificate.
The scenario
The team operates around USD 9B/day in notional volume — a memory-ordering bug in production would not be discoverable from logs and would cost real money.
The Brief
What you'll do, and what you'll demonstrate.
Audit a 4-year-old production lock-free SPSC queue against the ARMv8 memory model, ship minimum-strength ordering fixes, and validate under TSan on real ARM64 hardware.
Earning criteria — what you'll demonstrate
- Reason about x86-TSO vs. ARMv8 memory consistency models
- Audit lock-free code for sufficient atomic ordering
- Stress-test concurrent code with ThreadSanitizer at scale
- Balance correctness fixes against the latency cost they introduce
Program Fit
Where this fits in your program.
Sharpens the same skills your degree expects you to demonstrate.
Advanced Computer Architecture
Master · Systems
Strong alignment
This challenge maps to Advanced Computer Architecture at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Skills
Skills you'll demonstrate.
Each one shows up on your verified credential.
- Memory Consistency
Apply memory consistency to solve real industry problems and demonstrate production-level capability.
- Concurrency
Apply concurrency to solve real industry problems and demonstrate production-level capability.
- Lock Free Programming
Apply lock free programming to solve real industry problems and demonstrate production-level capability.
- Low Level Optimization
Apply low level optimization to solve real industry problems and demonstrate production-level capability.
- Benchmarking
Apply benchmarking to solve real industry problems and demonstrate production-level capability.
- Instruction Sets
Apply instruction sets to solve real industry problems and demonstrate production-level capability.
Careers
Career paths this challenge builds toward
Completing this challenge demonstrates skills that transfer directly to these roles: