intra-thread semantics 保证重排序不会改变单线程内的程序执行结果。
换句话说，intra-thread semantics 允许那些在单线程内，不会改变单线程程序执行结果的重排序。
