BD
о, @berkus нихао
привет привет
Size: a a a
2020 January 21
VY
commute это перестановка насколько я понимаю, то есть “взаимозаменяемы"
Ну да, я это понимаю просто по аналогии с "коммутативность операции", т.е. можно перемещать (раз в
Например, вот такие
statement нет "сайд-эффектов" влияющих на expression).Например, вот такие
s и e нельзя было было бы переместить:s := Move(Mem(x), y)Т.к. в таком случае
e := BinOp(Plus, Mem(x), z)
e зависит от s, то порядок важен, следовательно они не commuteBD
Ну да, я это понимаю просто по аналогии с "коммутативность операции", т.е. можно перемещать (раз в
Например, вот такие
statement нет "сайд-эффектов" влияющих на expression).Например, вот такие
s и e нельзя было было бы переместить:s := Move(Mem(x), y)Т.к. в таком случае
e := BinOp(Plus, Mem(x), z)
e зависит от s, то порядок важен, следовательно они не commuteага
IJ
commute это перестановка насколько я понимаю, то есть “взаимозаменяемы"
Не "взаимозаменяемы", а "можно посчитать в произвольном порядке"
IJ
думаю, это вы и хотели сказать, но так точнее
IJ
Интересно, тут "commute" значит "коммутируют" в том смысле, что
s (некий потенциально side-effectful statement) можно выполнить до\после e? (стр. 175 tiger-book)любые два "чистых" выражения A и B (например, const) можно посчитать в порядка A B или B A
BD
думаю, это вы и хотели сказать, но так точнее
спасибо
VY
Да, спасибо. Вроде стало понятно
PD
народ, а если тут задавать вопросы о возможностей конкретного языка программирования - это будет тут оффтопик ??
2020 January 22
BD
смотря какие вопросы
PD
смотря какие вопросы
если касается семантики и фич языка.
BD
если касается семантики и фич языка.
ну обсудить можно, детали реализации и все такое
МБ
любые два "чистых" выражения A и B (например, const) можно посчитать в порядка A B или B A
Подумалось: не всегда. Допустим, памяти у нас всего N байтов. Результат A занимает N/2, а для получения результата B размером N/100 нужен N/2+1 байт.
IJ
Подумалось: не всегда. Допустим, памяти у нас всего N байтов. Результат A занимает N/2, а для получения результата B размером N/100 нужен N/2+1 байт.
На самом деле, конечно, всё сложнее, я согласен. Еще приходит в память сложение float'ов, которое не коммутативно, а также возможные переполнения в знаковый разряд.
МБ
На самом деле, конечно, всё сложнее, я согласен. Еще приходит в память сложение float'ов, которое не коммутативно, а также возможные переполнения в знаковый разряд.
А как это нужно формализовывать?
E
это норма? и что значит restrict?
ну это я имитировал алиас анализис, просто интересно было заменят ли С/С++ компиляторы меммув на мемкпу
E
вот гцц почему-то очканул
E
вернее гцц требует noalias у обоих указателей