AZ
1. не помню такого
2. модели памяти жабы и донетане во всем совпадают
2. модели памяти жабы и донетане во всем совпадают
1. не помню такого
2. модели памяти жабы и донетане во всем совпадают
Size: a a a
2020 January 11
P
P
в джаве нет понятия Read elimination
P
и порядок операций внутри одного метода соблюдается
AZ
угу, был забавный доклад про утекание операции из под лока на АРМ
AZ
потому что там как раз ордеринг сильно слабее х86 и джит этим пользовался
D
в си у тебя это может изменить vtable, например (всякая магия register spill), в джаве у тебя либо просто может быть незамеченная запись (на настенных часах запись произошла раньше чтения, но нет цепочки happens-before, которая приводит к видимости этой записи считывающим потоком), или порванная запись для double и long (но не для мелких типов).
насчет vtable несовсем понятно, но совсем непонятно как может быть не ub когда несоколько потоков пишут или читают из одной и той же памяти одновременно не атомарно
AZ
Dima
насчет vtable несовсем понятно, но совсем непонятно как может быть не ub когда несоколько потоков пишут или читают из одной и той же памяти одновременно не атомарно
ты знаешь байку что при гцц при УБ запускал вместо твоей программы игру ханойские башни?
P
угу, был забавный доклад про утекание операции из под лока на АРМ
ну, а в джаве модель памяти одинакова для любой платформы, как раз для кроссплатформенности и чтоб реордеринг арм, например, не влиял на работающий код
D
ты знаешь байку что при гцц при УБ запускал вместо твоей программы игру ханойские башни?
нет))
P
Dima
насчет vtable несовсем понятно, но совсем непонятно как может быть не ub когда несоколько потоков пишут или читают из одной и той же памяти одновременно не атомарно
ты неправильно понимаешь, что значит UB
AZ
Dima
нет))
ну вот а он это делал. А в джаве такого не произойдет
AZ
D
ну, а в джаве модель памяти одинакова для любой платформы, как раз для кроссплатформенности и чтоб реордеринг арм, например, не влиял на работающий код
я все правильно понимаю что такое ub - undefined behaviour
D
все что угодно
AZ
ну, а в джаве модель памяти одинакова для любой платформы, как раз для кроссплатформенности и чтоб реордеринг арм, например, не влиял на работающий код
ну тут уже трейдофы. Дотнетеры решили вот так сделать, ну мб это к лучшему. СЛишком ограничивать вм тоже не всегда хорошо
P
UB это не "я знаю, что может произойти одно из A, B, C", это "я не знаю, что может произойти, мб я просто инкременчу счётчик из двух потоков, но поскольку это уб, может прилететь беспилотник и облить меня помоями, или отформатироваться диск, или котик умрёт"
AZ
получам PDP ассемблер который распространился и стал тормозить))
AZ
Dima
все что угодно
всё чтоугодно это всё что угодно
AZ
джава при записи дабла может
записать весь дабл
записать ничего
записать половину дабла
записать весь дабл
записать ничего
записать половину дабла