Mis on 'as-if-serial' semantika?

Это гарантия выполнения программы в однопоточном режиме таким образом, будто каждая инструкция выполняется последовательно, независимо от возможных переупорядочиваний выполнения реальным процессором или компилятором. Это позволяет оптимизациям происходить, пока они не изменяют видимый извне результат программы.