O que é a semântica 'as-if-serial'?

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