r
Dollar Føølish
Без меси мы бы программировать вообще не смогли
На расте можно было бы. Эксклюзивность доступа - явная. Инструкции явной синхронизации кэшей можно эмитить. Впрочем, могу ошибаться. Глубоко не продумывал
Size: a a a
2020 October 22
MB
Но должна же быть инструкция "вот эта запись должна быть видна всем ядрам", когда ссылка умирает?
M
Написал в дискорде токио, интересно, что расскажут
p
H: Plucker<T, Idx>
но
когда я пишу where Container<D>: Get<T, Idx>
раст не выводит что D: Plucker<T, Idx>
это вывод типов хворает или я ошибаюсь где-то?
но
когда я пишу where Container<D>: Get<T, Idx>
раст не выводит что D: Plucker<T, Idx>
это вывод типов хворает или я ошибаюсь где-то?
DF
Видимость, к сожалению не гарантирует даже SeqCst
DF
только вот в случае RMW операции будет видно последнее значение
DF
да, на практике будет видна на том же х86 сбрасывается стор баффер после SeqCst стора
DF
но гарантии в общем случае нету
r
H: Plucker<T, Idx>
но
когда я пишу where Container<D>: Get<T, Idx>
раст не выводит что D: Plucker<T, Idx>
это вывод типов хворает или я ошибаюсь где-то?
но
когда я пишу where Container<D>: Get<T, Idx>
раст не выводит что D: Plucker<T, Idx>
это вывод типов хворает или я ошибаюсь где-то?
В случае специализации реализаций может быть несколько. С разными where. Задел на будущее, в общем.
M
Dollar Føølish
но гарантии в общем случае нету
Так seqcst в ++ модели гарантирует глобальный порядок исполнения атомиков + тему с happens before
По сути вместе эти штуки должны гарантировать видимость жеж
По сути вместе эти штуки должны гарантировать видимость жеж
DF
нет
M
Хотя я могу чет не так понимать
DF
давай посмотрим на что ты рассчитываешь в данном примере
DF
я щас просто пытаюсь на плейграунде асм разглядеть, но там ужос килотонны текста
DF
ты думаешь что операции треда будут исполнены по порядку? нет, так как лоды/сторы у тебя в разные переменные
M
Это да, но я жду что не может быть кейса, когда пришло два 0 при лоаде, потому что что 1 тред, что второй сохраняет единицу в атомики
DF
на каком основании?
DS
напомнило один пример по хаскелю: https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-IORef.html#g:2
M
Как я и написал, из-за гарантии порядка исполнения + гарантии что мы после записи и чтения в атомик увидим другие изменения в памяти