Review Note

Elaborate on the concept of "acquire at a lock" with emphasis on memory ordering.

An "acquire at a lock" orders all subsequent memory accesses. This means no read or write is allowed to execute before the acquire operation is completed.

Both the compiler and hardware are restricted from moving any memory access to before the acquire. Additionally, all acknowledged invalidations that have arrived before the acquire must be applied to the cache before the acquire can leave the pipeline.