内存重排序示例中，核心2在标志上自旋，程序员假设核心2读取r2为NEW，因为核心1在设置标志前已设置数据。然而，S1和S2可能会重排序，导致核心2读取旧数据。顺序执行模型要求同一地址的操作按原顺序执行，重排序仅在不同地址的访问中发生。