MP
data Action = Nope | InProgress (IO a) | Done a
type Cache a = TVar (Map Id (Action (IO a)))
?
data Action a = Nope | InProgress (Async a) | Done a | Failed Text
?
Size: a a a
2020 December 02
?
к
TVar с мапой и forkIO который раз в секунду убивает все что старше n секунд
не нужен даже убиватель, если делать MVar
действие после завершения должно само себя убрать из мапы
если кто-то идет в мапу, а там есть действие, то оно просто будет ждать один и тот же MVar с другими подписчиками, а новый подписчик после завершения действия просто создаст новый MVar
действие после завершения должно само себя убрать из мапы
если кто-то идет в мапу, а там есть действие, то оно просто будет ждать один и тот же MVar с другими подписчиками, а новый подписчик после завершения действия просто создаст новый MVar
IK
не нужен даже убиватель, если делать MVar
действие после завершения должно само себя убрать из мапы
если кто-то идет в мапу, а там есть действие, то оно просто будет ждать один и тот же MVar с другими подписчиками, а новый подписчик после завершения действия просто создаст новый MVar
действие после завершения должно само себя убрать из мапы
если кто-то идет в мапу, а там есть действие, то оно просто будет ждать один и тот же MVar с другими подписчиками, а новый подписчик после завершения действия просто создаст новый MVar
Ну я думал что кеш нужен после завершения действия
AV
Не у меня есть реализация, но мне лень тащить её
AV
data Action a = Nope | InProgress (Async a) | Done a | Failed Text
последние 3 можно заменить на Async a
последние 3 можно заменить на Async a
MP
кстати да
MP
я как-то делал что-то подобное и угодил в rabbit hole, получилось развесистое страшное говно, так что наверное лучше взять библиотеку, если она есть
AV
Ну у меня
PSQ Int key (Lazy value)AV
что-то такое https://github.com/cheopslab/lazy-cache/blob/master/src/System/Cache/Impl/Ghc.hs
но может что получше есть
но может что получше есть
к
Не у меня есть реализация, но мне лень тащить её
вот это не то что нужно? Для аргументов придется добавить мапку правда
https://gist.github.com/kana-sama/e54f83eeea11895cd64a5e38cc67f74a
https://gist.github.com/kana-sama/e54f83eeea11895cd64a5e38cc67f74a
AN
А nixos ставил себе кто-нибудь?
Ставил, 4 года назад, стоит, работает. Если какие-то конкретные вопросы — лучше и правда на @ru_nixos спросить (можно mention меня там)
AV
вот это не то что нужно? Для аргументов придется добавить мапку правда
https://gist.github.com/kana-sama/e54f83eeea11895cd64a5e38cc67f74a
https://gist.github.com/kana-sama/e54f83eeea11895cd64a5e38cc67f74a
Тут race conduition миниум 1
AV
И потенциальный дедлок минимум 1
AV
race - оба считали пустые данные и оба пытаются записать
AV
дедлок - если тред умер на исключении
AV
https://github.com/cheopslab/lazy-cache/blob/master/src/System/Cache/Impl/MVar.hs
так я на MVar делал, щас найду решение
так я на MVar делал, щас найду решение
AV
В твоём аналог это в ветке сделать TMVar но в atomically снова проверять не пустой ли и возвращать either