Что такое семантика 'as-if-serial'?