GK
так он выполнит часть кода в "теневом режиме" и просто может часть инструкций выкинуть, перейдя к нужной ветке сразу
Выкинуть - да
Выполнить в обратной последовательности - не знаю как.
Вот компилятор точно в праве менять местами вычисления.
Size: a a a
2021 February 14
GK
последовательность может нарушиться и в случае с одним ядром кстати, например, запись в какую-то переменную и чтение из другой могут поменяться местами, они друг друга на первый взгляд не аффектят
GK
при этом запись может фактически происходить в бит-банд регион, который на самом деле аффектит вторую переменную, которую читают
RS
последовательность может нарушиться и в случае с одним ядром кстати, например, запись в какую-то переменную и чтение из другой могут поменяться местами, они друг друга на первый взгляд не аффектят
Законно
GK
для этого как раз мемори барьеры и есть
GK
но вот ты хорошо про стандарт упомянул, надо смотреть, решается ли это клчевым словом
RS
при этом запись может фактически происходить в бит-банд регион, который на самом деле аффектит вторую переменную, которую читают
Но нет.
Если это bidanding то перестановка последовательности запрещается
Если это bidanding то перестановка последовательности запрещается
GK
я просто уже слегка деформирован сишарпом, где волатайл автоматически означает барьер памяти
RS
volatile (I/o) запрещает перестановки
GK
volatile (I/o) запрещает перестановки
на уровне компилятора
GK
я про выполнение ядром выше говорил)
RS
Это нужно читать про конвейер CortexM
RS
Подобные ситуации встречаются только с I/o которые в языке c и c++ вообще не продуманы
RS
Точнее, их нет
GK
мы как-то пару месяцев назад с @Valentyn_Korniienko обсуждали модели памяти немножко
GK
он скидывал хорошую ссылочку, щас поищу
GK
про шарп тоже зацепил на всякий, вдруг кому интересно будет