There are a couple of types of implicit memory barriers, so called because they are embedded into locking primitives: