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

Гузашта Оянда