結果 : sequential consistency model example