Copyright умер, AI против GPL, модели консистентности | Spring АйО Подкаст №54
Представляем пятьдесят четвертый выпуск подкаста команды Spring АйО, в котором приняли участие три эксперта сообщества:
Александр Шустанов
Михаил Поливаха
Евгений Сулейманов
Эксперты обсудили: какие вообще бывают сети в теории распределённых систем, насколько модели согласованности нужны на практике, что такое часы Лампорта и зачем они нужны, почему копирайт больше не защищает код как раньше и многое другое.
00:00:00 — Интро
00:00:40 — Приветствие, состав выпуска, о чём сегодня подкаст
00:01:05 — Введение в модели согласованности: зачем это вообще знать разработчику 00:03:22 — Насколько модели согласованности нужны на практике
00:03:53 — Большой разбор: что такое consistency models и откуда они взялись
00:09:51 — Линеаризуемость, видимость изменений и связь с транзакциями
00:11:06 — Wall clock, системные часы и почему время в системах сложнее, чем кажется 00:16:59 — Cassandra, MongoDB, eventual consistency и tunable consistency
00:22:42 — Как это связано с Java Memory Model и happens-before
00:24:17 — Практический взгляд: select for update, транзакции и сетевые вызовы
00:26:18 — Почему "Postgres не справляется" часто означает, что проблема не в Postgres
00:27:55 — Вопрос про wall clock vs system clock
00:31:18 — Clock skew в проде: как запросы уходят в прошлое
00:35:50 — Какие вообще бывают сети в теории распределённых систем
00:37:00 — Блокчейн как экстремальный способ достигать согласованности
00:38:00 — Блокчейн, крипта и цифровые деньги
00:40:11 — Возвращаемся к часам Лампорта
00:40:33 — Что такое часы Лампорта и зачем они нужны
00:43:43 — Переход к теме копирайта и кода
00:43:47 — Почему копирайт больше не защищает код как раньше
00:44:20 — Кейc: перенос поведения одной системы в другую через AI-агента
00:46:12 —
