Concurrency Barriers and Store Buffering Exercises tldr: Barriers are easy to reason about Weaker Memory Models are tricky to reason about, but provide high performance if programmed correctly