В прошлом году в Санкт-Петербурге прошла , посвящённая параллельным и распределённым системам. С докладами выступали лауреаты и (, и ), создатели компиляторов и языков программирования (C++, Go, Java, Kotlin), разработчики распределённых баз данных (Cassandra, CosmosDB, Yandex Database), а также создатели и исследователи алгоритмов и структур данных (CRDT, Paxos, wait-free data structures). В общем, на этом месте уже можно брать отпуск, сворачивать окно IDE, открывать плейлист на YouTube с Hydra 2019 — и пусть task scheduler немного подождёт.
В общем, никогда такой конференции не было, и вот опять она случится. Снова с докладами на английском, потому что нет лучше языка, чтобы говорить о параллельных и распределённых вычислениях. Снова летом, 10 и 11 июля, потому что спикеры успевают исследовать и преподавать, например, в университетах Кембриджа, Рочестера и Санкт-Петербурга, и другое время года не для них.
Однако на этот раз Hydra пройдёт в Москве, откуда в прошлом году приехала послушать доклады о распределённом консенсусе и транзакционной памяти большая часть участников конференции. На новой Гидре — более замысловатая программа, новые спикеры вместе с героями прошлого года, а также уже знакомое ощущение распределённого между участниками восторга от параллельного хардкора в трёх залах.
Сразу выложим на стол колоду карт рубашками византийских генералов вверх — мы хотим, чтобы программа новой Гидры была более детальная и разнообразная. В прошлый раз царапали ногтём, теперь копнём шире и глубже. Вот темы Hydra 2020 с диффом относительно прошлого года:
Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization
Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things
Как рассказать обо всём этом в программе одной конференции? Это точно не проще, чем протестировать линеаризуемость операций в новой блестящей распределённой хранилке с помощью , но мы попытаемся.
Вот кто уже в программе:
(Cindy Sridharan) — разработчица распределённых систем из Сан-Франциско, автор небольшой книги (возьмите ) и популярного , где одна только статья «» способна избавить от пары выходных, но оставить счастливым. На Hydra 2020 Синди расскажет, как , даже если они хранят состояние.
Майкл Скотт (Michael Scott) — исследователь из , известный всем Java-разработчикам как создатель из стандартной библиотеки Java. Разумеется, с премией Дейкстры за «» и собственной . В прошлом году Майкл сделал на Гидре лучший (по вашим оценкам) доклад, посвящённый , а теперь расскажет о и , доступной параллельным процессам.
(Heidi Howard) — из , известная созданием алгоритма распределённого консенсуса , а также работой по обобщению Flexible Paxos и . В прошлом году Хайди рассказала, как устроено и работает (один из лучших докладов), а теперь постарается пройти по тонкому льду между — и поделится своим мнением о том, какой из алгоритмов лучше.
(Martin Kleppmann) — возможно, даже более известный исследователь из University of Cambridge, а в прошлом — разработчик систем по обработке больших данных, который написал удивительно понятную и поэтому уникальную книгу о распределённых системах «». В прошлом году Мартин своих исследований CRDT, а о чём расскажет теперь — мы .
(Nikita Koval) — разработчик корутин в команде Kotlin, преподаватель курса по многопоточному программированию в ИТМО и член программного комитета конференции Hydra (да, той самой, о которой эта статья). В прошлом году Никита рассказал о тестировании многопоточных структур данных на платформе JVM с помощью , а на Hydra 2020 он про SegmentQueueSynchronizer — верифицированную с помощью для абстракцию для программирования примитивов синхронизации.
Следите за нашими асинхронными анонсами: всего на конференции будет около трёх десятков докладов, скоро расскажем об остальных. Ещё, разумеется, на конференции будут дискуссионные зоны, где нужно в один или несколько потоков испытывать докладчиков вопросами до достижения всеобщего консенсуса.
А если повезёт, Мартин Клеппманн подпишет вам книжку.
Да, перед конференцией Hydra 2020, а именно 6-9 июля пройдёт — третья летняя школа по теории и практике распределённых вычислений. На ней вас ждут ощущения, которые сложно получить на конференции, поэтому мы расскажем о Школе в отдельном посте.
А что теперь? Во-первых, следите за новостями на Хабре и в соцсетях (, , ).
Во-вторых, если вы уже почувствовали непреодолимое желание побывать на конференции — изучите сайт, там уже можно .
В-третьих, не упустите возможность пообщаться с программным комитетом конференции Hydra 2020 в комментариях. Члены ПК будут рады поговорить с вами о темах будущей конференции.
Встретимся на Hydra!
Источник: habr.com