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