Load value prediction via path-based address prediction: avoiding mispredictions due to conflicting stores
Memory Barriers: a Hardware View for Software Hackers