Qu'est-ce que la sémantique 'as-if-serial' ?

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