r
В Java определено, что может случиться при data race.
Size: a a a
2020 January 10
P
В Си явно в спецификации написано, что дата рейс - УБ. Почему в Java это не так (или так)?
потому, что сишная спека не распространяется на джаву?
G
потому, что сишная спека не распространяется на джаву?
Лол
G
Как это связано?
G
red75prime
В Java определено, что может случиться при data race.
Что может случится?
P
Как это связано?
вот и я сижу думаю, как сишная спека должна влиять на джаву
G
вот и я сижу думаю, как сишная спека должна влиять на джаву
Сишная спецификация не должна влиять на Джаву, чтоб в неё что-то было, что есть в Си. Если в книге A есть слово "хуй", то это не значит, что книга B, в которой есть слово "хуй", распространяется на A
r
Что может случится?
Выше уже писали. Можно получить значение переменной до обновления другим потоком или после. Никаких torn write, никаких оптимизаций, основанных на том, что такого вообще не может быть.
G
red75prime
Выше уже писали. Можно получить значение переменной до обновления другим потоком или после. Никаких torn write, никаких оптимизаций, основанных на том, что такого вообще не может быть.
Это нормальный ответ
P
Что может случится?
то, что запись может быть не замечена в момент времени после неё, если эта запись не является happens-before для считывания. вот и всё, что может произойти
G
А то какое-то N^2 и распространение стандартов, лол
P
А то какое-то N^2 и распространение стандартов, лол
N^2 это про заметил/не заметил конкретный несинхронизированный поток запись
P
red75prime
Выше уже писали. Можно получить значение переменной до обновления другим потоком или после. Никаких torn write, никаких оптимизаций, основанных на том, что такого вообще не может быть.
torn write может быть для не-волятильных примитивов двойного размера
r
Не спорю. Я не знаю джаву.
P
но в целом модель памяти джавы достаточно полна
DF
Так атомики позже появились
DF
Вроде модель памяти их не покрывает
P
Dollar Føølish
Так атомики позже появились
ну, атомики это тип, а тут про атомарность операций
DF
Я про атомики в джаве