什么是as-if-serial语义？

即不管怎么优化，单线程下程序执行结果不能改变，好像所有操作都是按代码顺序依次执行的。