SA
точно, правильно reentrant
Size: a a a
2020 February 01
KS
Ну и в целом, выглядит странно. Какая должна быть семантика у этой reentrancy?
SA
Как Ref - это оптимистичная блокировка def update(f: A => A), MVar - это блокировка пессимистичная, позволяющая лочить себя на длительное время: def update(f: A => F[A])
SA
в том то и дело, что невозможна такая семантика)
KS
MVar это не блокировка в том виде, что ты описываешь
SA
почему нет?
KS
Блокируются take и put, две атомарные операции. Ты же сам жаловался, что у него нет update, кажется?
SA
А откуда не реентрант мьютекс?
если для мвар сделать update наподобие Ref, только с эффектом, то он будет не-реентрант и это не лечится.
KS
если для мвар сделать update наподобие Ref, только с эффектом, то он будет не-реентрант и это не лечится.
И не должно. Почему у мутабельной переменной с эксклюзивным доступом на модификацию должно быть reentrancy? Какое вообще отношение имеет reentrancy к мутабельной переменной?
SA
Kirill Shelopugin
И не должно. Почему у мутабельной переменной с эксклюзивным доступом на модификацию должно быть reentrancy? Какое вообще отношение имеет reentrancy к мутабельной переменной?
По-моему мы говорим об одном и том же - что mvar не годится для синхронизации мутабельного состояния.
Oℕ
мвар годится
KS
По-моему мы говорим об одном и том же - что mvar не годится для синхронизации мутабельного состояния.
Что ты подразумеваешь под синхронизацией мутабельного состояния? Как раз таки наоборот годится
KS
Можно, используя take и put, гарантировать, что доступ будет эксклюзивен для использующего
SA
Kirill Shelopugin
Можно, используя take и put, гарантировать, что доступ будет эксклюзивен для использующего
ага, с риском залочить приложение, если произойдет попытка повторого захвата mvar-а
KS
ага, с риском залочить приложение, если произойдет попытка повторого захвата mvar-а
Не понимаю. У мвара специально написано, что повторный доступ на его методы блокируется, описано в каких случаях, его для этого и сделали. Ты хочешь из мвара волшебную палочку, которая будет реентрант локом для произвольной секции кода? Он не для этого
SA
Kirill Shelopugin
Не понимаю. У мвара специально написано, что повторный доступ на его методы блокируется, описано в каких случаях, его для этого и сделали. Ты хочешь из мвара волшебную палочку, которая будет реентрант локом для произвольной секции кода? Он не для этого
переформулирую: если логику можно реализовать и на Ref, и на MVar, Ref преподчтительнее.
Oℕ
ага, с риском залочить приложение, если произойдет попытка повторого захвата mvar-а
дедлоки - это потенциальная проблема также семафоров, любых очередей, промисов (деферередов) и половины вещей на свете
Отсутствие дедлок свободы не значит, что некая штука неюзабельна. Значит лишь, что наши системы типов - говно
Отсутствие дедлок свободы не значит, что некая штука неюзабельна. Значит лишь, что наши системы типов - говно
KS
Я перестал понимать о чем ты, Сергей, пишешь
KS
У рефа и мвара разные назначения и разные гарантии
Oℕ
переформулирую: если логику можно реализовать и на Ref, и на MVar, Ref преподчтительнее.
Это правда