https://mail.haskell.org/pipermail/cabal-devel/2012-September/009076.html

вот люди псят на него

транзакций нет и приходится либо имплементить всю логику в acid-state методах, либо локи какие-то делать

> unable to inspect the data это тоже

> транзакций нет то есть, вот написал ты методы doA, doB они-то внутри атомарные, но чтобы вызывать их, тебе надо делать update DoA и update DoB и если ты сделаешь update DoA >> update DoB, это не будет атомарно а если хочешь, чтобы было атомарно, то придётся тебе писать новый метод doAandB и вызывать update DoAandB

а, это похабно, да

и в такой метод даже функцию передать нельзя например, removeUsers :: (User -> Bool) -> Update () не может быть

ясно

я им пользовался как достаточно тупым хранилищем

типа "найти и если нет, то положить", и в таком качестве оно вполне пойдет

согласен

и в такой метод даже функцию передать нельзя например, removeUsers :: (User -> Bool) -> Update () не может быть

со статик поинтерами/serializable тоже нельзя?

второе из distributed-static

https://www.youtube.com/watch?v=AGkSHE15BSs

со статик поинтерами/serializable тоже нельзя?

статик пойнтеры как-то в голову не приходило попробовать

другое дело, что непонятно как обновляться тогда

то есть?

а

они ещё более program specific чем remote table

не, обновляться понятно как

поменял модуль и все поехало

чекпойнт просто надо не забывать делать перед обновлением

т.е. 1. всегда базу закрываем с createCheckpointAndClose, а не просто close 2. если решил обновиться после креша, ну сам виноват

ну со статик поинтерами непонятно как их сохранять, чтобы следующая программа их прочитала

с remote table-то понятно

так они будут сохраняться только в event log, а в чекпойнтах их не будет

получается, что если не обновлять программу с непустым ивент логом, то всё будет ок

или я что-то не понимаю?

а да

логично

а что такое вообще remote table?

https://www.stackage.org/haddock/nightly-2017-06-22/distributed-static-0.3.5.0/Control-Distributed-Static.html

грубо говоря Map String Dynamic

передаешь на другой процесс String и он в таблице находит соотв функцию

а вот чем у нас лучше время мерять?

без лишних сисколлов

наручными часами

ноль сисколлов вообще

точность низкая

без лишних сисколлов

Лишних это как?

без лишних сисколлов

gettimeofday вроде как тупо без сискола, из памяти вычитывает.

Но я могу ошибаться с названием.

Раньше был сискол, потом решили, что чета дохера дерганий контекста.

В DPDK глянь.

rdtsc

vdso

то есть не совсем сисколл, но и не совсем из памяти

Ну gettimeofday и есть через vdso. Но не всегда

мне лень искать другой чатик, но какой самый человеческий способ для запускаемой проги прибить все дочерние процессы если завелись

при этом не сервис, т.е. напрямую на systemd/whatever и cgroups надеяться нельзя

systemd-specific можно

послать какой-нибудь сигнальчик группе, а у себя лично его перехватить

Или через DBus (спрятался)

у меня если все в порядке все и так пришибается

вопрос в случае, когда все не в порядке

например, какая левая либа радостно заявила что надо выйти с SIGABRT или прилетел SIGKILL

@mkrentovskiy а как dbus мне поможет?

а что, если понадеяться на systemd и запускать с прожку с помощью systemd-run в отдельном скоупе, ну и убивать потом через systemctl?

Vasiliy вотя посмотрел man sytemd-run и сходу не нашёл там интересного

т.е. для юнита в целом там что нужно есть

если скоуп сделать, он будет следить и за детьми процесса

насколько я понимаю

там от типа выхода зависит control-group, main...

скорее всего control-group это по умолчанию

хаскел как он есть - перепутал размер чанка с числом потоков, и запускал не 8 потоков по 1000, а 1000 потоков по 8. и ничего, работало

только на 100K потоках начало умирать

не достаточно типизировал!:)

бгг

спрошу тут

у меня есть класс class Foo a where foo :: a как мне сделать вот такое? getFoos :: All Foo xs => Proxy (xs :: [*]) -> [a]

без создания нового класса

(All – это условная type family, которая говорит, что все типы в xs удовлетворяют констрейнту Foo)

Ты экзистентиал хочешь или что?

Непонятно что ты под а и * имеешь вот тут: getFoos :: All Foo xs => Proxy (xs :: [*]) -> [a]

оййй

class Foo tag where foo :: Tagged tag X

getFoos :: All Foo tags => Proxy (tags :: [*]) -> [X]

вот так

ну и соответственно getFoos (Proxy @[A,B,C]) выдаст [untag @A foo, untag @B foo, untag @C foo]

* это кайнд? А чо, из них списки можно делать уже? 🐌