The x86-64 Data Path: Atomics, Ordering and Vectors

Write correct x86-64 atomics and vector code, and know which LOCK-prefixed forms are exact, which only look it, and what alignment really costs.