Size: a a a

2020 January 10

DF

Dollar Føølish in rust_offtopic
Волатиль добавляет видимость
источник

DF

Dollar Føølish in rust_offtopic
Все не как у людей в общем
источник

G

Gymmasssorla in rust_offtopic
Dollar Føølish
Согласно модели памяти большинство операций атомарны вроде
Вот это уже другое дело, а то какое-то N^2, лол
источник

P

Pavel in rust_offtopic
Gymmasssorla
Я из того, что ты написал, ничего не понял
дата-рейс это только про "поток A увидел/не увидел изменения произведённые потоком B", тоесть имеет вполне определённый скоуп, типично плюсовое уб - "может произойти что угодно"
источник

G

Gymmasssorla in rust_offtopic
Pavel
дата-рейс это только про "поток A увидел/не увидел изменения произведённые потоком B", тоесть имеет вполне определённый скоуп, типично плюсовое уб - "может произойти что угодно"
Какой скоуп? О чём ты вообще?
источник

P

Pavel in rust_offtopic
Dollar Føølish
Согласно модели памяти большинство операций атомарны вроде
для примитивов кроме двойной длинны (double/long) и volatile все операции атомарны кроме инкримента/декремента, но атомарность не означает видимость в других потоках, но модель памяти рассказывает про видимость
источник

P

Pavel in rust_offtopic
Gymmasssorla
Какой скоуп? О чём ты вообще?
у тебя может произойти одно из N, это определённое поведение
источник

P

Pavel in rust_offtopic
N — скоуп
источник

G

Gymmasssorla in rust_offtopic
Ладно, всё равно бесполезно
источник

P

Pavel in rust_offtopic
Gymmasssorla
Ладно, всё равно бесполезно
ты можешь либо заметить, либо не заметить изменения из другого потока, ничего другого, вполне определённое поведение, ничего другого произойти не может
источник

G

Gymmasssorla in rust_offtopic
Pavel
ты можешь либо заметить, либо не заметить изменения из другого потока, ничего другого, вполне определённое поведение, ничего другого произойти не может
В Си я точно также могу сказать
источник

P

Pavel in rust_offtopic
Gymmasssorla
В Си я точно также могу сказать
не можешь
источник

G

Gymmasssorla in rust_offtopic
Почему?
источник

DF

Dollar Føølish in rust_offtopic
Ахха
источник

DF

Dollar Føølish in rust_offtopic
Вот тут и попался
источник

A

Anton 📦 ᯌ in rust_offtopic
А почему вдруг замолчали
источник

G

Gymmasssorla in rust_offtopic
Дедлок
источник

P

Pavel in rust_offtopic
Gymmasssorla
Почему?
потому, что компилятор может сделать с твоим кодом что угодно, абсолютно что угодно
источник

P

Pavel in rust_offtopic
если рейс-кондишен — ситуация в рантайме, которая может либо произойти, либо нет и ты знаешь какие будут последтствия и можешь их предсказать, то плюсовое уб может изменить твой код в абсолютно другой, который ты предсказать не можешь, поскольку количество различных компиляторов в мире даже если и определно в данный момент времени, то меняется в будущем и каждый из них может сделать в случае уб абсолютно что-то непредсказуемое для тебя в данный момент
источник

G

Gymmasssorla in rust_offtopic
Pavel
потому, что компилятор может сделать с твоим кодом что угодно, абсолютно что угодно
В Си явно в спецификации написано, что дата рейс - УБ. Почему в Java это не так (или так)?
источник