VG
Кейноут про CRDT вообще по верхам был
Клеппманн не го то вил ся.
Прочитал готовый ликбез.
Прочитал готовый ликбез.
Size: a a a
2019 July 13
VI
Понравился доклад про репликацию в Кассандре, про YDB, про распределённый консенсус... Hardware Transactional Memory на кастомном железе для ускорения Java - экзотично и поучительно.
От Q&A Лэмпорта осталось впечатление что, судя по обилию вопросов, главный результат его работы - это не векторные часы и даже не Paxos, а именно TLA+, про которое я вообще впервые в жизни услышал
От Q&A Лэмпорта осталось впечатление что, судя по обилию вопросов, главный результат его работы - это не векторные часы и даже не Paxos, а именно TLA+, про которое я вообще впервые в жизни услышал
VI
Клеппманн не го то вил ся.
Прочитал готовый ликбез.
Прочитал готовый ликбез.
Если не секрет, в "Живых письмах" использовался аналогичный алгоритм для коллаборации над текстом?
VG
Если не секрет, в "Живых письмах" использовался аналогичный алгоритм для коллаборации над текстом?
RGA и CT математически эквивалентны, да. А фактическая реализация каждый раз разная.
GO
Всем привет. Вы здесь только про распределенные системы затираете или и про параллельные алгоритмы тоже?
VI
Интересно, насколько сильный оверхед по памяти вносит необходимость версионирования каждой добавленной буквы в строку (в алгоритме Клепманна). Если к тому же нельзя удалять данные. Наверное, в какой-то момент должна происходить компактизация и что-то типа сброса счётчика версий
RS
Всем привет. Вы здесь только про распределенные системы затираете или и про параллельные алгоритмы тоже?
и про транзакции тоже ) так что не стесняйтесь
GO
и про транзакции тоже ) так что не стесняйтесь
Ок)
GO
Интересно, насколько сильный оверхед по памяти вносит необходимость версионирования каждой добавленной буквы в строку (в алгоритме Клепманна). Если к тому же нельзя удалять данные. Наверное, в какой-то момент должна происходить компактизация и что-то типа сброса счётчика версий
Ну да. В кассандре так и сделано
VG
Интересно, насколько сильный оверхед по памяти вносит необходимость версионирования каждой добавленной буквы в строку (в алгоритме Клепманна). Если к тому же нельзя удалять данные. Наверное, в какой-то момент должна происходить компактизация и что-то типа сброса счётчика версий
Да, всё интересное там в оверхеде. В целом, текст занимает не так много, так что до известной степени можно забить. Ну, либо добавлять компрессию, как в RON.
Клеппманн в automerge думает прикрутить columnar compression.
Клеппманн в automerge думает прикрутить columnar compression.
VI
Ну да. В кассандре так и сделано
Не совсем понял... Кассандра... версионирование?\
VG
Не совсем понял... Кассандра... версионирование?\
Там усеченная версия, с физическими timestamps. Ну и tombstones.
GO
Не совсем понял... Кассандра... версионирование?\
Неправильно выразился. Я про подход. Там же записи не удаляются, а помечаются и потом чистится при компакшне
VG
Они вроде делали прототип с logical timestamps, но в их случае это особо не приносит. И строго last write wins везде.
2019 July 14
YS
RGA и CT математически эквивалентны, да. А фактическая реализация каждый раз разная.
каждый раз хочу с тобой спорить об их эквивалентности
2019 July 15
TI
Понравился доклад про репликацию в Кассандре, про YDB, про распределённый консенсус... Hardware Transactional Memory на кастомном железе для ускорения Java - экзотично и поучительно.
От Q&A Лэмпорта осталось впечатление что, судя по обилию вопросов, главный результат его работы - это не векторные часы и даже не Paxos, а именно TLA+, про которое я вообще впервые в жизни услышал
От Q&A Лэмпорта осталось впечатление что, судя по обилию вопросов, главный результат его работы - это не векторные часы и даже не Paxos, а именно TLA+, про которое я вообще впервые в жизни услышал
Все руки не доходят взяться за это чтиво)
