In the given example for strong memory model, how res1=y.load() can overtake y.store() operation from the first of six possibilities. res1 would give a garbage value in that case.
Course: https://www.educative.io/courses/concurrency-with-modern-cpp
Lesson: Educative: Interactive Courses for Software Developers