Oℕ
А зио есть РефМ, в тофу, думаю, я уже своими руками сделаю Agent
Size: a a a
2020 February 01
SA
Kirill Shelopugin
Я перестал понимать о чем ты, Сергей, пишешь
Вот общая формулировка: есть мутабельный стейт, есть effectful функция его модификации А => F[A]. Нужно гарантировать синхронизацию.
Мой поинт в том, что MVar для этого подходит плохо.
Мой поинт в том, что MVar для этого подходит плохо.
Oℕ
И в принципе, это заберёт почти все юзкейзы использования мвара для синхронизации мутабельной переменной
Oℕ
Вот общая формулировка: есть мутабельный стейт, есть effectful функция его модификации А => F[A]. Нужно гарантировать синхронизацию.
Мой поинт в том, что MVar для этого подходит плохо.
Мой поинт в том, что MVar для этого подходит плохо.
Да, все согласны с этим
KS
Вот общая формулировка: есть мутабельный стейт, есть effectful функция его модификации А => F[A]. Нужно гарантировать синхронизацию.
Мой поинт в том, что MVar для этого подходит плохо.
Мой поинт в том, что MVar для этого подходит плохо.
Да, тут ты прав. С этого и можно было начать, кажется 😄
Oℕ
Есть просто ещё кейсы, опасные, но они выражаются только через СТМ и МВары/очереди
Oℕ
Например синхронизация нескольких состояний
SA
Например синхронизация нескольких состояний
такие вещи неплохо пишутся на старых добрых var и synchronized {} вместе с Deferred
Oℕ
такие вещи неплохо пишутся на старых добрых var и synchronized {} вместе с Deferred
Будет ещё хуже, чем мвар
Oℕ
Лучше всего стм
SA
*сложнее всего стм
Oℕ
Нет, стм проще всего
Oℕ
И лучше по гарантиям
SA
если у нас есть n мутабельных переменных в стейте, то после переложения на стм можно получить очень большое, неподъемное кол-во состояний
Oℕ
Они получатся при любом переложении, оставляющим эти переменные независимыми
Oℕ
Просто в случае мваров большая часть траекторий будет вести к дедлоку, а в случае волатайлов чтобы избежать uncommitted read, их все скроют в суперприватных переменных и обложат методами с гигантскими контрактами в доках, как и в каком порядке эти методы можно вызывать
SA
почему волатайл? synchronized
Oℕ
Ну это те же мвары, просто лочат треды
Oℕ
Т.е. ты получаешь и блокировку и дедлоки в одном флаконе
SA
нет, т.к. это короткоживущий лок, защищающий консистентность стейта. "длинные" локи, завязанные на io, делаются через Deferred