если что.

аа.. ну если иммутабельное хранилище вам подходит

для выкапывания данных - используется в основном uniplate

ну как иммутабельное. апдейты там по факту есть

ну если их много то все становится грустно

но каждый апдейт - это перезаписывание головы

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

но они не должны лупить туда.

а должны в какое-то другое место.

ну т.е в этой задаче они вообще не должны никогда.

и потом из этого места целиком переделывать иммутабельную базу?

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

основном на IO

потому что оно было прям одним здоровым шматом, натурально

я попилил на независимые части, стало опять нормально

в памяти только индекс - ссылки

нужные объекты суммонятся (материализуются) по мере надобности

быстро суммонятся?

да

да и иерархия неглубокая

так что да, быстро всё пока что.

стоит про это в апреле в касперском попробовать рассказать?

а что в апреле? конфа?

какой город?

стоит про это в апреле в касперском попробовать рассказать?

конешн

в касперском в мск вроде собираются митап сделать

круто, но хочу в Питере

а инфа по митапу уже есть? обычно это в гитлере обсуждают, а я его не читаю (

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

мне все доклад не придумать..

т.е там надо еще успеть подать, наверное

угу

учитывая что это всё прямо сейчас пишется

тебе же не код показывать

А я упустил, вы что вместо постгреса используете?

А я упустил, вы что вместо постгреса используете?

acid-state )

а это к кому вопрос?

если ко мне, то НЕ acid-state, т.к он всё в памяти хранит

acid-state )

Ы

а это к кому вопрос?

К вам, извините, промахнулся мимо сообщения

у нас leveldb для diff и снапшотов и память

если ко мне, то НЕ acid-state, т.к он всё в памяти хранит

ну у вас acid-state по сути выступает индексом к данным?

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

у нас граф, и если и объекты или relation исчезли, а обновляться надо

у нас leveldb для diff и снапшотов и память

Сурово

@qnikst @quetzal а можете свои задачи конкретно описать?

По сути свой журналируемая редиска

@qnikst @quetzal а можете свои задачи конкретно описать?

у меня вообще постгрес везде, ничего интересного

есть граф описывающий кластер нативными хацкельными типами, с ним работать надо

у меня вообще постгрес везде, ничего интересного

а, сорри, перепутал

По сути свой журналируемая редиска

С гарантиями

есть граф описывающий кластер нативными хацкельными типами, с ним работать надо

кластер чего? предметную область хотя бы примерно опиши пожалуйста

кластер hardwar-ный

есть граф описывающий кластер нативными хацкельными типами, с ним работать надо

Кластер в смысле машин?

да

таак. и что с кластером происходит?

сколько в нем машин?

вот есть много железок. а софт что делает?

машин не много, дисков много

в текущем (хотя он сильно скейлится) десяток машин на каждой п 0.5к дисков

всякие сервисы хитрые

все сообщают о живости и т.п., софтинка управляет стартует, стопает, командует как фс восстанавливать

как здесь используется графовое представление?

DAG или все же просто дерево?

DAG

впрочем A тут неверно

а как в хаскеле представить хотя бы dag? хмм

и уж тем более если циклы есть

а что мешает DAG представить просто ADT-jv

class (SafeCopy a, Hashable a, ...) => Resource a where ... class (SafeCopy r, Hashable r, Resource a, Resource b) => Relation r a b where data Res = forall a . Resource a => Res a data Rel = forall r a b . Rel r (Res a) (Res b) -- тут можно разные контрукторы для направления

дальше как хочешь или Set Rel, или HashMap Res Rel

первое это каноническое, второе это индексированное

а что мешает DAG представить просто ADT-jv

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

например?

ну т.е любой ADT это граф и есть

тут ещё он расширяемый произвольно

ну, не произвольный.

не ADT у нас т.к. он не расширяемый

например?

ну как его хотя бы просто построить имея данные о вершинах и ребрах. ну и дальнейшее редактирование графа

т.е. ты можешь легк написать новый модуль с куском схемы и использовать его