DF
А получается ваша теория стремится к тому чтобы вообще синхронизацию не надо было расставлять?
Size: a a a
2020 December 15
DF
Даже там мутексы например
AG
не, наша теория сейчас предполагает что перестановок нет
AG
sequential consistency
AG
мутексы и атомики никуда не деваются
DF
Понятно
AG
я вот как раз сейчас и задумался про то можно ли её без существенных изменений приспособить под доказательства в контексте слабой памяти, где есть перестановки
AG
про то чтобы не ставить руками волатили - это отдельный спор
AG
но там проблема в том что сторонников того, что язык должен уметь поддерживать иллюзию sequential consistency ценой небольшой просадки в перфомансе почему-то практически нет
AG
при том что аналогичная идея с гарбич коллектором вроде как победила
DF
Seq cst не даёт промптнесс
DF
Может в этом дело
DF
То есть скорой видимости изменений
DF
И тотальных порядков может быть сколько угодно много к тому же
AG
там есть пачка работ на тему обхода возможных проблем
AG
но оно всё остается в теории, реализовывать это на практике почему-то считается харам
DF
С гарбач коллектором есть не только просадки в перформансе но и прирост
DF
Я не представляю как прикладной софт писать без него
DF
Это какие то кресты из 90х
QZ
Ну вот и в моём проде была адова утечка из-за недостаточной бодроты.
Перехожу на руст
Перехожу на руст
так победим!